Travelled to:1 × Ireland
1 × United Kingdom
6 × USA
Collaborated with:R.H.Arpaci-Dusseau A.C.Arpaci-Dusseau J.F.Lukman S.Lu P.Joshi T.Leesatapornwongsa V.Prabhakaran Guangpu Li H.Liu K.Sen M.Hao A.Rajimwale Bernard Dickens III A.J.Feldman H.Hoffmann C.Rubio-González B.Liblit S.Krishnan Xianglan Chen L.N.Bairavasundaram N.Agrawal J.Li C.T.0002 N.C.Burnett T.E.Denehy T.J.Engle J.A.Nugent F.I.Popovici Huaicheng Li S.Novakovic Vaibhav Gogte S.Govindan D.R.K.Ports I.Zhang R.Bianchini A.Badam
Talks about:system (8) file (4) bug (4) distribut (3) concurr (2) automat (2) cloud (2) fix (2) determinist (1) infokernel (1)
Person: Haryadi S. Gunawi
DBLP: Gunawi:Haryadi_S=
Contributed to:
2014
2011
20092008
20072005200420032019
2016201720182020Wrote 13 papers:
- OSDI-2014-LeesatapornwongsaHJLG #debugging #model checking #named #performance #semantics
- SAMC: Semantic-Aware Model Checking for Fast Discovery of Deep Bugs in Cloud Systems (TL, MH, PJ, JFL, HSG), pp. 399–414.
- OOPSLA-2011-JoshiGS #injection #multi #named #programmable
- PREFAIL: a programmable tool for multiple-failure injection (PJ, HSG, KS), pp. 171–188.
- PLDI-2009-Rubio-GonzalezGLAA #analysis #fault #file system
- Error propagation analysis for file systems (CRG, HSG, BL, RHAD, ACAD), pp. 270–280.
- OSDI-2008-GunawiRAA #declarative #file system #named
- SQCK: A Declarative File System Checker (HSG, AR, ACAD, RHAD), pp. 131–146.
- SOSP-2007-GunawiPKAA #file system #reliability
- Improving file system reliability with I/O shepherding (HSG, VP, SK, ACAD, RHAD), pp. 293–306.
- SOSP-2005-PrabhakaranBAGAA #file system
- IRON file systems (VP, LNB, NA, HSG, ACAD, RHAD), pp. 206–220.
- OSDI-2004-GunawiAA #network
- Deploying Safe User-Level Network Services with icTCP (HSG, ACAD, RHAD), pp. 317–332.
- SOSP-2003-Arpaci-DusseauABDEGNP #kernel #policy
- Transforming policies into mechanisms with infokernel (ACAD, RHAD, NCB, TED, TJE, HSG, JAN, FIP), pp. 90–105.
- PLDI-2019-LiLCGL #automation #debugging #distributed #named
- DFix: automatically fixing timing bugs in distributed systems (GL, HL, XC, HSG, SL), pp. 994–1009.
- ASPLOS-2016-Leesatapornwongsa #concurrent #debugging #distributed #named #nondeterminism #taxonomy
- TaxDC: A Taxonomy of Non-Deterministic Concurrency Bugs in Datacenter Distributed Systems (TL, JFL, SL, HSG), pp. 517–530.
- ASPLOS-2017-LiuLLLLGT #automation #concurrent #debugging #detection #distributed #named
- DCatch: Automatically Detecting Distributed Concurrency Bugs in Cloud Systems (HL, GL, JFL, JL, SL, HSG, CT0), pp. 677–691.
- ASPLOS-2018-DickensGFH #encryption #named #performance #using
- StrongBox: Confidentiality, Integrity, and Performance using Stream Ciphers for Full Drive Encryption (BDI, HSG, AJF, HH), pp. 708–721.
- ASPLOS-2020-LiHNGGPZBGB #named #performance
- LeapIO: Efficient and Portable Virtual NVMe Storage on ARM SoCs (HL, MH, SN, VG, SG, DRKP, IZ, RB, HSG, AB), pp. 591–605.