601.817: Selected Topics in Systems Research

Spring 2021

Fridays 10-11:30am, Zoom Meeting

Prof. Ryan Huang

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

DatePresenterTitleConferenceMaterial
01/29/2021 Chang Lou

Aragog: Scalable Runtime Verification of Shardable Networked Systems

Nofel Yaseen, University of Pennsylvania; Behnaz Arzani and Ryan Beckett, Microsoft Research; Selim Ciraci, Microsoft; Vincent Liu, University of Pennsylvania

OSDI '20 Paper
02/05/2021 Haoze Wu

Alembic: Automated Model Inference for Stateful Network Functions

Soo-Jin Moon, Carnegie Mellon University; Jeffrey Helt, Princeton University; Yifei Yuan, Intentionet; Yves Bieri, ETH Zurich; Sujata Banerjee, VMware Research; Vyas Sekar, Carnegie Mellon University; Wenfei Wu, Tsinghua University; Mihalis Yannakakis, Columbia University; Ying Zhang, Facebook, Inc.

NSDI '19 Paper
02/12/2021 Yigong Hu

RedLeaf: Isolation and Communication in a Safe Operating System

Vikram Narayanan, Tianjiao Huang, David Detweiler, Dan Appel, and Zhaofeng Li, University of California, Irvine; Gerd Zellweger, VMware Research; Anton Burtsev, University of California, Irvine

OSDI '20 Paper
02/19/2021

Canceled

02/26/2021 Brian Choi

Assise: Performance and Availability via Client-local NVM in a Distributed File System

Thomas E. Anderson, University of Washington; Marco Canini, KAUST; Jongyul Kim, KAIST; Dejan Kostić, KTH Royal Institute of Technology; Youngjin Kwon, KAIST; Simon Peter, The University of Texas at Austin; Waleed Reda, KTH Royal Institute of Technology and Université catholique de Louvain; Henry N. Schuh, University of Washington; Emmett Witchel, The University of Texas at Austin

OSDI '20 Paper
03/05/2021 Yuzhuo Jing

Kvell+: Snapshot Isolation without Snapshots

Baptiste Lepers and Oana Balmau, University of Sydney; Karan Gupta, Nutanix Inc.; Willy Zwaenepoel, University of Sydney

OSDI '20 Paper
03/12/2021

Canceled

03/19/2021 Chang Lou

Testing Configuration Changes in Context to Prevent Production Failures

Xudong Sun, Runxiang Cheng, Jianyan Chen, and Elaine Ang, University of Illinois at Urbana-Champaign; Owolabi Legunsen, Cornell University; Tianyin Xu, University of Illinois at Urbana-Champaign

OSDI '20 Paper
03/26/2021

Canceled

04/02/2021 Brian Choi

Understanding and Dealing with Hard Faults in Persistent Memory Systems

Brian Choi, Randal Burns, and Peng Huang, Johns Hopkins University

Practice Talk

EuroSys '21 Paper
04/09/2021 Brian Choi

Understanding and Dealing with Hard Faults in Persistent Memory Systems

Brian Choi, Randal Burns, and Peng Huang, Johns Hopkins University

Practice Talk

EuroSys '21 Paper
04/16/2021 Gongqi Huang

Efficiently Mitigating Transient Execution Attacks using the Unmapped Speculation Contract

Jonathan Behrens, Anton Cao, Cel Skeggs, Adam Belay, M. Frans Kaashoek, and Nickolai Zeldovich, MIT CSAIL

OSDI '20 Paper