Haryadi S. Gunawi: Job Application Materials

Main Documents:

• Curriculum Vitae

• Research Statement (3 pages), or (2-page version)

• Teaching Statement

Extra Documents:

• Cover letter

• Referees Contact Information

• Brief Paper Summaries

• Dissertation (pdf)

• (All documents in one pdf)

Grants:

• DARE Project: Declarative and scAlable REcovery
  Funded $470,000 from 2010-2013
  I was the lead author on the proposal and I am currently leading the project
  Project website: http://cloudfail.cs.berkeley.edu
  
  
• Computing Innovation Fellow (Class of 2010)
  Funded $267,500 from 2010-2012
  

Three Selected Representative Publications:

1. Improving File System Reliability with I/O Shepherding [summary]
   Haryadi S. Gunawi, Vijayan Prabhakaran, Swetha Krishnan, Andrea C. Arpaci-Dusseau, Remzi H. Arpaci-Dusseau
   Conference: SOSP '07

2. SQCK: A Declarative File System Checker [summary]
   Haryadi S. Gunawi, Abhishek Rajimwale, Andrea C. Arpaci-Dusseau, Remzi H. Arpaci-Dusseau
   Conference: OSDI '08

3. FATE and DESTINI: A Framework for Cloud Recovery Testing [summary]
   Haryadi S. Gunawi, Thanh Do, Pallavi Joshi, Peter Alvaro, Joseph M. Hellerstein, Andrea C. Arpaci-Dusseau, Remzi H. Arpaci-Dusseau, Koushik Sen, Dhruba Borthakur
   Conference: NSDI '11
   
   

   More Representative Publications (Lead Role or Full Advising Role):

4. PreFail: A Programmable Tool for Multiple-Failure Injection [summary]
   Pallavi Joshi, Haryadi S. Gunawi, Koushik Sen
   Conference: OOPSLA '11

5. Towards Automatically Checking Thousands of Failures with Micro-specifications [summary]
   Haryadi S. Gunawi, Thanh Do, Pallavi Joshi, Joseph M. Hellerstein, Andrea C. Arpaci-Dusseau, Remzi H. Arpaci-Dusseau, Koushik Sen
   Worskhop: HotDep '10

6. Impact of Disk Corruption on Open-Source DBMS [summary]
   Sriram Subramanian, Yupu Zhang, Rajiv Vaidyanathan, Haryadi S. Gunawi, Andrea C. Arpaci-Dusseau, Remzi H. Arpaci-Dusseau, Jeffrey F. Naughton
   Conference: ICDE '10

7. Error Propagation Analysis for File Systems [summary]
   Cindy Rubio-Gonzalez, Haryadi S. Gunawi, Ben Liblit, Andrea C. Arpaci-Dusseau, Remzi H. Arpaci-Dusseau
   Conference: PLDI '09

8. EIO: Error Handling is Occasionally Correct [summary]
   Haryadi S. Gunawi, Cindy Rubio-Gonzalez, Andrea C. Arpaci-Dusseau, Remzi H. Arpaci-Dusseau, Ben Liblit
   Conference: FAST '08

9. Deconstructing Commodity Storage Clusters [summary]
   Haryadi S. Gunawi, Nitin Agrawal, Andrea C. Arpaci-Dusseau, Remzi H. Arpaci-Dusseau, Jiri Schindler
   Conference: ISCA '05

10. Deploying Safe User-Level Network Services with icTCP [summary]
    Haryadi S. Gunawi, Andrea C. Arpaci-Dusseau, Remzi H. Arpaci-Dusseau
    Conference: OSDI '04
    
    

    (Technical Reports)

11. Failure as a Service (FaaS): A Cloud Service for Large-Scale, Online Failure Drills
    Haryadi S. Gunawi, Thanh Do, Joseph M. Hellerstein, Ion Stoica, Dhruba Borthakur, Jesse Robbins
    Tech Report: TR-UCB '11

12. Improving File System Reliability and Availability with Continuous Checker and Repair
    Haryadi S. Gunawi
    Tech Report: TR-UCB '11

13. Verifying File System Properties with Type Inference
    Haryadi S. Gunawi, Swetha Krishnan
    Tech Report: TR-UW '07
    
    

    (In Progress)

14. Enabling Cloud Storage Systems for Performing Safe, Large-Scale, In-Production Failure Drills [summary]
    Haryadi S. Gunawi, Thanh Do, Joseph M. Hellerstein

15. Scalable Policy-Driven Model Checking for Distributed Systems [summary]
    Pallavi Joshi, Haryadi S. Gunawi, Koushik Sen

16. Hardening Cloud Storage Systems against Memory Corruptions [summary]
    Thanh Do, Haryadi S. Gunawi, Andrea C. Arpaci-Dusseau, Remzi H. Arpaci-Dusseau.
    
    

    Additional Publications (Contributor Role):

17. IRON File Systems [summary]
    Vijayan Prabhakaran, Lakshmi N. Bairavasundaram, Nitin Agrawal, Haryadi S. Gunawi, Andrea C. Arpaci-Dusseau, Remzi H. Arpaci-Dusseau
    Conference: SOSP '05

18. Transforming Policies into Mechanisms with Infokernel [summary]
    Andrea C. Arpaci-Dusseau, Remzi H. Arpaci-Dusseau, Nathan C. Burnett, Timothy E. Denehy, Thomas J. Engle, Haryadi S. Gunawi, James A. Nugent, Florentina I. Popovici
    Conference: SOSP '03