In this seminar we will be discussing the state-of-the-art of systems research. This is a great way to learn technical matters but also how to do systems research!
This semester we are going to mostly focus on papers from OSDI'20, EuroSys'21, Usenix Security'21, and ASPLOS'20 where some of the best systems, systems security, and architecture work is published so there is always a lot to learn from these papers.
We meet once a week for one hour over Zoom and have an informal discussion about the papers – this is not a course and you will not get credits for it but you will probably learn a lot.
To participate in the seminar there are a couple of expectations for every participant that help ensure we have lively and informative discussions:
As a discussion lead your primary goal is to foster and manage the paper discussion. This requires understanding well the material, preparing some slides, managing time, and managing the discussion during the seminar. Please try to follow the following guidelines when leading the discussion:
|9/20||SanRazor: Reducing Redundant Sanitizer Checks in C/C++ Programs. OSDI'21.||Sishuai|
|9/27||Iago attacks: Why the system call API is a bad untrusted RPC interface. ASPLOS'12.||Adil|
|10/4||An Analysis of Speculative Type Confusion Vulnerabilities in the Wild. Usenix Security'21.||Botong|
|10/18||HEALER: Relation Learning Guided Kernel Fuzzing. SOSP'21.||Congyu|
|10/25||Program Synthesis for Program Analysis. TPLS'18.||Paul|
|11/1||CLP: Efficient and Scalable Search on Compressed Text Logs. OSDI'21.||Sruthi|
|11/8||Optimizing Nested Virtualization Performance Using Direct Virtual Hardware. ASPLOS'20.||Bilal|
|11/22||Persistent State Machines for Recoverable In-memory Storage Systems with NVRam. OSDI'20.||Rishav|