Publications     |    Teaching     |    Research
Haryadi (Har) Gunawi Haryadi Gunawi
    Neubauer Family Assistant Professor
    Email: [first-name] @
    Ryerson Hall 259
    1100 E. 58th Street, Chicago, IL 60637

    CV: [pdf]     Bio: [html]

I am currently recruiting graduate students and uchicago undergrads.
Please contact me if you are interested in my research projects.


  • Research Groups: UCARE, CERES, and UChicago Systems

  • Research Areas: Cloud/Distributed Computing, Operating Systems, and File/Storage Systems

  • Research Interests: The world's data is growing tremendously. My research group helps today's data storage systems meet high performance and reliability demands. Specifically, we (1) build reliable cloud storage that manages complex hardware failures, (2) redesign OS-level file systems to better support modern cloud software infrastructure, and (3) explore new storage technology architectures.

  • Students: Thanh Do, Tanakorn Leesatapornwongsa, Tiratat (Knot) Patana-anake, Riza Suminto, and more

  • Program Committee:
        2015: FAST, ASPLOS**,
        2014: SoCC, HotCloud, HPDC, MSST, INFLOW
        2013: SoCC, VLDB
        2012: VLDB, MSST, NAS
        2011-2010: PDSW, DBTest
        ** External Review Committee (ERC)

Academic Background



  1. (Full list with author names)
  2. SAMC: Semantic-Aware Model Checking for Fast Discovery of Deep Bugs in Cloud Systems [OSDI '14]
  3. Preventing Slow Performance Lock-up in Cloud Systems [Poster @ OSDI '14]
  4. What Bugs Live in the Cloud? A Study of 3000+ Issues in Cloud Systems [SoCC '14]
  5. The Case for Drill-Ready Cloud Computing [SoCC '14]
  6. Improving Multi-Tenant Storage Performance with I/O Sheltering [WIP and Poster @ FAST '14]
  7. The Case for Limpware-Tolerant Operating Systems [WIP @ SOSP '13]
  8. Limplock: Understanding the Impact of Limpware on Scale-Out Cloud Systems [SoCC '13]
  9. The Case for Limping-Hardware Tolerant Clouds [HotCloud '13]
  10. HARDFS: Hardening HDFS with Selective and Lightweight Versioning [FAST '13]
  11. Failure as a Service (FaaS): A Cloud Service for Large-Scale, Online Failure Drills [TR-UCB '11]
  12. PreFail: A Programmable Tool for Multiple-Failure Injection [OOPSLA '11]
  13. FATE and DESTINI: A Framework for Cloud Recovery Testing [NSDI '11] [TR]
  14. Towards Automatically Checking Thousands of Failures with Micro-specifications [HotDep '10]
  15. Impact of Disk Corruption on Open-Source DBMS [ICDE '10]
  16. Error Propagation Analysis for File Systems [PLDI '09]
  17. SQCK: A Declarative File System Checker [OSDI '08]
  18. EIO: Error Handling is Occasionally Correct [FAST '08]
  19. Improving File System Reliability with I/O Shepherding [SOSP '07]
  20. IRON File Systems [SOSP '05]
  21. Deconstructing Commodity Storage Clusters [ISCA '05]
  22. Deploying Safe User-Level Network Services with icTCP [OSDI '04]
  23. Transforming Policies into Mechanisms with Infokernel [SOSP '03]

Haryadi Gunawi Haryadi Gunawi Haryadi Gunawi ACM DDA 2009