SherLock: Unsupervised Synchronization-Operation Inference
Guangpu Li, Dongjie Chen, Shan Lu, Madanlal Musuvathi, Suman Nath. [ASPLOS2021]
Paper Talk
Efficient and Scalable Thread-Safety Violation Detection ---- Finding thousands of concurrency bugs during testing
Guangpu Li, Shan Lu, Madanlal Musuvathi, Suman Nath, Rohan Padhye. [SOSP2019 Best Paper Award]
Paper Talk
DFix: Automatically Fixing Timing Bugs in Distributed Systems
Guangpu Li, Haopeng Liu, Xianglan Chen, Haryadi Gunawi, Shan Lu. [PLDI2019]
Paper Talk
FCatch: Automatically detecting time-of-fault bugs in cloud systems
Haopeng Liu, Xu Wang, Guangpu Li, Shan Lu, Feng Ye, Chen Tian. [ASPLOS'18]
DCatch: Automatically Detecting Distributed Concurrency Bugs in Cloud Systems
Haopeng Liu, Guangpu Li, Jeffrey Lukman, Jiaxin Li, Shan Lu,
Haryadi Gunawi, Chen Tian. [ASPLOS'17]