Tanakorn Leesatapornwongsa

17 papers A* 3A 4Journal 4Unranked 6
YearRankTypeTitle / Venue / Authors
2026 J jnl
ActionEngine: From Reactive to Programmatic GUI Agents via State Machine Memory.
CoRR
Hongbin Zhong, Fazle Elahi Faisal, Luis França, Tanakorn Leesatapornwongsa, Adriana Szekeres, Kexin Rong, Suman Nath
2025 J jnl
ReproCopilot: LLM-Driven Failure Reproduction with Dynamic Refinement.
Proc. ACM Softw. Eng.
Tanakorn Leesatapornwongsa, Fazle Elahi Faisal, Suman Nath
2024 A* conf
Efficient Reproduction of Fault-Induced Failures in Distributed Systems with Feedback-Driven Fault Injection.
SOSP
Jia Pan, Haoze Wu, Tanakorn Leesatapornwongsa, Suman Nath, Peng Huang
2022 — conf
FlakeRepro: automated and efficient reproduction of concurrency-related flaky tests.
ESEC/SIGSOFT FSE
Tanakorn Leesatapornwongsa, Xiang Ren, Suman Nath
2019 A conf
FlyMC: Highly Scalable Testing of Complex Interleavings in Distributed Systems.
EuroSys
Jeffrey F. Lukman, Huan Ke, Cesar A. Stuardo, Riza O. Suminto, Daniar Heri Kurniawan, Dikaimin Simon, Satria Priambada, Chen Tian, Feng Ye, Tanakorn Leesatapornwongsa, Aarti Gupta, Shan Lu, Haryadi S. Gunawi
2019 A conf
ScaleCheck: A Single-Machine Approach for Discovering Scalability Bugs in Large Distributed Systems.
FAST
Cesar A. Stuardo, Tanakorn Leesatapornwongsa, Riza O. Suminto, Huan Ke, Jeffrey F. Lukman, Wei-Chiu Chuang, Shan Lu, Haryadi S. Gunawi
2019 — conf
Transactuations: Where Transactions Meet the Physical World.
USENIX ATC
Aritra Sengupta, Tanakorn Leesatapornwongsa, Masoud Saeida Ardekani, Cesar A. Stuardo
2018 J jnl
Transactuations: Where Transactions Meet the Physical World.
ACM Trans. Comput. Syst.
Tanakorn Leesatapornwongsa, Aritra Sengupta, Masoud Saeida Ardekani, Gustavo Petri, Cesar A. Stuardo
2017 — conf
PBSE: a robust path-based speculative execution for degraded-network tail tolerance in data-parallel frameworks.
SoCC
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
2017 A conf
Scalability Bugs: When 100-Node Testing is Not Enough.
HotOS
Tanakorn Leesatapornwongsa, Cesar A. Stuardo, Riza O. Suminto, Huan Ke, Jeffrey F. Lukman, Haryadi S. Gunawi
2016 A* conf
TaxDC: A Taxonomy of Non-Deterministic Concurrency Bugs in Datacenter Distributed Systems.
ASPLOS
Tanakorn Leesatapornwongsa, Jeffrey F. Lukman, Shan Lu, Haryadi S. Gunawi
2015 A conf
SAMC: a fast model checker for finding heisenbugs in distributed systems (demo).
ISSTA
Tanakorn Leesatapornwongsa, Haryadi S. Gunawi
2015 J jnl
What Bugs Live in the Cloud?: A Study of Issues in Scalable Distributed Systems.
login Usenix Mag.
Haryadi S. Gunawi, Thanh Do, Agung Laksono, Mingzhe Hao, Tanakorn Leesatapornwongsa, Jeffrey F. Lukman, Riza O. Suminto
2014 A* conf
SAMC: Semantic-Aware Model Checking for Fast Discovery of Deep Bugs in Cloud Systems.
OSDI
Tanakorn Leesatapornwongsa, Mingzhe Hao, Pallavi Joshi, Jeffrey F. Lukman, Haryadi S. Gunawi
2014 — conf
The Case for Drill-Ready Cloud Computing.
SoCC
Tanakorn Leesatapornwongsa, Haryadi S. Gunawi
2014 — conf
What Bugs Live in the Cloud? A Study of 3000+ Issues in Cloud Systems.
SoCC
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
2013 — conf
Limplock: understanding the impact of limpware on scale-out cloud systems.
SoCC
Thanh Do, Mingzhe Hao, Tanakorn Leesatapornwongsa, Tiratat Patana-anake, Haryadi S. Gunawi