601.817: Selected Topics in Systems Research

Fall 2021

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

Prof. Ryan Huang

• Fall 2021
• Spring 2021
• Fall 2020
• Spring 2020
• Fall 2019
• Spring 2019
• Fall 2018
• Summer 2018
• Spring 2018
• Fall 2017

Description

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.

Schedule

Date	Presenter	Title	Conference	Material
09/03/2021		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