601.817: Selected Topics in Systems Research

Fall 2019

Fridays 1-2:15pm, Malone 338

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
08/30/2019 Yigong Hu

Under-Constrained Symbolic Execution: Correctness Checking for Real Code

David A. Ramos and Dawson Engler, Stanford University

USENIX Security '15 Paper
09/06/2019 Canceled
09/13/2019 Shiwei Weng

A Lightweight Symbolic Virtual Machine for Solver-Aided Host Languages

Emina Torlak and Rastislav Bodik, UC Berkeley

PLDI '14 Paper
09/20/2019 Haoze Wu

SAMC: Semantic-Aware Model Checking for Fast Discovery of Deep Bugs in Cloud Systems

Tanakorn Leesatapornwongsa and Mingzhe Hao, University of Chicago; Pallavi Joshi, NEC Labs America; Jeffrey F. Lukman, Surya University; Haryadi S. Gunawi, University of Chicago

OSDI '14 Paper
09/27/2019 Chang Lou

D3S: Debugging Deployed Distributed Systems

Xuezheng Liu and Zhenyu Guo, Microsoft Research Asia; Xi Wang, Tsinghua University; Feibo Chen, Fudan University; Xiaochen Lian, Shanghai Jiaotong University; Jian Tang, Ming Wu and Zheng Zhang, Microsoft Research Asia

NSDI '08 Paper
10/04/2019 Brian Choi

PMTest: A Fast and Flexible Testing Framework for Persistent Memory Programs

ASPLOS '19 Paper
10/11/2019 Canceled
10/18/2019 Yigong Hu

Performance Contracts for Software Network Functions

Rishabh Iyer, Luis Pedrosa, Arseniy Zaostrovnykh, Solal Pirelli, Katerina Argyraki, and George Candea, EPFL

NSDI '19 Paper
10/25/2019 Chang Lou

Cross-checking Semantic Correctness: The Case of Finding File System Bugs

Changwoo Min, Sanidhya Kashyap, Byoungyoung Lee, Chengyu Song, and Taesoo Kim, Georgia Institute of Technology

SOSP '15 Paper
11/01/2019 Haoze Wu

FCatch: Automatically Detecting Time-of-fault Bugs in Cloud Systems

Haopeng Liu, University of Chicago, Chicago; Xu Wang, Beihang University; Guangpu Li and Shan Lu, University of Chicago; Feng Ye and Chen Tian, Huawei

ASPLOS '18 Paper
11/08/2019 Shiwei Weng

Scaling symbolic evaluation for automated verification of systems code with Serval

Luke Nelson and James Bornholt, University of Washington; Ronghui Gu, Columbia University; Andrew Baumann, Microsoft Research; Emina Torlak and Xi Wang, University of Washington

SOSP '19 Paper
11/15/2019
11/22/2019
11/29/2019
12/06/2019
12/13/2019