Transactuations: Where Transactions Meet the Physical World
Aritra Sengupta,
Tanakorn Leesatapornwongsa,
Masoud Saeida Ardekani,
Cesar A. Stuardo
In ATC, 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,
Haryadi S. Gunawi
In FAST, 2019.
FlyMC: Highly Scalable Testing of Complex Interleavings in Distributed Systems
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
In EuroSys, 2019.
Scalability Bugs: When 100-Node Testing is Not Enough
PDF
Tanakorn Leesatapornwongsa,
Cesar A. Stuardo,
Riza O. Suminto,
Huan Ke,
Jeffrey F. Lukman,
Haryadi S. Gunawi
In HotOS, 2017.
PBSE: A Robust Path-Based Speculative Execution for Degraded-Network Tail Tolerance in Data-Parallel Frameworks
PDF
Slides
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
In SoCC, 2017.
TaxDC: A Taxonomy of Concurrency Bugs in Datacenter Distributed Systems
PDF
Slides
Tanakorn Leesatapornwongsa,
Jeffrey F. Lukman,
Shan Lu,
Haryadi S. Gunawi
In ASPLOS, 2016.
A Fast Model Checker for Finding Heisenbugs in Distributed Systems
PDF
Slides
Tanakorn Leesatapornwongsa,
Haryadi S. Gunawi
In ISSTA, 2015.
SAMC: Semantic-Aware Model Checking for Fast Discovery of Deep Bugs in Cloud Systems
PDF
Slides
Tanakorn Leesatapornwongsa,
Mingzhe Hao,
Pallavi Joshi,
Jeffrey F. Lukman,
Haryadi S. Gunawi
In OSDI, 2014.
The Case for Drill-Ready Cloud Computing
PDF
Slides
Tanakorn Leesatapornwongsa,
Haryadi S. Gunawi
In SoCC, 2014.
What Bugs Live in the Cloud? A Study of 3000+ Issues in Cloud Systems
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
In SoCC, 2014.
Limplock: Understanding the Impact of Limpware on Scale-Out Cloud Systems
PDF
Slides
Thanh Do,
Mingzhe Hao,
Tanakorn Leesatapornwongsa,
Tiratat Patana-anake,
Haryadi S. Gunawi
In SoCC, 2013.