CS 598: Tentative Reading Schedule

Spring 2019

Week 1

Week 2

Week 3

Week 4

Week 5

Week 6

Week 7

Week 8

Week 9

Week 10

Week 11

Week 12

Week 13

Week 14

Week 15

1/15
1/17

1/22
1/24

1/29
1/31

2/5
2/7

2/12
2/14

2/19
2/21

2/26
2/28

3/5
3/7

3/12
3/14

3/26
3/28

4/2
4/4

4/9
4/11

4/16
4/18

4/23
4/25

4/30

This page conforms to the FERPA policy of disclosure of education records. All the students listed as (co-)presenters provide the written consents.

Course Introduction

Tue
1/15

Course Overview

Data Center Systems and Availability

Thu
1/17

Watch the video: J. Dean, Building Software Systems At Google and Lessons Learned, Distinguished Lecture Series (DLS), Stanford, 2010.
L. A. Barroso, J. Clidaras, and U. Hölzle, The Datacenter as a Computer: An Introduction to the Design of Warehouse-Scale Machines (2nd Edition), Morgan & Claypool, July 2013.
Read: Chapter 1 (Introduction) and Chapter 7 (Dealing with Failures and Repairs).
H. S. Gunawi, M. Hao, R. O. Suminto, A. Laksono, A. D. Satria, J. Adityatama, and K. J. Eliazar, Why Does the Cloud Stop Computing? Lessons from Hundreds of Service Outages, In Proceedings of the 6th ACM Symposium on Cloud Computing (SOCC '16), October 2016.
(Optional) B. Treynor, M. Dahlin, V. Rau, and B. Beyer, The Calculus of Service Availability, Communications of the ACM (CACM), Vol. 60 No. 9, Pages 42-47, September 2017.
(Optional) B. Maurer, Fail at Scale, Communications of the ACM (CACM), Vol. 58 No. 11, Pages 44-49, November 2015.
(Optional) related failure studies:
- D. Oppenheimer, A. Ganapathi, and D. A. Patterson, Why do Internet services fail, and what can be done about it?, In Proceedings of the 4th USENIX Symposium on Internet Technologies and Systems (USITS '03), March 2003.
- J. Gray, Why Do Computers Stop and What Can Be Done About It?, Technical Report 85.7, Tandem Computers, June 1985.
(Optional) related papers mentioned in Dean's talk:
- S. Ghemawat, H. Gobioff, and S-. T. Leung, The Google file system, In Proceedings of the 19th ACM Symposium on Operating Systems Principles (SOSP '03), October 2003.
- J. Dean and S. Ghemawat, MapReduce: simplified data processing on large clusters, In Proceedings of the 6th USENIX Symposium on Operating Systems Design and Implementation (OSDI '04), December 2004.
- J. C. Corbett et al., Spanner: Google’s Globally-Distributed Database, In Proceedings of the 10th USENIX Symposium on Operating Systems Design and Implementation (OSDI '12), October 2012.

Hardware Faults

Tue
1/22

A. Kadav, M. J. Renzelmann, and M. M. Swift, Tolerating Hardware Device Failures in Software, In Proceedings of the 22nd ACM Symposium on Operating Systems Principles (SOSP '09), October 2009.
T. Do, M. Hao, T. Leesatapornwongsa, T. Patana-anake, and H. S. Gunawi, Limplock: Understanding the Impact of Limpware on Scale-Out Cloud Systems, In Proceedings of the 5th ACM Symposium on Cloud Computing (SoCC '13), October, 2013.
(Optional) related papers on limpware and device drivers:
- T. Do and H. S. Gunawi, Impact of Limpware on HDFS: A Probabilistic Estimation, Tech report TR-2013-08, Department of Computer Science, University of Chicago, 2013.
- H. S. Gunawi, et al., Fail-Slow at Scale: Evidence of Hardware Performance Faults in Large Production Systems, In Proceedings of the 16th USENIX Conference on File and Storage Technologies (FAST '18), February 2018.
(Optional) the SEDA architecture paper:
- M. Welsh, D. Culler, and E. Brewer, SEDA: An Architecture for Well-Contained Scalable Internet Services, In Proceedings of the 18th ACM Symposium on Operating Systems Principles (SOSP '01), October 2001.
(Optional) related papers on device drivers:
- A. Kadav and M. M. Swift, Understanding Modern Device Drivers, In Proceedings of the 17th International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS '12), March, 2012.
- M. J. Renzelmann, A. Kadav, and M. M. Swift, SymDrive: Testing Drivers without Devices, In Proceedings of the 12th Symposium on Operating System Design and Implementation (OSDI '12), October 2012.
- M. Swift, M. Annamalai, B. N. Bershad, and H. M. Levy, Recovering Device Drivers, In Proceedings of the 6th ACM/USENIX Symposium on Operating Systems Design and Implementation (OSDI '04), December 2004.

Software Defects

Thu
1/24

A. Ganesan, R. Alagappan, A. C. Arpaci-Dusseau, and R. H. Arpaci-Dusseau, Redundancy Does Not Imply Fault Tolerance: Analysis of Distributed Storage Reactions to Single Errors and Corruptions, In Proceedings of the 15th USENIX Conference on File and Storage Technologies (FAST '17), February 2017.
D. Yuan, Y. Luo, X. Zhuang, G. R. Rodrigues, X. Zhao, Y. Zhang, P. U. Jain, and M. Stumm, Simple Testing Can Prevent Most Critical Failures: An Analysis of Production Failures in Distributed Data-Intensive Systems, In Proceedings of the 11th USENIX Symposium on Operating Systems Design and Implementation (OSDI '14), October 2014.
(Optional) related bug studies:
- H. S. Gunawi, M. Hao, T. Leesatapornwongsa, T. Patana-anake, T. Do, J. Adityatama, K. J. Eliazar, A. Laksono, J. F. Lukman, V. Martin, and A. D. Satria, What Bugs Live in the Cloud? A Study of 3000+ Issues in Cloud Systems, In Proceedings of the 5th ACM Symposium on Cloud Computing (SOCC '14), November 2014.
- L. Lu, A. C. Arpaci-Dusseau, R. H. Arpaci-Dusseau, and S. Lu, A Study of Linux File System Evolution, In Proceedings of the 11th USENIX Conference on File and Storage Technologies (FAST '13), February 2013. (bugs in file systems)
- G. Jin, L. Song, X. Shi, J. Scherpelz, and S. Lu, Understanding and Detecting Real-World Performance Bugs, In Proceedings of the 33rd ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI '12), June 2012. (performance bugs)
- S. Lu, S. Park, E. Seo, and Y. Zhou, Learning from Mistakes — A Comprehensive Study on Real World Concurrency Bug Characteristics, In Proceedings of the 13th International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS '08), March 2008. (concurrency bugs)
- H. S. Gunawi, C. R-. González, A. C. Arpaci-Dusseau, R. H. Arpaci-Dusseau, and B. Liblit, EIO: Error Handling is Occasionally Correct, In Proceedings of the 6th USENIX Conference on File and Storage Technologies (FAST '08), February 2008.
- A. Chou, J. Yang, B. Chelf, S. Hallem, and D. Engler, An Empirical Study of Operating Systems Errors, In Proceedings of the 18th ACM Symposium on Operating Systems Principles (SOSP '01), October 2001. (bugs in OS kernels)

Configuration Management

Tue
1/29

T. Xu, X. Jin, P. Huang, Y. Zhou, S. Lu, L. Jin, and S. Pasupathy, Early Detection of Configuration Errors to Reduce Failure Damage, In Proceedings of the 12th USENIX Symposium on Operating Systems Design and Implementation (OSDI '16), November 2016.
C. Tang, T. Kooburat, P. Venkatachalam, A. Chander, Z. Wen, A. Narayanan, P. Dowell, and R. Karl, Holistic Configuration Management at Facebook, In Proceedings of the 25th Symposium on Operating Systems Principles (SOSP '15), October 2015.
(Optional) related papers:
- T. Xu, J. Zhang, P. Huang, J. Zheng, T. Sheng, D. Yuan, Y. Zhou, and S. Pasupathy, Do Not Blame Users for Misconfigurations, In Proceedings of the 24th ACM Symposium on Operating Systems Principles (SOSP '13), November, 2013.
- Y-. Y. Su, M. Attariyan and J. Flinn, AutoBash: Improving configuration management with operating system causality analysis, In Proceedings of the 21st ACM Symposium on Operating Systems Principles (SOSP '07), October 2007.
- H. J. Wang, J. C. Platt, Y. Chen, R. Zhang, and Y-. M. Wang, Automatic Misconfiguration Troubleshooting with PeerPressure, In Proceedings of the 6th USENIX Conference on Operating Systems Design and Implementation (OSDI '04), December 2004.
- O. Alipourfard, J. Chen, H. Liu, S. Venkataraman, M. Yu, and M. Zhang, CherryPick: Adaptively Unearthing the Best Cloud Configurations, In Proceedings of the 14th USENIX Symposium on Networked Systems Design and Implementation (NSDI '17), March 2017.

Kernel Configuration

Thu
1/31

A. Kurmus, R. Tartler, D. Dorneanu, B. Heinloth, V. Rothberg, A. Ruprecht, W. Schröder-Preikschat, D. Lohmann, and R. Kapitza, Attack Surface Metrics and Automated Compile-Time OS Kernel Tailoring, In Proceedings of the 20th Annual Network and Distributed System Security Symposium (NDSS '13), February 2013.
R. Tartler, C. Dietrich, J. Sincero, W. Schröder-Preikschat, and D. Lohmann, Static Analysis of Variability in System Software: The 90,000 #ifdefs Issue, In Proceedings of the 2014 USENIX Annual Technical Conference (USENIX ATC '14), June 2014.
(Optional) related papers:
- R. Tartler, D. Lohmann, J. Sincero, and W. Schröder-Preikschat, Feature Consistency in Compile-Time -- Configurable System Software, In Proceedings of the 2011 European Conference on Computer Systems (EuroSys '11), April 2011.
- S. Nadi, T. Berger, C. Kästner, and K. Czarnecki, Mining Configuration Constraints: Static Analyses and Empirical Results, In Proceedings of the 36th International Conference on Software Engineering (ICSE '14), May 2014.

Project Workshop

Tue
2/5
+
Thu
2/7

You will be presenting your project proposal.
- Problem statement
- Research contributions
- End product
- Basic idea and technical insights
- Execution plan
Please prepare your presentation using this template.

Hack Day

Tue
2/12

Work on the projects

JVM and Big Data

Tue
2/14

G. Essertel, R. Tahboub, J. Decker, K. Brown, K. Olukotun, and T. Rompf, Flare: Optimizing Apache Spark with Native Compilation for Scale-Up Architectures and Medium-Size Data, In Proceedings of the 13th USENIX Symposium on Operating Systems Design and Implementation (OSDI '18), October 2018.
D. Lion, A. Chiu, H. Sun, X. Zhuang, N. Grcevski, and D. Yuan, Don't Get Caught In the Cold, Warm-up Your JVM: Understand and Eliminate JVM Warm-up Overhead In Data-parallel Systems, In Proceedings of the 12th USENIX Symposium on Operating Systems Design and Implementation (OSDI '16), November 2016.
(Optional) papers:
- K. Nguyen, L. Fang, G. Xu, B. Demsky, S. Lu, S. Alamian, and O. Mutlu, Yak: A High-Performance Big-Data-Friendly Garbage Collector, In Proceedings of the 12th USENIX Symposium on Operating Systems Design and Implementation (OSDI '16), November 2016.
- L. Fang, K. Nguyen, G. Xu, B. Demsky, and S. Lu, Interruptible Tasks: Treating Memory Pressure As Interrupts for Highly Scalable Data-Parallel Programs, In Proceedings of the 25th ACM Symposium on Operating Systems Principles (SOSP '15), October 2015.
- I. Gog, J. Giceva, M. Schwarzkopf, K. Vaswani, D. Vytiniotis, G. Ramalingan, M. Costa, D. Murray, S. Hand, and M. Isard, Broom: Sweeping out Garbage Collection from Big Data systems, In Proceedings of the 15th Workshop on Hot Topics in Operating Systems (HotOS XV), May 2015.

Tracing and Provenance

Tue
2/19

W. U. Hassan, S. Guo, D. Li, Z. Chen, K. Jee, Z. Li, and A. Bates, NODOZE: Combatting Threat Alert Fatigue with Automated Provenance Triage, In Proceedings of the 2019 Network and Distributed Systems Security (NDSS) Symposium, Feb. 2019.

Overload Control

Thu
2/21

H. Zhou, M. Chen, Q. Lin, Y. Wang, X. She, S. Liu, R. Gu, B. C. Ooi, and J. Yang, Overload Control for Scaling WeChat Microservices, In Proceedings of the 2018 ACM Symposium on Cloud Computing (SoCC '18), October 2018.
M. Welsh and D. Culler, Adaptive Overload Control for Busy Internet Servers, In Proceedings of the 4th USENIX Symposium on Internet Technologies and Systems (USITS '03), March 2003.

Hack Day

Tue
2/26

Work on the projects to prepare for the first checkpoint

Compatibility

Thu
2/28

S. Mostafa, R. Rodriguez, and X. Wang, A Study on Behavioral Backward Incompatibilities of Java Software Libraries, In Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA '17), July 2017.

Project Symposium for Checkpoint 1

Tue
3/5
+
Thu
3/7

You will be presenting your first checkpoint.
- Problem statement
- Basic idea and technical insights
- Motivating examples (at least two examples)
- Prototypes
- Preliminary results
Please prepare your presentation using this template.

Failure Diagnosis

Tue
3/12

Y. Zhang, S. Makarov, X. Ren, D. Lion, and D. Yuan, Pensieve: Non-Intrusive Failure Reproduction for Distributed Systems using the Event Chaining Approach, In Proceedings of the 26th Symposium on Operating Systems Principles (SOSP '17), October 2017.
D. Yuan, H. Mai, W. Xiong, L. Tan, Y. Zhou, and S. Pasupathy, SherLog: Error Diagnosis by Connecting Clues from Run-time Logs, In Proceedings of the 15th International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS '10), March 2010.
(optional) related work on failure diagnosis
- D. Yuan, S. Park, P. Huang, Y. Liu, M. M. Lee, X. Tang, Y. Zhou, and S. Savage, Be Conservative: Enhancing Failure Diagnosis with Proactive Logging, In Proceedings of the 10th USENIX Symposium on Operating Systems Design and Implementation (OSDI '12), November 2012.
- D. Yuan, J. Zheng, S. Park, Y. Zhou, and S. Savage, Improving Software Diagnosability via Log Enhancement, In Proceedings of the 16th International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS '11), March 2011.
- X. Zhao, K. Rodrigues, Y. Luo, M. Stumm, D. Yuan, and Y. Zhou, Log20: Fully Automated Optimal Placement of Log Printing Statements under Specified Overhead Threshold, In Proceedings of the 26th Symposium on Operating Systems Principles (SOSP '17), October 2017.
- C. Scott, A. Panda, V. Brajkovic, G. Necula, A. Krishnamurthy, and S. Shenker, Minimizing Faulty Executions of Distributed Systems, In Proceedings of the 13th USENIX Symposium on Networked Systems Design and Implementation (NSDI '16), March 2016.

Concurrency Bugs

Thu
3/14

S. Lu, S. Park, E. Seo and Y. Zhou, Learning from Mistakes — A Comprehensive Study on Real World Concurrency Bug Characteristics, In Proceedings of the 13th International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS '08), March 2008.
T. Leesatapornwongsa, J. F. Lukman, S. Lu, and H. S. Gunawi, TaxDC: A Taxonomy of Non-Deterministic Concurrency Bugs in Datacenter Distributed Systems, In Proceedings of the 21th International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS '16), April 2016.

Correctness of Distributed Systems

Tue
3/26

A. Singh, T. Das, P. Maniatis, P. Druschel, and T. Roscoe, BFT Protocols Under Fire, In Proceedings of the 5th USENIX Symposium on Networked Systems Design and Implementation (NSDI '08), April 2008.
C. Hawblitzel, J. Howell, M. Kapritsos, J. R. Lorch, B. Parno, M. L. Roberts, S. Setty, and B. Zill, IronFleet: Proving Practical Distributed Systems Correct, In Proceedings of the 25th Symposium on Operating Systems Principles (SOSP '15), October 2015.
(Optional) related papers:
- C. Hawblitzel, J. Howell, J. R. Lorch, A. Narayan, B. Parno, D. Zhang, and B. Zill, Ironclad Apps: End-to-End Security via Automated Full-System Verification, In Proceedings of the 11th USENIX Symposium on Operating Systems Design and Implementation (OSDI '14), October 2014.
- C. Newcombe, T. Rath, F. Zhang, B. Munteanu, M. Brooker, and M. Deardeuff, How Amazon Web Services Uses Formal Methods, Communications of the ACM, April 2015, Vol. 58 No. 4, Pages 66-73.
- R. Kotla, L. Alvisi, M. Dahlin, A. Clement, and E. Wong, Zyzzyva: Speculative Byzantine Fault Tolerance, In Proceedings of the 21st ACM Symposium on Operating Systems Principles (SOSP '07), October 2007.
- M. Castro and B. Liskov, Practical Byzantine Fault Tolerance, In Proceedings of the 3rd Symposium on Operating Systems Design and Implementation (OSDI '99), February 1999.

Testing Machine Learning Systems

Thu
3/28

Y. Sun, M. Wu, W. Ruan, X. Huang, M. Kwiatkowska, and D. Kroening, Concolic Testing for Deep Neural Networks, arXiv:1805.00089v2, August 2018.
Y. Sun, X. Huang, and D. Kroening, Testing Deep Neural Networks, arXiv:1803.04792v3, March 2018.
K. Pei, Y. Cao, J. Yang, and S. Jana, DeepXplore: Automated Whitebox Testing of Deep Learning Systems, In Proceedings of the 26th ACM Symposium on Operating Systems Principles (SOSP '17), October 2017.

Failure Detection

Tue
4/2

P. Huang, C. Guo, J. R. Lorch, and L. Zhou, Capturing and Enhancing In Situ System Observability for Failure Detection, In Proceedings of the 13th USENIX Symposium on Operating Systems Design and Implementation (OSDI '18), October 2018.
J. B. Leners, H. Wu, W. -L. Hung, M. K. Aguilera, and M. Walfish, Detecting failures in distributed systems with the FALCON spy network, In Proceedings of the 23rd ACM Symposium on Operating Systems Principles (SOSP '11), October 2011.
(Optional) related papers:
- P. Huang, C. Guo, L. Zhou, J. R. Lorch, Y. Dang, M. Chintalapati, and R. Yao, Gray Failure: The Achilles' Heel of Cloud-Scale Systems, In Proceedings of the 16th Workshop on Hot Topics in Operating Systems (HotOS '17), May 2017.
- J. B. Leners, T. Gupta, M. K. Aguilera, and M. Walfish, Improving Availability in Distributed Systems with Failure Informers, In Proceedings of the 10th USENIX Symposium Networked Systems Design and Implementation (NSDI '13), April 2013.
- J. B. Leners, T. Gupta, M. K. Aguilera, and M. Walfish, Taming uncertainty in distributed systems with help from the network, In Proceedings of the 10th ACM European Conference on Computer Systems (EuroSys '15), April 2015.

Edge/IoT Software Reliability

Thu
4/4

Z. B. Celik, P. McDaniel, and G. Tan, Soteria: Automated IoT Safety and Security Analysis, In Proceedings of the 2018 USENIX Annual Technical Conference (USENIX ATC '18), July, 2018.
Q. Wang, W. U. Hassan, A. Bates, and C. Gunter, Fear and Logging in the Internet of Things, In Proceedings of the 2018 Network and Distributed Systems Security (NDSS) Symposium, Feb. 2018.

Project Symposium for Checkpoint 2

Tue
3/5
+
Thu
3/7

You will be presenting your second checkpoint.
- Problem statement
- Design
- Implementation
- Results
Please prepare your presentation using this template.

Tor: Basics

Tue
4/16

R. Dingledine, N. Mathewson, and P. Syverson, Tor: The Second-Generation Onion Router, In Proceedings of the 13th Conference on USENIX Security Symposium, August, 2004.
R. Dingledine, N. Mathewson, and P. Syverson, Challenges in deploying low-latency anonymity, Unpublished Manuscript.
(Optional) related papers:
- R. Dingledine and N. Mathewson, Tor Protocol Specification.
- K. Loesing, An Analysis of Tor Relay Stability, Tor Tech Report 2011-06-001, June, 2011.
- P. Winter, Design Requirements for a Tor Censorship Analysis Tool, Tor Tech Report 2013-02-001, February, 2013.

Tor: Reliability and Performance

Thu
4/18

A. Das, N. Borisov, P. Mittal, and M. Caesar, Re3: Relay Reliability Reputation for Anonymity Systems, In Proceedings of the 9th ASIA Conference on Computer and Communications Security (Asia CCS), June, 2014.
M. Akhoondi, C. Yu, and H. V. Madhyastha, LASTor: A Low-Latency AS-Aware Tor Client, In Proceedings of the 2012 IEEE Symposium on Security and Privacy, May, 2012.
(Optional) related papers:
- R. Jansen, M. Juarez, R. Galvez, T. Elahi, and C. Diaz, Inside Job: Applying Traffic Analysis to Measure Tor from Within. In Proceedings of the 2018 Network and Distributed Systems Security (NDSS) Symposium, Feb 2018.
- W. Lueks, M. Daumas, and C. Troncoso, Lightnion: seamless anonymous communication from any web browser, In Proceedings of the 2019 Workshop on Measurements, Attacks, and Defenses for the Web (MADWeb'19), Feb 2019.

Hack Day

Tue
4/23

Work on your projects to prepare for the final demo

Donuts and Chill

Thu
4/25

We will be chatting about research, life experience, and career goals.

Oral Exam

Tue
4/30

The exam has three components:
- (5 min) You present your project. Please focus on what you have accomplished (I have already known your project well).
- (5 min) You show a live demo about how the system/tool you build work in practice.
- (5-10 min) You answer questions (similar as the qualifying exam).