Biblio

Export 3 results:
Filters: Author is Tanakorn Leesatapornwongsa  [Clear All Filters]
2019
Stuardo CA, Leesatapornwongsa T, Suminto RO, Ke H, Lukman JF, Chuang W-C, Lu S, Gunawi HS.  2019.  ScaleCheck: A Single-Machine Approach for Discovering Scalability Bugs in Large Distributed Systems. 17th USENIX Conference on File and Storage Technologies (FAST 19). :359--373.
Sengupta A, Leesatapornwongsa T, Ardekani MSaeida, Stuardo CA.  2019.  Transactuations: Where Transactions Meet the Physical World. 2019 USENIX Annual Technical Conference (USENIX ATC 19). :91--106.
2014
Leesatapornwongsa T, Hao M, Joshi P, Lukman JF, Gunawi HS.  2014.  SAMC: Semantic-Aware Model Checking for Fast Discovery of Deep Bugs in Cloud Systems. 11th USENIX Symposium on Operating Systems Design and Implementation (OSDI 14). :399--414.