601.817: Selected Topics in Systems Research

Spring 2022

Fridays 1:00-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
01/28/2022

Organizational Meeting
02/04/2022 Chang Lou

Using Lightweight Formal Methods to Validate a Key-Value Storage Node in Amazon S3

James Bornholt (Amazon Web Services & The University of Texas at Austin), Rajeev Joshi (Amazon Web Services), Vytautas Astrauskas (ETH Zurich), Brendan Cully (Amazon Web Services), Bernhard Kragl (Amazon Web Services), Seth Markle (Amazon Web Services), Kyle Sauri (Amazon Web Services), Drew Schleit (Amazon Web Services), Grant Slatton (Amazon Web Services), Serdar Tasiran (Amazon Web Services), Jacob Van Geffen (University of Washington), Andrew Warfield (Amazon Web Services)

 SOSP '21 Paper
02/11/2022 Haoze Wu

Snowboard: Finding Kernel Concurrency Bugs through Systematic Inter-thread Communication Analysis

Sishuai Gong (Purdue University), Deniz Altınbüken (Google Research), Pedro Fonseca (Purdue University), Petros Maniatis (Google Research)

 SOSP '21 Paper
02/18/2022 Yigong Hu

Solving Large-Scale Granular Resource Allocation Problems Efficiently with POP

Deepak Narayanan (Stanford University), Fiodar Kazhamiaka (Stanford University), Firas Abuzaid (Stanford University), Peter Kraft (Stanford University), Akshay Agrawal (Stanford University), Srikanth Kandula (Microsoft Research), Stephen Boyd (Stanford University), Matei Zaharia (Stanford University and Databricks)

 SOSP '21 Paper
02/25/2022 Brian Choi

Witcher: Systematic Crash Consistency Testing for Non-Volatile Memory Key-Value Stores

Xinwei Fu (Virginia Tech), Wook-Hee Kim (Virginia Tech), Ajay Paddayuru Shreepathi (Stony Brook University), Mohannad Ismail (Virginia Tech), Sunny Wadkar (Virginia Tech), Dongyoon Lee (Stony Brook University), Changwoo Min (Virginia Tech)

 SOSP '21 Paper
03/04/2022 Gongqi Huang

RUDRA: Finding Memory Safety Bugs in Rust at the Ecosystem Scale

Yechan Bae (Georgia Institute of Technology), Youngsuk Kim (Georgia Institute of Technology), Ammar Askar (Georgia Institute of Technology), Jungwon Lim (Georgia Institute of Technology), Taesoo Kim (Georgia Institute of Technology)

 SOSP '21 Paper
03/11/2022 Senapati S. Diwangkara

Differential Network Analysis

Peng Zhang, Xi'an Jiaotong University; Aaron Gember-Jacobson, Colgate University; Yueshang Zuo, Yuhao Huang, Xu Liu, and Hao Li, Xi'an Jiaotong University

 NSDI '22 Paper
03/18/2022 Yuzhuo Jing

HEALER: Relation Learning Guided Kernel Fuzzing

Hao Sun (School of Software, Tsinghua University, KLISS, BNRist, China), Yu Heng Shen (School of Software, Tsinghua University, KLISS, BNRist, China), Cong Wang (School of Software, Tsinghua University, KLISS, BNRist, China), Jianzhong Liu (School of Software, Tsinghua University, KLISS, BNRist, China), Yu Jiang (School of Software, Tsinghua University, KLISS, BNRist, China), Ting Chen (Center for Cybersecurity, University of Electronic Science and Technology of China, China), Aiguo Cui (Huawei Technologies Co Ltd, China)

 SOSP '21 Paper
03/25/2022

Spring Break
04/01/2022 Chang Lou

Kangaroo: Caching Billions of Tiny Objects on Flash

Sara McAllister (Carnegie Mellon University), Benjamin Berg (Carnegie Mellon University), Julian Tutuncu-Macias (Carnegie Mellon University), Juncheng Yang (Carnegie Mellon University), Sathya Gunasekar (Facebook), Jimmy Lu (Facebook), Daniel Berger (University of Washington/ Microsoft Research), Nathan Beckmann (Carnegie Mellon University), Gregory R. Ganger (Carnegie Mellon University)

 SOSP '21 Paper
04/08/2022 Brian Choi

Log-structured Protocols in Delos

Mahesh Balakrishnan (Facebook), Chen Shen (Facebook), Ahmed Jafri (Facebook), Suyog Mapara (Facebook), David Geraghty (Facebook), Jason Flinn (Facebook), Vidhya Venkat (Facebook), Ivailo Nedelchev (Facebook), Santosh Ghosh (Facebook), Mihir Dharamshi (Facebook), Jingming Liu (Facebook), Filip Gruszczynski (Facebook), Jun Li (Facebook), Rounak Tibrewal (Facebook), Ali Zaveri (Facebook), Rajeev Nagar (Facebook), Ahmed Yossef (Facebook), Francois Richard (Facebook), Yee Jiun Song (Facebook)

 SOSP '21 Paper
04/15/2022 Yigong Hu

Syrup: User-Defined Scheduling Across the Stack

Kostis Kaffes (Stanford University), Jack Tigar Humphries (Stanford University), David Mazières (Stanford University), Christos Kozyrakis (Stanford University)

 SOSP '21 Paper
04/22/2022 Yuzhuo Jing

When Idling is Ideal: Optimizing Tail-Latency for Highly-Dispersed Datacenter Workloads with Perséphone

Henri Maxime Demoulin (University of Pennsylvania), Joshua Fried (MIT CSAIL), Isaac Pedisich (Grammatech), Marios Kogias (Microsoft Research), Boon Thau Loo (University of Pennsylvania), Linh Thi Xuan Phan (University of Pennsylvania), Irene Zhang (Microsoft Research/University of Washington)

 SOSP '21 Paper
04/29/2022 Haoze Wu

The Inflection Point Hypothesis: A Principled Debugging Approach for Locating the Root Cause of a Failure

Yongle Zhang (University of Toronto), Kirk Rodrigues (University of Toronto), Yu Luo (University of Toronto), Michael Stumm (University of Toronto), Ding Yuan (University of Toronto)

 SOSP '19 Paper