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)

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)

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)

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)

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)

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)