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 bugs (including more than a dozen of CVE-identified ones) in open-source software and has been successfully commercialized in Sourcebrella Inc, a static analysis tool vendor. Qingkai respectively obtained his Ph.D. and B.S. from Nanjing University and the Hong Kong University of Science and Technology.
|ISSTA 2021||Fuzzing SMT Solvers via Two-Dimensional Input Space Exploration|
|Show activities from other conferences|
View general profile