BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Gunawi:Haryadi_S=

Contributed to:

OSDI 20142014
OOPSLA 20112011
PLDI 20092009
OSDI 20082008
SOSP 20072007
SOSP 20052005
OSDI 20042004
SOSP 20032003
PLDI 20192019
ASPLOS 20162016
ASPLOS 20172017
ASPLOS 20182018
ASPLOS 20202020

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.