| 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 | 298* | 2014 |
| 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 | 179 | 2016 |
| 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 | 165 | 2014 |
| 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 | 93 | 2013 |
| 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 | 49 | 2019 |
| 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 | 27 | 2017 |
| 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 | 20 | 2017 |
| 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 | 17 | 2019 |
| The case for drill-ready cloud computing T Leesatapornwongsa, HS Gunawi Proceedings of the ACM Symposium on Cloud Computing, 1-8, 2014 | 17 | 2014 |
| 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 | 15 | 2019 |
| 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 | 8 | 2015 |
| FlakeRepro: Automated and efficient reproduction of concurrency-related flaky tests T Leesatapornwongsa, X Ren, S Nath Proceedings of the 30th ACM Joint European Software Engineering Conference …, 2022 | 7 | 2022 |
| 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 | 5 | 2020 |
| What bugs live in the cloud?: A study of issues in scalable distributed systems H Gunawi, T Do, A Laksono, M Hao, T Leesatapornwongsa, JF Lukman, ... ; login:: the magazine of USENIX & SAGE 40 (4), 33-39, 2015 | 2 | 2015 |
| Generating fault conditions using a fault-enabled software development kit SK Nath, PC Shrosbree, FE Faisal, T Leesatapornwongsa US Patent App. 18/428,778, 2024 | | 2024 |
| Generating fault conditions using a fault-enabled software development kit SK Nath, PC Shrosbree, FE Faisal, T Leesatapornwongsa US Patent 11,921,622, 2024 | | 2024 |
| 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 |
Haryadi S. GunawiAssociate Professor of Computer Science, University of Chicago在 cs.uchicago.edu 的电子邮件经过验证
