Bengaluru Systems Meetup #10
Let's talk Systems, in-person for the first time in a long time!
Accepting submissions
Not accepting submissions
|
SV
Suhas Kudlur Viswanath Mapping Applications on Many-Core Systems - 101In the pursuit of maximum throughput, there is no denying that many-core (with multiple sockets) systems are the protagonists. With this comes the sour (or sweet) complexity that we engineers and researchers have to try and devise ways to make our software run in it’s best form. As a budding systems researcher, I came across some essential skills and factors to know and observe before jumping int… more
|
|
SN
Srinidhi Nagendra Lessons and Challenges building a Model checkerThe talk is divided into two parts. First a general introduction to model checking using simple examples. Then, the second part will describe a new java model checker (JMC - jmc.mpi-sws.org) that we have been working on. I will elaborate on a few challenges and lessons we faced (or are facing) while developing JMC. more
|
|
ST
Siddharth Tewari New Age ServerlessRecently, a lot of new paradigms have come about for running serverless workloads. But how do these stack up against each other? more
|