Transforming policies into mechanisms with infokernel. - 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 (SOSP, 2003)

Deploying Safe User-Level Network Services with icTCP. - Haryadi S. Gunawi; Andrea C. Arpaci-Dusseau; Remzi H. Arpaci-Dusseau (OSDI, 2004)

Deconstructing Commodity Storage Clusters. - Haryadi S. Gunawi; Nitin Agrawal 001; Andrea C. Arpaci-Dusseau; Remzi H. Arpaci-Dusseau; Jiri Schindler (ISCA, 2005)

IRON file systems. - Vijayan Prabhakaran; Lakshmi N. Bairavasundaram; Nitin Agrawal 001; Haryadi S. Gunawi; Andrea C. Arpaci-Dusseau; Remzi H. Arpaci-Dusseau (SOSP, 2005)

Improving file system reliability with I/O shepherding. - Haryadi S. Gunawi; Vijayan Prabhakaran; Swetha Krishnan; Andrea C. Arpaci-Dusseau; Remzi H. Arpaci-Dusseau (SOSP, 2007)

EIO: Error Handling is Occasionally Correct. - Haryadi S. Gunawi; Cindy Rubio-González; Andrea C. Arpaci-Dusseau; Remzi H. Arpaci-Dusseau; Ben Liblit (FAST, 2008)

SQCK: A Declarative File System Checker. - Haryadi S. Gunawi; Abhishek Rajimwale; Andrea C. Arpaci-Dusseau; Remzi H. Arpaci-Dusseau (OSDI, 2008)

Error propagation analysis for file systems. - Cindy Rubio-González; Haryadi S. Gunawi; Ben Liblit; Remzi H. Arpaci-Dusseau; Andrea C. Arpaci-Dusseau (PLDI, 2009)

Towards Automatically Checking Thousands of Failures with Micro-specifications. - Haryadi S. Gunawi; Thanh Do; Pallavi Joshi; Joseph M. Hellerstein; Andrea C. Arpaci-Dusseau; Remzi H. Arpaci-Dusseau; Koushik Sen (HotDep, 2010)

Impact of disk corruption on open-source DBMS. - Sriram Subramanian; Yupu Zhang; Rajiv Vaidyanathan; Haryadi S. Gunawi; Andrea C. Arpaci-Dusseau; Remzi H. Arpaci-Dusseau; Jeffrey F. Naughton (ICDE, 2010)

FATE and DESTINI: A Framework for Cloud Recovery Testing. - Haryadi S. Gunawi; Thanh Do; Pallavi Joshi; Peter Alvaro; Joseph M. Hellerstein; Andrea C. Arpaci-Dusseau; Remzi H. Arpaci-Dusseau; Koushik Sen; Dhruba Borthakur (NSDI, 2011)

PREFAIL: a programmable tool for multiple-failure injection. - Pallavi Joshi; Haryadi S. Gunawi; Koushik Sen (OOPSLA, 2011)

Limplock: understanding the impact of limpware on scale-out cloud systems. - Thanh Do; Mingzhe Hao; Tanakorn Leesatapornwongsa; Tiratat Patana-anake; Haryadi S. Gunawi (SoCC, 2013)

HARDFS: hardening HDFS with selective and lightweight versioning. - Thanh Do; Tyler Harter; Yingchao Liu; Haryadi S. Gunawi; Andrea C. Arpaci-Dusseau; Remzi H. Arpaci-Dusseau (FAST, 2013)

The Case for Limping-Hardware Tolerant Clouds. - Thanh Do; Haryadi S. Gunawi (HotCloud, 2013)

Impact of Limpware on HDFS: A Probabilistic Estimation. - Thanh Do; Haryadi S. Gunawi (CoRR, 2013)

What Bugs Live in the Cloud? A Study of 3000+ Issues in Cloud Systems. - Haryadi S. Gunawi; Mingzhe Hao; Tanakorn Leesatapornwongsa; Tiratat Patana-anake; Thanh Do; Jeffry Adityatama; Kurnia J. Eliazar; Agung Laksono; Jeffrey F. Lukman; Vincentius Martin; Anang D. Satria (SoCC, 2014)

The Case for Drill-Ready Cloud Computing. - Tanakorn Leesatapornwongsa; Haryadi S. Gunawi (SoCC, 2014)

SAMC: Semantic-Aware Model Checking for Fast Discovery of Deep Bugs in Cloud Systems. - Tanakorn Leesatapornwongsa; Mingzhe Hao; Pallavi Joshi; Jeffrey F. Lukman; Haryadi S. Gunawi (OSDI, 2014)

