Haryadi 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] I am currently recruiting graduate students and uchicago undergrads. Please contact me if you are interested in my research projects.

Research

• 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

• Postdoctoral Fellow, UC Berkeley, 2010-2012
      Computing Innovation Fellow
      CI Mentor: Joe Hellerstein
  
  
• Ph.D., Univ. of Wisconsin-Madison, 2009
      Dissertation: "Towards Reliable Storage Systems"
      Awarded the 2009 ACM Doctoral Dissertation Award Honorable Mention and departmental best thesis award
      Advisors: Andrea C. Arpaci-Dusseau and Remzi H. Arpaci-Dusseau

Teaching

- CMSC 230, Operating Systems, Autumn 2014 (Waitlist)
- CMSC 154, Introduction to Computer Systems (154 FAQs)
- CMSC 331, Advanced Operating Systems, Winter 2014
- CMSC 230, Operating Systems, Autumn 2013 (Waiver)
- CMSC 332, Topics in Operating Systems, Spring 2013
- CMSC 331, Advanced Operating Systems, Winter 2013
- CMSC 230, Operating Systems, Autumn 2012

Publications

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