UCARE Publications

Please click for slides

2023:

• Extending and Programming the NVMe I/O Determinism Interface for Flash Arrays
  In TOS '23, ACM Transactions on Storage
  Huaicheng Li, Martin L. Putra, Ronald Shi, Fadhil I. Kurnia, Xing Lin, Jaeyoung Do, Achmad Imam Kistijantoro, Gregory R. Ganger, and Haryadi S. Gunawi
  
  
• CNT: Semi-Automatic Translation from CWL to Nextflow for Genomic Workflows
  In BIBE '23, The IEEE International Conference on Bioinformatics and Bioengineering
  Martin L. Putra, In Kee Kim, Haryadi S. Gunawi, and Robert L. Grossman
  
  
• Design Considerations and Analysis of Multi-Level Erasure Coding in Large-Scale Data Centers
  In SC '23, The International Conference for High Performance Computing, Networking, Storage and Analysis
  Meng Wang, Jiajun Mao, Rajdeep Rana, John Bent, Serkay Olmez, Anjus George, Garrett Wilson Ransom, Jun Li, and Haryadi S. Gunawi
  doi: 10.1145/3581784.3607072
  
  
• Towards Continually Learning Application Performance Models
  In MLFS '23, Workshop on ML for Systems at NeurIPS
  Ray A. O. Sinurat, Anurag Daram, Haryadi S. Gunawi, Robert B. Ross, Sandeep Madireddy
  
  
• EVStore: Storage and Caching Capabilities for Scaling Embedding Tables in Deep Recommendation Systems
  In ASPLOS '23, Proceedings of the 28th ACM International Conference on Architectural Support for Programming Languages and Operating System
  Daniar H. Kurniawan, Ruipu Wang, Kahfi Zulkifli, Fandi Wiranata, John Bent, Ymir Vigfusson, Haryadi S. Gunawi
  doi: 10.1145/3575693.3575718
  
  

2022:

• Layered Contention Mitigation for Cloud Storage
  In CLOUD '22, IEEE 15th International Conference on Cloud Computing
  Meng Wang, Cesar A. Stuardo, Daniar Heri Kurniawan, Ray A. O. Sinurat, Haryadi S. Gunawi
  
  
• Fantastic SSD internals and how to learn and use them
  In SYSTOR '22, Proceedings of the 15th ACM International Conference on Systems and Storage
  Nanqinqin Li, Mingzhe Hao, Huaicheng Li, Xing Lin, Tim Emami, Haryadi S. Gunawi
  
  

2021:

• IODA: A Host/Device Co-Design for Strong Predictability Contract on Modern Flash Storage
  In SOSP '21, The 28th ACM SIGOPS Symposium on Operating Systems Principles
  Huaicheng Li, Martin L. Putra, Ronald Shi, Xing Lin, Gregory R. Ganger, Haryadi S. Gunawi
  
  
• Experiences in Managing the Performance and Reliability of a Large-Scale Genomics Cloud Platform
  In ATC '21, The Proceedings of 2021 USENIX Annual Technical Conference
  Michael Hao Tong, Robert L. Grossman, Haryadi S. Gunawi
  
  

2020:

• Fractional-Overlap Declustered Parity: Evaluating Reliability for Storage Systems
  In PDSW '20, The 5th International Parallel Data Systems Workshop, 2020
  Huan Ke, Haryadi S. Gunawi, Dominic Manno, David Bonnie, Brad Settlemyer
  
  
• LinnOS: Predictability on Unpredictable Flash Storage with a Light Neural Network
  In OSDI '20, the Proceedings of the 14th USENIX Symposium on Operating Systems Design and Implementation, 2020
  Mingzhe Hao, Levent Toksoz, Nanqinqin Li, Edward Edberg Halim, Henry Hoffmann, Haryadi S. Gunawi
  
  
• Extreme Protection against Data Loss with Single-Overlap Declustered Parity
  In DSN '20, the 50th IEEE/IFIP International Conference on Dependable Systems and Networks, 2020
  Huan Ke, Haryadi S. Gunawi, David Bonnie, Nathan DeBardeleben, Michael Grosskopf, Terry Grove, Dominic Manno, Elisabeth Moore, Brad Settlemyer
  
  
• LeapIO: Efficient and Portable Virtual NVMe Storage on ARM SoCs
  In ASPLOS '20, the Proceedings of the 25th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, 2020
  Huaicheng Li, Mingzhe Hao, Stanko Novakovic, Vaibhav Gogte, Sriram Govindan, Dan R. K. Ports, Irene Zhang, Ricardo Bianchini, Haryadi S. Gunawi, Anirudh Badam
  
  

2019:

