Seminar overview

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, SOSP, EuroSys, and ASPLOS, 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 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.

Make sure you subscribe to the seminar mailing list to ensure that you get notifications about paper discussions.


Guidelines for everyone

To participate in the seminar there are a couple of expectations for every participant that help ensure we have lively and informative discussions:

Please send me an email if you are interested in participating or have questions about the seminar.

Guidelines for discussion leads

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:


Tentative Schedule

Date Paper Lead
9/8 NeuroScope: Reverse Engineering Deep Neural Network on Edge Devices using Dynamic Analysis. Usenix Security'25 Paul
9/15 LLM Test Generation via Iterative Hybrid Program Analysis. ICSE '26 Rui
9/22 DecDEC: A Systems Approach to Advancing Low-Bit LLM Quantization. USENIX OSDI’25 Attreyee
9/29 Building Bridges: Safe Interactions with Foreign Languages through Omniglot. OSDI25 Dinglan
10/6 Principles and Methodologies for Serial Performance Optimization. OSDI'25 Ajay
10/13 NO CLASS [Falll break]
10/20 A Hardware-Software Co-Design for Efficient Secure Containers. Eurosys 2025 Rahul
10/27 GOSONAR: Detecting Logical Vulnerabilities in Memory Safe Language Using Inductive Constraint Reasoning. SP '25 Feras
11/3 BitsAI-CR: Automated Code Review via LLM in Practice. FSE '25 Chih-En
11/10 Everywhere All at Once: Co-Location Attacks on Public Cloud FaaS. ASPLOS 24 Qi
11/17 Parrot: Efficient Serving of LLM-based Applications with Semantic Variable. OSDI’24 Congyu
11/24
12/1
12/8