Towards Pre-Deployment Detection of Performance Failures in Cloud Distributed Systems. - Riza O. Suminto; Agung Laksono; Anang D. Satria; Thanh Do; Haryadi S. Gunawi (HotCloud, 2015)

SAMC: a fast model checker for finding heisenbugs in distributed systems (demo). - Tanakorn Leesatapornwongsa; Haryadi S. Gunawi (ISSTA, 2015)

What Bugs Live in the Cloud?: A Study of Issues in Scalable Distributed Systems. - Haryadi S. Gunawi; Thanh Do; Agung Laksono; Mingzhe Hao; Tanakorn Leesatapornwongsa; Jeffrey F. Lukman; Riza O. Suminto (login Usenix Mag., 2015)

TaxDC: A Taxonomy of Non-Deterministic Concurrency Bugs in Datacenter Distributed Systems. - Tanakorn Leesatapornwongsa; Jeffrey F. Lukman; Shan Lu 001; Haryadi S. Gunawi (ASPLOS, 2016)

Why Does the Cloud Stop Computing? Lessons from Hundreds of Service Outages. - Haryadi S. Gunawi; Mingzhe Hao; Riza O. Suminto; Agung Laksono; Anang D. Satria; Jeffry Adityatama; Kurnia J. Eliazar (SoCC, 2016)

The Tail at Store: A Revelation from Millions of Hours of Disk and SSD Deployments. - Mingzhe Hao; Gokul Soundararajan; Deepak R. Kenchammana-Hosekote; Andrew A. Chien; Haryadi S. Gunawi (FAST, 2016)

Manylogs: Improved CMR/SMR disk bandwidth and faster durability with scattered logs. - Tiratat Patana-anake; Vincentius Martin; Nora Sandler; Cheng Wu; Haryadi S. Gunawi (MSST, 2016)

DCatch: Automatically Detecting Distributed Concurrency Bugs in Cloud Systems. - Haopeng Liu; Guangpu Li; Jeffrey F. Lukman; Jiaxin Li; Shan Lu 001; Haryadi S. Gunawi; Chen Tian 002 (ASPLOS, 2017)

PBSE: a robust path-based speculative execution for degraded-network tail tolerance in data-parallel frameworks. - Riza O. Suminto; Cesar A. Stuardo; Alexandra Clark; Huan Ke; Tanakorn Leesatapornwongsa; Bo Fu; Daniar Heri Kurniawan; Vincentius Martin; Maheswara Rao G. Uma; Haryadi S. Gunawi (SoCC, 2017)

Resilient cloud in dynamic resource environments. - Fan Yang 015; Andrew A. Chien; Haryadi S. Gunawi (SoCC, 2017)

Exploring the Challenges and Opportunities of Cloud Stacks in Dynamic Resource Environments. - Fan Yang 015; Haryadi S. Gunawi; Andrew A. Chien (CIC, 2017)

Scalability Bugs: When 100-Node Testing is Not Enough. - Tanakorn Leesatapornwongsa; Cesar A. Stuardo; Riza O. Suminto; Huan Ke; Jeffrey F. Lukman; Haryadi S. Gunawi (HotOS, 2017)

MittOS: Supporting Millisecond Tail Tolerance with Fast Rejecting SLO-Aware OS Interface. - Mingzhe Hao; Huaicheng Li; Michael Hao Tong; Chrisma Pakha; Riza O. Suminto; Cesar A. Stuardo; Andrew A. Chien; Haryadi S. Gunawi (SOSP, 2017)

Tiny-Tail Flash: Near-Perfect Elimination of Garbage Collection Tail Latencies in NAND SSDs. - Shiqin Yan; Huaicheng Li; Mingzhe Hao; Michael Hao Tong; Swaminathan Sundararaman; Andrew A. Chien; Haryadi S. Gunawi (ACM Trans. Storage, 2017)

StrongBox: Confidentiality, Integrity, and Performance using Stream Ciphers for Full Drive Encryption. - Bernard Dickens III; Haryadi S. Gunawi; Ariel J. Feldman; Henry Hoffmann (ASPLOS, 2018)

Pcatch: automatically detecting performance cascading bugs in cloud systems. - Jiaxin Li; Yuxi Chen; Haopeng Liu; Shan Lu 001; Yiming Zhang 003; Haryadi S. Gunawi; Xiaohui Gu; Xicheng Lu; Dongsheng Li 001 (EuroSys, 2018)

