Haryadi S. Gunawi     Associate Professor [as of July 2019]     Email: [first-name] @ cs.uchicago.edu     JCL 347     5730 S. Ellis Avenue, Chicago, IL 60637     CV: [pdf]     Bio: [html]

Recent News

• FlyMC is accepted to EuroSys 2019, congrats Jeff, Huan, Cesar, and Riza!
• SCk is accepted to FAST 2019, congrats Cesar, Riza, Huan, and Jeff!
• USENIX ATC 2018 ran successfully! Thanks to all authors, awesome PC, and USENIX staffs!
• Internship time! Riza and Jeffrey to Cloudera, Mingzhe and Huaicheng to MSR, Cesar to Samsung Research.
• Fail-Slow at Scale received Best Paper Nomination @ FAST '18; 21 authors from 5 companies, 3 universities, and 3 national labs -- longest author list in my career!
• Published FEMU, our flash software emulator. Try it and contact Huaicheng Li.
• Busy PC services this year!
• Old news

Research

• Research Groups/Center: UCARE, CERES, and Systems

• Research Areas: Operating and Storage Systems, Distributed (Cloud) Systems, and Machine Learning for Systems.

• PhD Students: Riza Suminto ('13), Mingzhe Hao ('15), Huan Ke, Jeffrey Lukman, Huaicheng Li ('16), Cesar Stuardo ('17), Meng Wang, Daniar Kurniawan ('18) (Full list w/ BS/MS students)

Publications

• DBLP || Full list w/ author names + slides ||
  Selected publications in red text below
  
  
• FlyMC: Highly Scalable Testing for Complex Interleavings in Cloud Systems [EuroSys '19]
• ScaleCheck: A Single-Machine Approach for Discovering Scalability Bugs in Large Systems [FAST '19]
• Fail-Slow at Scale: Evidence of Hardware Performance Faults in Large Production Systems [FAST '18] Best paper nominee
• The CASE of FEMU: Cheap, Accurate, Scalable and Extensible Flash Emulator [FAST '18]
• StrongBox: Stream Ciphers for Full Drive Encryption [ASPLOS '18]
• PCatch: Automatically Detecting Performance Cascading Bugs in Cloud Systems [EUROSYS '18]
• MittOS: Supporting Millisecond Tail Tolerance with Fast Rejecting SLO-Aware OS Interface [SOSP '17]
• PBSE: A Robust Path-Based Speculative Execution for Degraded-Network Tail Tolerance [SoCC '17]
• Scalability Bugs: When 100-Node Testing is Not Enough [HotOS '17]
• Tiny-Tail Flash: Near-Perfect Elimination of GC Tail Latencies in NAND SSDs [TOS '17] Fast-tracked
• Tiny-Tail Flash: Near-Perfect Elimination of GC Tail Latencies in NAND SSDs [FAST '17] Best paper nominee
• DCatch: Automatically Detecting Distributed Concurrency Bugs in Cloud Systems [ASPLOS '17]
• Why Does the Cloud Stop Computing? Lessons from Hundreds of Outages [SoCC '16]
• The Tail at Store: A Revelation from Millions of Hours of Disk+SSD Deployments [FAST '16]
• TaxDC: A Taxonomy of Concurrency Bugs in Datacenter Distributed Systems [ASPLOS '16]
• Manylogs: Improved CMR/SMR Bandwidth and Durability with Scattered Logs [MSST '16]
• What Bugs Live in the Cloud? A Study of Issues in Scalable Distributed Systems [;login: '15]
• Pre-Deployment Detection of Performance Failures in Cloud Systems [HotCloud '15]
• A Fast Model Checker for Finding Heisenbugs in Distributed Systems [ISSTA '15]
• SAMC: Semantic-Aware Model Checking for Fast Discovery of Bugs in Cloud Systems [OSDI '14]
• What Bugs Live in the Cloud? A Study of 3000+ Issues in Cloud Systems [SoCC '14]
• Drill-Ready Cloud Computing (Vision Paper) [SoCC '14]
• Limplock: Understanding the Impact of Limpware on Scale-Out Cloud Systems [SoCC '13]
  
• The Case for Limping-Hardware Tolerant Clouds [HotCloud '13]
  
• HARDFS: Hardening HDFS with Selective and Lightweight Versioning [FAST '13]
  
  
• Prior to UChicago:
• Failure as a Service (FaaS): A Service for Online Failure Drills [TR-UCB '11]
  
• PreFail: A Programmable Tool for Multiple-Failure Injection [OOPSLA '11]
  
• FATE and DESTINI: A Framework for Cloud Recovery Testing [NSDI '11]
  
• Towards Checking Thousands of Failures with Micro-specifications [HotDep '10]
  
• Impact of Disk Corruption on Open-Source DBMS [ICDE '10]
  
• Error Propagation Analysis for File Systems [PLDI '09]
  
• SQCK: A Declarative File System Checker [OSDI '08]
  
• EIO: Error Handling is Occasionally Correct [FAST '08]
  
• Improving File System Reliability with I/O Shepherding [SOSP '07]
  
• IRON (Internal Robustness) File Systems [SOSP '05]
  
• Deconstructing Commodity Storage Clusters [ISCA '05]
  
• Deploying Safe User-Level Network Services with icTCP [OSDI '04]
  
• Transforming Policies into Mechanisms with Infokernel [SOSP '03]
  

Academic Background

• Postdoctoral Fellow, UC Berkeley, 2010-2012
      Computing Innovation Fellow
     
  
• Ph.D., Univ. of Wisconsin-Madison, 2009
      Dissertation: "Towards Reliable Storage Systems"
      Awarded the 2009 ACM Doctoral Dissertation Award Honorable Mention (pic)
      (and departmental best thesis award)
     

Services

Program Committee (and ERC**):
    2019: SOSP (Heavy PC), FAST, NSDI ASPLOS (ERC)
    2018: USENIX ATC (Co-Chair), FAST, OSDI, SoCC, VLDB
    2017: SoCC, TOS, HotCloud, HPDC, ICDCS, Middleware, SOSP SRC
    2016: FAST, ATC, VLDB, HotStorage, ASPLOS**
    2015: GCASR (Co-chair), FAST, USENIX ATC, ASPLOS**, MSST, CLOUD
    2014: SoCC, HotCloud, HPDC, MSST, INFLOW
    2013: SoCC, VLDB || 2012: VLDB, MSST, NAS || 2011-2010: PDSW, DBTest

Teaching

(not really updated recently)
- CMSC 230, Operating Systems: 2017 waitlist, 2016, 2015, 2014, 2013, 2012
- CMSC 154, Introduction to Computer Systems: 2017, 2016, 2015, 2014
- CMSC 331, Advanced Operating Systems: 2014, 2013
- CMSC 332, Topics in Operating Systems: 2013