Tanakorn Leesatapornwongsa
Tanakorn Leesatapornwongsa
Verified email at cs.uchicago.edu - Homepage
Title
Cited by
Cited by
Year
What bugs live in the cloud? a study of 3000+ issues in cloud systems
HS Gunawi, M Hao, T Leesatapornwongsa, T Patana-anake, T Do, ...
Proceedings of the ACM Symposium on Cloud Computing, 1-14, 2014
189*2014
SAMC: Semantic-Aware Model Checking for Fast Discovery of Deep Bugs in Cloud Systems
T Leesatapornwongsa, M Hao, P Joshi, JF Lukman, HS Gunawi
11th USENIX Symposium on Operating Systems Design and Implementation ({OSDI …, 2014
1092014
TaxDC: A taxonomy of non-deterministic concurrency bugs in datacenter distributed systems
T Leesatapornwongsa, JF Lukman, S Lu, HS Gunawi
Proceedings of the Twenty-First International Conference on Architectural …, 2016
922016
Limplock: Understanding the impact of limpware on scale-out cloud systems
T Do, M Hao, T Leesatapornwongsa, T Patana-anake, HS Gunawi
Proceedings of the 4th annual Symposium on Cloud Computing, 1-14, 2013
682013
The case for drill-ready cloud computing
T Leesatapornwongsa, HS Gunawi
Proceedings of the ACM Symposium on Cloud Computing, 1-8, 2014
172014
Flymc: Highly scalable testing of complex interleavings in distributed systems
JF Lukman, H Ke, CA Stuardo, RO Suminto, DH Kurniawan, D Simon, ...
Proceedings of the Fourteenth EuroSys Conference 2019, 1-16, 2019
162019
PBSE: A Robust Path-Based Speculative Execution for Degraded-Network Tail Tolerance in Data-Parallel Frameworks
RO Suminto, CA Stuardo, A Clark, H Ke, T Leesatapornwongsa, B Fu, ...
Proceedings of the 8th ACM Symposium on Cloud Computing (SoCC), 2017
152017
Scalability bugs: When 100-node testing is not enough
T Leesatapornwongsa, CA Stuardo, RO Suminto, H Ke, JF Lukman, ...
Proceedings of the 16th Workshop on Hot Topics in Operating Systems, 24-29, 2017
112017
Scalecheck: a single-machine approach for discovering scalability bugs in large distributed systems
CA Stuardo, T Leesatapornwongsa, RO Suminto, H Ke, JF Lukman, ...
17th {USENIX} Conference on File and Storage Technologies ({FAST} 19), 359-373, 2019
52019
SAMC: a fast model checker for finding heisenbugs in distributed systems
T Leesatapornwongsa, HS Gunawi
Proceedings of the 2015 International Symposium on Software Testing and …, 2015
52015
What bugs live in the cloud
HS Gunawi, T Do, A Laksono, TLM Hao, JF Lukman, RO Suminto
A Study of 3000, 289-301, 0
5
Transactuations: where transactions meet the physical world
A Sengupta, T Leesatapornwongsa, MS Ardekani, CA Stuardo
2019 {USENIX} Annual Technical Conference ({USENIX}{ATC} 19), 91-106, 2019
42019
Transactuations: Where transactions meet the physical world
T Leesatapornwongsa*, A Sengupta, MS Ardekani, G Petri, CA Stuardo
ACM Transactions on Computer Systems (TOCS) 36 (4), 1-31, 2020
12020
Unearthing Concurrency and Scalability Bugs in Cloud-Scale Distributed Systems
T Leesatapornwongsa
The University of Chicago, 2017
2017
THE UNIVERSITY OF CHICAGO
T LEESATAPORNWONGSA
2014
The system can't perform the operation now. Try again later.
Articles 1–15