Haryadi S. Gunawi     Neubauer Family Assistant Professor     Email: [first-name] @ cs.uchicago.edu     Ryerson Hall 259     1100 E. 58th Street, Chicago, IL 60637     CV: [pdf]     Bio: [html]

Recent News

• Honored to be selected as USENIX ATC 2018 program co-chair (with Ben Reed), please prepare to submit your work!
• MittOS is accepted to SOSP 2017, congrats to Mingzhe, Huaicheng, Michael, Chrisma, Riza, and Cesar!
• PBSE is accepted to SoCC 2017, congrats to Riza, Cesar, Alexandra, Huan, and Tanakorn!
• Congrats to Tanakorn, the 1st PhD graduate from our group, who will be joining Samsung Research America!
• Internship time! Huan to Huawei, Michael to VMware Research, Mingzhe to NetApp, Shiqin and Huaicheng to Dell/EMC New Jersey, enjoy the Summer!
• Presented scalability bugs at HotOS '17, a gorgeous venue! Also, congrats to Korn, Cesar, Riza, Huan ,and Jeff!
• DCatch (with Shan Lu's team) accepted to ASPLOS '17, congrats Jeffrey!
• Tiny-Tail Flash selected as Best Paper Nominee FAST 2017 (fast-tracked to TOS), congrats Shiqin, Huaicheng, Mingzhe, and Michael!
• Busy PC services this year!
• Old news

Research

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

• Research Interests: Improving the dependability of operating systems, storage systems, and cloud/distributed systems in the context of (1) tolerating "limpware" tail latencies and (2) combating distributed concurrency bugs and (3) latent scalability bugs.

• 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
  
  
• 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: 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

- 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