Publications | Tanakorn Leesatapornwongsa

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

Cesar A. Stuardo, Tanakorn Leesatapornwongsa, Riza O. Suminto, Huan Ke, Jeffrey F. Lukman, Wei-Chiu Chuang, Shan Lu, Haryadi S. Gunawi (2019). ScaleCheck: A Single-Machine Approach for Discovering Scalability Bugs in Large Distributed Systems. In FAST.

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, Haryadi S. Gunawi (2019). FlyMC: Highly Scalable Testing of Complex Interleavings in Distributed Systems. In EuroSys.

Tanakorn Leesatapornwongsa, Cesar A. Stuardo, Riza O. Suminto, Huan Ke, Jeffrey F. Lukman, Haryadi S. Gunawi (2017). Scalability Bugs: When 100-Node Testing is Not Enough. In HotOS.

PDF

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 (2017). PBSE: A Robust Path-Based Speculative Execution for Degraded-Network Tail Tolerance in Data-Parallel Frameworks. In SoCC.

PDF Slides

Tanakorn Leesatapornwongsa, Jeffrey F. Lukman, Shan Lu, Haryadi S. Gunawi (2016). TaxDC: A Taxonomy of Concurrency Bugs in Datacenter Distributed Systems. In ASPLOS.

PDF Slides

Tanakorn Leesatapornwongsa, Haryadi S. Gunawi (2015). A Fast Model Checker for Finding Heisenbugs in Distributed Systems. In ISSTA.

PDF Slides

Tanakorn Leesatapornwongsa, Mingzhe Hao, Pallavi Joshi, Jeffrey F. Lukman, Haryadi S. Gunawi (2014). SAMC: Semantic-Aware Model Checking for Fast Discovery of Deep Bugs in Cloud Systems. In OSDI.

PDF Slides

Tanakorn Leesatapornwongsa, Haryadi S. Gunawi (2014). The Case for Drill-Ready Cloud Computing. In SoCC.

PDF Slides

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 (2014). What Bugs Live in the Cloud? A Study of 3000+ Issues in Cloud Systems. In SoCC.

PDF Slides

Thanh Do, Mingzhe Hao, Tanakorn Leesatapornwongsa, Tiratat Patana-anake, Haryadi S. Gunawi (2013). Limplock: Understanding the Impact of Limpware on Scale-Out Cloud Systems. In SoCC.

PDF Slides