Registered user since Fri 4 May 2018
Qingkai Shi is a Postdoc Research Associate in the department of computer science at Purdue University. His major research interest is the use of compiler techniques to ensure software reliability. He has published extensively at premium venues of programming languages (PLDI, OOPSLA), software engineering (ICSE, FSE), and cybersecurity (S&P). His research received many awards including ACM SIGSOFT Distinguished Paper Award and Hong Kong Ph.D. Fellowship. His research has led to the discovery of over a hundred software vulnerabilities in open-source software and has been successfully commercialized in Sourcebrella Inc, a static analysis tool vendor. Qingkai obtained his B.S. and Ph.D. from Nanjing University and the Hong Kong University of Science and Technology, respectively.
|SPLASH 2022|| Indexing the Extended Dyck-CFL Reachability for Context-Sensitive Program Analysis|
Complexity-guided container replacement synthesis
|Show activities from other conferences|
View general profile