• FlyMC: Highly Scalable Testing for Complex Interleavings in Distributed Systems
  In EuroSys '19, the Proceedings of the 14th edition of EuroSys, 2019
  Jeffrey F. Lukman, Huan Ke, Cesar A. Stuardo, Riza O. Suminto, Daniar H. Kurniawan, Dikaimin Simon, Satria Priambada, Chen Tian, Feng Ye, Tanakorn Leesatapornwongsa, Aarti Gupta, Shan Lu, Haryadi S. Gunawi
  
  
• ScaleCheck: A Single-Machine Approach for Discovering Scalability Bugs in Large Distributed Systems
  In FAST '19, the Proceedings of the 17th USENIX Conference on File and Storage Technologies, 2019
  Cesar A. Stuardo, Tanakorn Leesatapornwongsa, Riza O. Suminto, Huan Ke, Jeffrey F. Lukman, Wei-Chiu Chuang, Shan Lu, Haryadi S. Gunawi
  
  
Other collaborations:


• E2E: Embracing User Heterogeneity to Improve Quality of Experience on the Web
  In SIGCOMM '19, the Proceedings of ACM Special Interest Group on Data Communication, 2019
  Xu Zhang, Siddhartha Sen, Daniar H. Kurniawan, Haryadi S. Gunawi, Junchen Jiang
  
  
• IASO: A Fail-Slow Detection and Mitigation Framework for Distributed Storage Services
  In ATC '19, the Proceedings of 2019 USENIX Annual Technical Conference
  Biswaranjan Panda, Deepthi Srinivasan, Huan Ke, Karan Gupta, Vinayak Khot, Haryadi S. Gunawi
  
  
• DFix: Automatically Fixing Timing Bugs in Distributed Systems
  In PLDI '19, the Proceedings of 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2019
  Guangpu Li, Haopeng Liu, Xianglan Chen, Haryadi S. Gunawi, Shan Lu
  
  

2018:

• Fail-Slow at Scale: Evidence of Hardware Performance Faults in Large Production Systems
  In TOS '18, ACM Transactions on Storage, Volume 14, Issue #3, November 2018
  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, Gary Grider, Parks M. Fields, Kevin Harms, Robert B. Ross, Andree Jacobson, Robert Ricci, Kirk Webb, Peter Alvaro, H. Birali Runesha, Mingzhe Hao, Huaicheng Li
  
  
• Fail-Slow at Scale: Evidence of Hardware Performance Faults in Large Production Systems
  In FAST '18, the Proceedings of the 16th USENIX Conference on File and Storage Technologies, 2018
  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, Kevin Harms, Robert B. Ross, Andree Jacobson, Robert Ricci, Kirk Webb, Peter Alvaro, H. Birali Runesha, Mingzhe Hao, Huaicheng Li
  
  
• The CASE of FEMU: Cheap, Accurate, Scalable and Extensible Flash Emulator
  In FAST '18, the Proceedings of the 16th USENIX Conference on File and Storage Technologies, 2018
  Huaicheng Li, Mingzhe Hao, Michael Hao Tong, Swaminathan Sundararaman, Matias Bjørling, Haryadi S. Gunawi
  
  
Other collaborations:


• PCatch: Automatically Detecting Performance Cascading Bugs in Cloud Systems
  In EUROSYS '18, the Proceedings of the 2018 EuroSys Conference, 2018
  Jiaxin Li, Yuxi Chen, Haopeng Liu, Shan Lu, Yiming Zhang, Haryadi S. Gunawi, Xiaohui Gu, Dongsheng Li, Xicheng Lu
  
  
• StrongBox: Confidentiality, Integrity, and Performance using Stream Ciphers for Full Drive Encryption
  In ASPLOS '18, the Proceedings of the 23nd International Conference on Architectural Support for Programming Languages and Operating Systems, 2018
  Bernard Dickens III, Haryadi S. Gunawi, Ariel J Feldman, Henry Hoffmann
  
  
Posters:


• Machine Learning for Operating Systems: A Case of Using Deep Neural Network for OS-Level I/O Latency Prediction
  Poster at OSDI '18, the 13th USENIX Symposium on Operating Systems Design and Implementation, 2018
  Mingzhe Hao, Anqi Zhang, Adylan Roaffa, Andrew A. Chien, Henry Hoffmann, Haryadi S. Gunawi
  
  

2017:

• MittOS: Supporting Millisecond Tail Tolerance with Fast Rejecting SLO-Aware OS Interface
  In SOSP '17, the Proceedings of the 26th Symposium on Operating Systems Principles, 2017
  Mingzhe Hao, Huaicheng Li, Michael Hao Tong, Chrisma Pakha, Riza O. Suminto, Cesar A. Stuardo, Andrew A. Chien, Haryadi S. Gunawi
  
  
