601.817: Selected Topics in Systems Research

Spring 2019

Fridays 1-2:15pm, 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.


02/01/2019 Organizational Meeting
02/08/2019 Yigong Hu

The FuzzyLog: A Partially Ordered Shared Log

Joshua Lockerman, Yale University; Jose M. Faleiro, UC Berkeley; Juno Kim, UC San Diego; Soham Sankaran, Cornell University; Daniel J. Abadi, University of Maryland, College Park; James Aspnes, Yale University; Siddhartha Sen, Microsoft Research; Mahesh Balakrishnan, Yale University / Facebook

OSDI '18 Paper
02/15/2019 Canceled
02/22/2019 Chang Lou

An Analysis of Network-Partitioning Failures in Cloud Systems

Ahmed Alquraan, Hatem Takruri, Mohammed Alfatafta, and Samer Al-Kiswany, University of Waterloo

OSDI '18 Paper
03/01/2019 Brian Choi

Write-Optimized and High-Performance Hashing Index Scheme for Persistent Memory

Pengfei Zuo, Yu Hua, and Jie Wu, Huazhong University of Science and Technology

OSDI '18 Paper
03/08/2019 Canceled
03/15/2019 Shiwei Weng

DETER: Deterministic TCP Replay for Performance Diagnosis

Yuliang Li, Harvard University; Rui Miao, Alibaba Group; Mohammad Alizadeh, Massachusetts Institute of Technology; Minlan Yu, Harvard University

NSDI '19 Paper
03/22/2019 Spring Break
03/29/2019 Yigong Hu

Verifying Systems Rules Using Rule-Directed Symbolic Execution

Heming Cui, Gang Hu, Jingyue Wu, and Junfeng Yang, Columbia University

ASPLOS '13 Paper
04/05/2019 Ziyan Wang

Confluo: Distributed Monitoring and Diagnosis Stack for High-speed Networks

Anurag Khandelwal, UC Berkeley; Rachit Agarwal, Cornell University; Ion Stoica, UC Berkeley

NSDI '19 Paper
04/12/2019 Brian Choi

Reaping the performance of fast NVM storage with uDepot

Kornilios Kourtis, Nikolas Ioannou, and Ioannis Koltsidas, IBM Research

FAST '19 Paper
04/19/2019 Shiwei Weng

Pay Migration Tax to Homeland: Anchor-based Scalable Reference Counting for Multicores

Seokyong Jung, Jongbin Kim, Minsoo Ryu, Sooyong Kang, and Hyungsoo Jung, Hanyang University

FAST '19 Paper
04/26/2019 Yigong Hu

Wasabi: A Framework for Dynamically Analyzing WebAssembly

Daniel Lehmann, Michael Pradel, TU Darmstadt

ASPLOS '19 Paper
05/03/2019 Chang Lou

ScaleCheck: A Single-Machine Approach for Discovering Scalability Bugs in Large Distributed Systems

Cesar A. Stuardo, University of Chicago; Tanakorn Leesatapornwongsa, Samsung Research America; Riza O. Suminto, Huan Ke, and Jeffrey F. Lukman, University of Chicago; Wei-Chiu Chuang, Cloudera; Shan Lu and Haryadi S. Gunawi, University of Chicago

FAST '19 Paper
05/09/2019 Chang Lou

Practice talk for HotOS '19:
Comprehensive and Efficient Runtime Checking in System Software through Watchdogs

Chang Lou, Peng Huang, Scott Smith, Johns Hopkins University

HotOS '19 Paper