Fail-Slow at Scale: Evidence of Hardware Performance Faults in Large Production Systems. - Haryadi S. Gunawi; Riza O. Suminto; Russell Sears; Casey Golliher; Swaminathan Sundararaman; Xing Lin; Tim Emami; Weiguang Sheng; Nematollah Bidokhti; Caitie McCaffrey; Gary Grider; Parks M. Fields; et al. (FAST, 2018)

The CASE of FEMU: Cheap, Accurate, Scalable and Extensible Flash Emulator. - Huaicheng Li; Mingzhe Hao; Michael Hao Tong; Swaminathan Sundararaman; Matias Bjørling; Haryadi S. Gunawi (FAST, 2018)

Fail-Slow at Scale: Evidence of Hardware Performance Faults in Large Production Systems. - Haryadi S. Gunawi; Riza O. Suminto; Russell Sears; Casey Golliher; Swaminathan Sundararaman; Xing Lin; Tim Emami; Weiguang Sheng; Nematollah Bidokhti; Caitie McCaffrey; Deepthi Srinivasan; Biswaranjan Panda; et al. (ACM Trans. Storage, 2018)

Fail-Slow at Scale: Evidence of Hardware Performance Faults in Large Production Systems. - Haryadi S. Gunawi; Riza O. Suminto; Russell Sears; Swaminathan Sundararaman; Xing Lin; Robert Ricci (login Usenix Mag., 2018)

FlyMC: Highly Scalable Testing of Complex Interleavings in Distributed Systems. - Jeffrey F. Lukman; Huan Ke; Cesar A. Stuardo; Riza O. Suminto; Daniar Heri Kurniawan; Dikaimin Simon; Satria Priambada; Chen Tian 002; Feng Ye; Tanakorn Leesatapornwongsa; Aarti Gupta; Shan Lu 001; et al. (EuroSys, 2019)

ScaleCheck: A Single-Machine Approach for Discovering Scalability Bugs in Large Distributed Systems. - Cesar A. Stuardo; Tanakorn Leesatapornwongsa; Riza O. Suminto; Huan Ke; Jeffrey F. Lukman; Wei-Chiu Chuang; Shan Lu 001; Haryadi S. Gunawi (FAST, 2019)

DFix: automatically fixing timing bugs in distributed systems. - Guangpu Li; Haopeng Liu; Xianglan Chen; Haryadi S. Gunawi; Shan Lu 001 (PLDI, 2019)

E2E: embracing user heterogeneity to improve quality of experience on the web. - Xu Zhang; Siddhartha Sen 001; Daniar Heri Kurniawan; Haryadi S. Gunawi; Junchen Jiang (SIGCOMM, 2019)

IASO: A Fail-Slow Detection and Mitigation Framework for Distributed Storage Services. - Biswaranjan Panda; Deepthi Srinivasan; Huan Ke; Karan Gupta; Vinayak Khot; Haryadi S. Gunawi (USENIX ATC, 2019)

