CS Colloquium: Linhai Song
Speaker: Linhai Song (Pennsylvania State University)
Date: Monday, May 23rd, 2022
Time: 3:30 - 4:30 pm
Go is a statically-type
In this talk, I will present our recent research work on fighting Go concurrency bugs. We first empirically studied 171 concurrency bugs from six famous, open-source Go software, including Docker, Kubernetes, and gRPC to compare message passing and shared memory concurrency. Inspired by the study, we then built a static concurrency bug detection system, GCatch, to effectively identify block bugs due to misuse of channels. To avoid fundamental limitations of static analysis and capture more concurrency bugs, we further designed a dynamic detection system, GFuzz. Both GCatch and GFuzz pinpointed hundreds of previously unknown concurrency bugs from famous Go software. Many of those detected bugs have already been fixed by programmers based on our reporting.
Linhai Song is an Assistant Professor at the Pennsylvania State University. Linhai received his Ph.D. at the University of Wisconsin-Madis