Registered user since Fri 4 May 2018
Qingkai Shi is a Postdoc Research Associate in the department of computer science, 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, TSE, ISSTA), 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 Ph.D. and B.S. from Nanjing University and the Hong Kong University of Science and Technology, respectively.
|ESEC/FSE 2021||Skeletal Approximation Enumeration for SMT Solver Testing|
|Show activities from other conferences|
View general profile