Introduction to the Special Section on the 2018 USENIX Annual Technical Conference (ATC'18). - Haryadi S. Gunawi; Benjamin C. Reed (ACM Trans. Storage, 2019)

LeapIO: Efficient and Portable Virtual NVMe Storage on ARM SoCs. - Huaicheng Li; Mingzhe Hao; Stanko Novakovic; Vaibhav Gogte; Sriram Govindan; Dan R. K. Ports; Irene Zhang; Ricardo Bianchini; Haryadi S. Gunawi; Anirudh Badam (ASPLOS, 2020)

Extreme Protection Against Data Loss with Single-Overlap Declustered Parity. - Huan Ke; Haryadi S. Gunawi; David Bonnie; Nathan DeBardeleben; Michael Grosskopf; Terry Grové; Dominic Manno; Elisabeth Moore; Brad Settlemyer (DSN, 2020)

LinnOS: Predictability on Unpredictable Flash Storage with a Light Neural Network. - Mingzhe Hao; Levent Toksoz; Nanqinqin Li; Edward Edberg Halim; Henry Hoffmann; Haryadi S. Gunawi (OSDI, 2020)

Fractional-Overlap Declustered Parity: Evaluating Reliability for Storage Systems. - Huan Ke; Haryadi S. Gunawi; Dominic Manno; David Bonnie; Bradley W. Settlemyer (PDSW@SC, 2020)

Lessons Learned from the Chameleon Testbed. - Kate Keahey; Jason Anderson; Zhuo Zhen; Pierre Riteau; Paul Ruth; Dan Stanzione; Mert Cevik; Jacob Colleran; Haryadi S. Gunawi; Cody Hammock; Joe Mambretti; Alexander Barnes; et al. (USENIX ATC, 2020)

lODA: A Host/Device Co-Design for Strong Predictability Contract on Modern Flash Storage. - Huaicheng Li; Martin L. Putra; Ronald Shi; Xing Lin; Gregory R. Ganger; Haryadi S. Gunawi (SOSP, 2021)

Experiences in Managing the Performance and Reliability of a Large-Scale Genomics Cloud Platform. - Michael Hao Tong; Robert L. Grossman; Haryadi S. Gunawi (USENIX ATC, 2021)

Layered Contention Mitigation for Cloud Storage. - Meng Wang 056; Cesar A. Stuardo; Daniar Heri Kurniawan; Ray A. O. Sinurat; Haryadi S. Gunawi (CLOUD, 2022)

Fantastic SSD internals and how to learn and use them. - Nanqinqin Li; Mingzhe Hao; Huaicheng Li; Xing Lin; Tim Emami; Haryadi S. Gunawi (SYSTOR, 2022)

EVStore: Storage and Caching Capabilities for Scaling Embedding Tables in Deep Recommendation Systems. - Daniar Heri Kurniawan; Ruipu Wang; Kahfi S. Zulkifli; Fandi A. Wiranata; John Bent; Ymir Vigfusson; Haryadi S. Gunawi (ASPLOS (2), 2023)

CNT: Semi-Automatic Translation from CWL to Nextflow for Genomic Workflows. - Martin L. Putra; In Kee Kim; Haryadi S. Gunawi; Robert L. Grossman (BIBE, 2023)

RHIK: Re-configurable Hash-based Indexing for KVSSD. - Manoj Pravakar Saha; Bryan S. Kim; Haryadi S. Gunawi; Janki Bhimani (HPDC, 2023)

Design Considerations and Analysis of Multi-Level Erasure Coding in Large-Scale Data Centers. - Meng Wang 056; Jiajun Mao; Rajdeep Rana; John Bent; Serkay Olmez; Anjus George; Garrett Wilson Ransom; Jun Li 017; Haryadi S. Gunawi (SC, 2023)

Towards Continually Learning Application Performance Models. - Ray A. O. Sinurat; Anurag Reddy Daram; Haryadi S. Gunawi; Robert B. Ross; Sandeep Madireddy (CoRR, 2023)

Extending and Programming the NVMe I/O Determinism Interface for Flash Arrays. - Huaicheng Li; Martin L. Putra; Ronald Shi; Fadhil I. Kurnia; Xing Lin; Jaeyoung Do; Achmad Imam Kistijantoro; Gregory R. Ganger; Haryadi S. Gunawi (ACM Trans. Storage, 2023)

Performance Bug Analysis and Detection for Distributed Storage and Computing Systems. - Jiaxin Li; Yiming Zhang 003; Shan Lu 001; Haryadi S. Gunawi; Xiaohui Gu; Feng Huang; Dongsheng Li 001 (ACM Trans. Storage, 2023)

Concierge: Towards Accuracy-Driven Bandwidth Allocation for Video Analytics Applications in Edge Network. - Yuyang Huang; Faishal Zharfan; Hendrawan Hendrawan; Haryadi S. Gunawi; Junchen Jiang (EDGE, 2024)

Heimdall: Optimizing Storage I/O Admission with Extensive Machine Learning Pipeline. - Daniar Heri Kurniawan; Rani Ayu Putri; Peiran Qin; Kahfi S. Zulkifli; Ray A. O. Sinurat; Janki Bhimani; Sandeep Madireddy; Achmad Imam Kistijantoro; Haryadi S. Gunawi (EuroSys, 2025)

GPEmu: A GPU Emulator for Faster and Cheaper Prototyping and Evaluation of Deep Learning System Research. - Meng Wang 056; Gus Waldspurger; Naufal Ananda; Yuyang Huang; Kemas Wiharja; John Bent; Swaminathan Sundararaman; Vijay Chidambaram; Haryadi S. Gunawi (Proc. VLDB Endow., 2025)

Alchemist: Towards the Design of Efficient Online Continual Learning System. - Yuyang Huang; Yuhan Liu; Haryadi S. Gunawi; Beibin Li; Changho Hwang (CoRR, 2025)