Registered user since Fri 4 May 2018
Dr. Qingkai Shi is an associate professor in the Department of Computer Science and Technology at Nanjing University. He is a recipient of the national natural science fund for excellent young scientists. His research interests focus on the use of compiler techniques, especially static program analysis, to rigorously ensure software security. He has published extensively at premium venues of programming languages (PLDI, OOPSLA), cybersecurity (S&P, CCS), and software engineering (ICSE, ESEC/FSE). His research received many awards including ACM SIGPLAN Distinguished Paper Award, ACM SIGSOFT Distinguished Paper Award, Google Research Paper Reward, and Hong Kong Ph.D. Fellowship.
Qingkai obtained his Ph.D. from the Hong Kong University of Science and Technology. He co-founded Sourcebrella Inc. Ltd. where his research was commercialized. He then moved to Ant Group as Sourcebrella was acquired. He was a postdoctoral researcher at Purdue University.
- Author of Fast Bit-Vector Satisfiability within the Technical Papers-track
- Author of DeepGini: Prioritizing Massive Tests to Enhance the Robustness of Deep Neural Networks within the Technical Papers-track
- Author of Test Recommendation System Based on Slicing Coverage Filtering within the Tool Demonstration-track
- Author of Escaping Dependency Hell: Finding Build Dependency Errors with the Unified Dependency Graph within the Technical Papers-track
- Author of Functional Code Clone Detection with Syntax and Semantics Fusion Learning within the Technical Papers-track