• Tiny-Tail Flash: Near-Perfect Elimination of Garbage Collection Tail Latencies in NAND SSDs
  In TOS '17, ACM Transactions on Storage, Volume 13, Issue #3, October 2017
  Shiqin Yan, Huaicheng Li, Mingzhe Hao, Michael Hao Tong, Swaminathan Sundararaman, Andrew A. Chien, Haryadi S. Gunawi
  
  
• PBSE: A Robust Path-Based Speculative Execution for Degraded-Network Tail Tolerance in Data-Parallel Frameworks
  In SoCC '17, the Proceedings of the 2017 Symposium on Cloud Computing
  Riza O. Suminto, Cesar A. Stuardo, Alexandra Clark, Huan Ke, Tanakorn Leesatapornwongsa, Bo Fu, Daniar H. Kurniawan, Vincentius Martin, Uma Maheswara Rao G., Haryadi S. Gunawi
  
  
• Scalability Bugs: When 100-Node Testing is Not Enough
  In HotOS '17, the Proceedings of the 16th Workshop on Hot Topics in Operating Systems, 2017
  Tanakorn Leesatapornwongsa, Cesar A. Stuardo, Riza O. Suminto, Huan Ke, Jeffrey F. Lukman, Haryadi S. Gunawi
  
  
• Tiny-Tail Flash: Near-Perfect Elimination of Garbage Collection Tail Latencies in NAND SSDs
  In FAST '17, the Proceedings of the 15th USENIX Conference on File and Storage Technologies, 2017
  Shiqin Yan, Huaicheng Li, Mingzhe Hao, Michael Hao Tong, Swaminathan Sundararaman, Andrew A. Chien, Haryadi S. Gunawi
  Best Paper Nominee
  
  
Other collaborations:


• DCatch: Automatically Detecting Distributed Concurrency Bugs in Cloud Systems
  In ASPLOS '17, the Proceedings of the 22nd International Conference on Architectural Support for Programming Languages and Operating Systems, 2017
  Haopeng Liu, Guangpu Li, Jeffrey F. Lukman, Jiaxin Li, Shan Lu, Haryadi S. Gunawi, Chen Tian
  
  
• Exploring the Challenges and Opportunities of Cloud Stacks in Dynamic Resource Environments
  In CIC '17, the Proceedings of the IEEE 3rd International Conference on Collaboration and Internet Computing, 2017
  Fan Yang and Haryadi S. Gunawi and Andrew A. Chien
  
  
  

2016:

• Why Does the Cloud Stop Computing? Lessons from Hundreds of Service Outages
  In SoCC '16, the Proceedings of the 6th ACM Symposium on Cloud Computing, 2016
  Haryadi S. Gunawi, Mingzhe Hao, Riza O. Suminto, Agung Laksono, Anang D. Satria, Jeffry Adityatama, Kurnia J. Eliazar
  
  
• The Tail at Store: A Revelation from Millions of Hours of Disk and SSD Deployments
  In FAST '16, the Proceedings of the 15th USENIX Conference on File and Storage Technologies, 2016
  Mingzhe Hao, Gokul Soundararajan, Deepak Kenchammana, Andrew A. Chien, and Haryadi S. Gunawi
  
  
• TaxDC: A Taxonomy of Non-Deterministic Concurrency Bugs in Datacenter Distributed Systems
  In ASPLOS '16, the Proceedings of the 21st International Conference on Architectural Support for Programming Languages and Operating Systems, 2016
  Tanakorn Leesatapornwongsa, Jeffrey F. Lukman, Shan Lu, and Haryadi S. Gunawi
  
  
• Manylogs: Improved CMR/SMR Disk Bandwidth and Faster Durability with Scattered Logs
  In MSST '16, the Proceedings of 32nd International Conference on Massive Storage Systems and Technology, 2016
  Tiratat Patana-anake, Vincentius Martin, Nora Sandler, Cheng Wu, Haryadi S. Gunawi
  
  
Posters:


• Tiny Tail Flash: Near-Perfect Elimination of Garbage Collection Tail Latencies in NAND SSDs
  Poster at OSDI '16, the 12th USENIX Symposium on Operating Systems Design and Implementation, 2016
  Shiqin Yan, Huaicheng Li, Mingzhe Hao, Hao Tong, Swaminathan Sundararaman, Andrew A. Chien, Haryadi S. Gunawi
  
  
