601.817: Selected Topics in Systems Research

Fall 2021

Fridays 1:30-2:45pm, Malone 338

Prof. Ryan Huang


601.817 is a weekly seminar organized by the OrderLab. It covers latest advances in the research of computer systems including operating systems, distributed system, mobile and cloud computing. Students will read and discuss recent papers in top systems conferences such as OSDI, SOSP, NSDI, EuroSys, MobiSys, ASPLOS and FAST.

Each week, one student will present the paper and lead the discussion for the week. Other students MUST read the paper to be presented before the seminar. Do not come to the seminar to read the paper. This seminar is supposed to generate in-depth discussions. It is impossible to do so without reading the paper first. During the reading group discussion, there might be some questions that were left unanswered and required further investigation. In that case, the discussion lead should start a email thread to systalk@cs.jhu.edu afterwards to follow up.

The focus topics covered in the papers vary semester to semester. Example topics include fault-tolerance, reliability, verification, energy efficiency, and virtualization. The presenter decides which paper to present. In general, select the papers that are relevant to your research project first (i.e., depth-first). If you are not sure, it is a good idea to check with me first before preparing the presentation. Also, try to avoid picking papers that have already been picked in the past (the past schedules are linked on the leftside menu).

The presentation announcements are sent via the mailing list systalk@cs.jhu.edu. Students who registered for the course please email me to sign up for the mailing list.



Organizational Meeting

09/10/2021 Brian Choi

NrOS: Effective Replication and Sharing in an Operating System

Ankit Bhardwaj and Chinmay Kulkarni, University of Utah; Reto Achermann, University of British Columbia; Irina Calciu, VMware Research; Sanidhya Kashyap, EPFL; Ryan Stutsman, University of Utah; Amy Tai and Gerd Zellweger, VMware Research

OSDI '21 Paper
09/17/2021 Yigong Hu

CLP: Efficient and Scalable Search on Compressed Text Logs

Kirk Rodrigues, Yu Luo, and Ding Yuan, University of Toronto and YScope Inc.

OSDI '21 Paper
09/24/2021 Yuzhuo Jing

GoJournal: a verified, concurrent, crash-safe journaling system

Tej Chajed, MIT CSAIL; Joseph Tassarotti, Boston College; Mark Theng, MIT CSAIL; Ralf Jung, MPI-SWS; M. Frans Kaashoek and Nickolai Zeldovich, MIT CSAIL

OSDI '21 Paper
10/01/2021 Chang Lou

MAGE: Nearly Zero-Cost Virtual Memory for Secure Computation

Sam Kumar, David E. Culler, and Raluca Ada Popa, University of California, Berkeley

OSDI '21 Paper
10/08/2021 Haoze Wu

Testing Database Engines via Pivoted Query Synthesis

Manuel Rigger and Zhendong Su, ETH Zurich

OSDI '20 Paper
10/15/2021 Senapati S. Diwangkara

Metha: Network Verifiers Need To Be Correct Too!

Rüdiger Birkner, Tobias Brodmann, Petar Tsankov, Laurent Vanbever, and Martin Vechev, ETH Zürich

NSDI '21 Paper
10/22/2021 Gongqi Huang

Beyond malloc efficiency to fleet efficiency: a hugepage-aware memory allocator

A.H. Hunter, Jane Street Capital; Chris Kennelly, Paul Turner, Darryl Gove, Tipp Moseley, and Parthasarathy Ranganathan, Google

OSDI '21 Paper
10/29/2021 Brian Choi

Hippocrates: healing persistent memory bugs without doing any harm

Ian Neal, Andrew Quinn, and Baris Kasikci, University of Michigan

ASPLOS '21 Paper