| Efficient scalable thread-safety-violation detection: finding thousands of concurrency bugs during testing G Li, S Lu, M Musuvathi, S Nath, R Padhye Proceedings of the 27th ACM Symposium on Operating Systems Principles, 162-180, 2019 | 85 | 2019 |
| Dcatch: Automatically detecting distributed concurrency bugs in cloud systems H Liu, G Li, JF Lukman, J Li, S Lu, HS Gunawi, C Tian ACM SIGARCH Computer Architecture News 45 (1), 677-691, 2017 | 81 | 2017 |
| FCatch: Automatically detecting time-of-fault bugs in cloud systems H Liu, X Wang, G Li, S Lu, F Ye, C Tian ACM SIGPLAN Notices 53 (2), 419-431, 2018 | 45 | 2018 |
| Dfix: automatically fixing timing bugs in distributed systems G Li, H Liu, X Chen, HS Gunawi, S Lu Proceedings of the 40th ACM SIGPLAN Conference on Programming Language …, 2019 | 24 | 2019 |
| Automatically detecting distributed concurrency errors in cloud systems S Lu, H Liu, G Li, H Gunawi, C Tian, F Ye US Patent 10,599,551, 2020 | 11 | 2020 |
| SherLock: unsupervised synchronization-operation inference G Li, D Chen, S Lu, M Musuvathi, S Nath Proceedings of the 26th ACM International Conference on Architectural …, 2021 | 10 | 2021 |
| Automatically detecting time-of-fault bugs in cloud systems H Liu, X Wang, G Li, S Lu, F Ye, C Tian, SC Chen US Patent 10,860,411, 2020 | | 2020 |
| Detecting and Fixing Concurrency Bugs in Cloud System G Li The University of Chicago, 2020 | | 2020 |
| SherLock: Unsupervised Synchronization-Operation Inference Extended Abstract G Li, D Chen, S Lu, M Musuvathi, S Nath | | |