• PBSE: Path-Based Speculative Execution for Robust Tail Tolerance in Data-Parallel Systems
  Poster at OSDI '16, the 12th USENIX Symposium on Operating Systems Design and Implementation, 2016
  Riza O. Suminto, Cesar Stuardo, Alexandra Clark, Huan Ke, Bo Fu, Tanakorn Leesatapornwongsa, Vincentius Martin, Daniar Kurniawan, Haryadi S. Gunawi
  
  
• SCk: Scale-Checking and Debugging Scalability Bugs on One Machine
  Poster at OSDI '16, the 12th USENIX Symposium on Operating Systems Design and Implementation, 2016
  Tanakorn Leesatapornwongsa, Cesar Stuardo, Huan Ke, Jeffrey F. Lukman, Riza O. Suminto, Daniar H. Kurniawan, Haryadi S. Gunawi
  
  

2015:

• Towards Pre-Deployment Detection of Performance Failures in Cloud Distributed Systems
  In HotCloud '15, the Proceedings of 7th USENIX Workshop on Hot Topics in Cloud Computing, 2015
  Riza O. Suminto, Agung Laksono, Anang D. Satria, Thanh Do, Haryadi S. Gunawi
  
  
• A Fast Model Checker for Finding Heisenbugs in Distributed Systems
  In ISSTA '15, the Proceedings of the 2015 International Symposium on Software Testing and Analysis
  Tanakorn Leesatapornwongsa, Haryadi S. Gunawi
  
  
• What Bugs Live in the Cloud?: A Study of Issues in Scalable Distributed Systems
  In ;login: August 2015, the USENIX Magazine on August 2015, Vol 40, No 4.
  Haryadi S. Gunawi, Thanh Do, Agung Laksono, Mingzhe Hao, Tanakorn Leesatapornwongsa, Jeffrey F. Lukman, and Riza O. Suminto
  
  

2014:

• SAMC: Semantic-Aware Model Checking for Fast Discovery of Deep Bugs in Cloud Systems
  In OSDI '14, the Proceedings of 11th USENIX Symposium on Operating Systems Design and Implementation, 2014
  Tanakorn Leesatapornwongsa, Mingzhe Hao, Pallavi Joshi, Jeffrey F. Lukman, Haryadi S. Gunawi
  
  
• What Bugs Live in the Cloud? A Study of 3000+ Issues in Cloud Systems
  In SoCC '14, the Proceedings of the ACM Symposium on Cloud Computing, 2014
  Haryadi S. Gunawi, Mingzhe Hao, Tanakorn Leesatapornwongsa, Tiratat Patana-anake, Thanh Do, Jeffry Adityama, Kurnia J. Eliazar, Agung Laksono, Jeffrey F. Lukman, Vincentius Martin, Anang D. Satria
  
  
• The Case for Drill-Ready Cloud Computing
  In SoCC '14, the Proceedings of the ACM Symposium on Cloud Computing, 2014
  Tanakorn Leesatapornwongsa, Haryadi S. Gunawi
  
  
Posters/WiPs:


• Finding Limplock Bugs in Scalable Cloud Systems
  Poster at OSDI '14, the 11th USENIX Symposium on Operating Systems Design and Implementation, 2014
  Riza O. Suminto, Thanh Do, Haryadi S. Gunawi
  
  
• Improving Multi-Tenant Storage Performance with I/O Sheltering
  WIP and Poster at FAST '14, the 12th USENIX Conference on File and Storage Technologies, 2014
  Tiratat Patana-anake, Chaofan Chen, Nora Sandler, Haryadi S. Gunawi
  
  

2013:

• Limplock: Understanding the Impact of Limpware on Scale-Out Cloud Systems
  In SoCC '13, the Proceedings of the 4th Annual Symposium on Cloud Computing, 2013
  Thanh Do, Mingzhe Hao, Tanakorn Leesatapornwongsa, Tiratat Patana-anake, Haryadi S. Gunawi
  
  
• HARDFS: Hardening HDFS with Selective and Lightweight Versioning
  In FAST '13, the Proceedings of the 4th Annual Symposium on Cloud Computing, 2013
  Thanh Do, Tyler Harter, Yingchao Liu, Haryadi S. Gunawi, Andrea C. Arpaci-Dusseau, Remzi H. Arpaci-Dusseau
  
  
• The Case for Limping-Hardware Tolerant Clouds
  In HotCloud '13, the Proceedings of the 5th Workshop on Hot Topics in Cloud Computing, 2013
  Thanh Do, Haryadi S. Gunawi
  
  
Posters/WiPs:


• The Case for Limpware-Tolerant Operating Systems
  WIP at SOSP '13, the 24th ACM Symposium on Operating Systems Principles, 2013
  Thanh Do, Haryadi S. Gunawi