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)

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)

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)

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)

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)

Transactuations: Where Transactions Meet the Physical World. - Tanakorn Leesatapornwongsa; Aritra Sengupta; Masoud Saeida Ardekani; Gustavo Petri; Cesar A. Stuardo (ACM Trans. Comput. Syst., 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)

Transactuations: Where Transactions Meet the Physical World. - Aritra Sengupta; Tanakorn Leesatapornwongsa; Masoud Saeida Ardekani; Cesar A. Stuardo (USENIX ATC, 2019)

FlakeRepro: automated and efficient reproduction of concurrency-related flaky tests. - Tanakorn Leesatapornwongsa; Xiang Ren 003; Suman Nath (ESEC/SIGSOFT FSE, 2022)

Efficient Reproduction of Fault-Induced Failures in Distributed Systems with Feedback-Driven Fault Injection. - Jia Pan; Haoze Wu; Tanakorn Leesatapornwongsa; Suman Nath; Peng Huang 005 (SOSP, 2024)

ReproCopilot: LLM-Driven Failure Reproduction with Dynamic Refinement. - Tanakorn Leesatapornwongsa; Fazle E. Faisal; Suman Nath (Proc. ACM Softw. Eng., 2025)