Sotabase

Career

· Associate Professor, Department of Computer Science, University of Chicago2025–

Publications (80)

Lessons Learned from the Chameleon Testbed
USENIX Annual Technical Conference · 2020
324
cited
IRON file systems
Symposium on Operating Systems Principles · 2005
278
cited
What Bugs Live in the Cloud? A Study of 3000+ Issues in Cloud Systems
ACM Symposium on Cloud Computing · 2014
257
cited
Why Does the Cloud Stop Computing?: Lessons from Hundreds of Service Outages
ACM Symposium on Cloud Computing · 2016
236
cited
FATE and DESTINI: A Framework for Cloud Recovery Testing
Symposium on Networked Systems Design and Implementation · 2011
170
cited
TaxDC: A Taxonomy of Non-Deterministic Concurrency Bugs in Datacenter Distributed Systems
International Conference on Architectural Support for Programming Languages and Operating Systems · 2016
156
cited
SAMC: Semantic-Aware Model Checking for Fast Discovery of Deep Bugs in Cloud Systems
USENIX Symposium on Operating Systems Design and Implementation · 2014
150
cited
The CASE of FEMU: Cheap, Accurate, Scalable and Extensible Flash Emulator
USENIX Conference on File and Storage Technologies · 2018
148
cited
Tiny-Tail Flash
USENIX Conference on File and Storage Technologies · 2017
131
cited
The Tail at Store: A Revelation from Millions of Hours of Disk and SSD Deployments
USENIX Conference on File and Storage Technologies · 2016
121
cited
EIO: Error Handling is Occasionally Correct
USENIX Conference on File and Storage Technologies · 2008
110
cited
PREFAIL: a programmable tool for multiple-failure injection
Conference on Object-Oriented Programming Systems, Languages, and Applications · 2011
98
cited
Fail-Slow at Scale
USENIX Conference on File and Storage Technologies · 2018
95
cited
LinnOS: Predictability on Unpredictable Flash Storage with a Light Neural Network
USENIX Symposium on Operating Systems Design and Implementation · 2020
92
cited
Error propagation analysis for file systems
ACM-SIGPLAN Symposium on Programming Language Design and Implementation · 2009
87
cited
LeapIO: Efficient and Portable Virtual NVMe Storage on ARM SoCs
International Conference on Architectural Support for Programming Languages and Operating Systems · 2020
77
cited
SQCK: A Declarative File System Checker
USENIX Symposium on Operating Systems Design and Implementation · 2008
76
cited
MittOS: Supporting Millisecond Tail Tolerance with Fast Rejecting SLO-Aware OS Interface
Symposium on Operating Systems Principles · 2017
75
cited
Limplock: understanding the impact of limpware on scale-out cloud systems
ACM Symposium on Cloud Computing · 2013
74
cited
Transforming policies into mechanisms with infokernel
Symposium on Operating Systems Principles · 2003
72
cited
Sotabase
Haryadi Gunawi | Researcher Profile | Sotabase | Sotabase