Qingkai Shi

About

Qingkai Shi is an associate professor in the Department of Computer Science and Technology at Nanjing University. His research focuses 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 Awards, ACM SIGSOFT Distinguished Paper Awards, Google Research Paper Rewards, and the Hong Kong Ph.D. Fellowship. Qingkai obtained his Ph.D. from the Hong Kong University of Science and Technology. He co-founded Sourcebrella LLC, where his research was commercialized. He then moved to Ant Group, which acquired Sourcebrella. Qingkai also enjoyed a wonderful period as a postdoctoral researcher at Purdue University, the United States.

Work

Nanjing University
|

Associate Professor

China

→

Purdue University
|

Postdoctoral Research Associate

US

→

Ant Group
|

Technical Expert

China

→

Education

The Hong Kong University of Science and Technology
Hong Kong

→

Doctor of Philosophy

Publications

Peahen: fast and precise static deadlock detection via context reduction

Published by

Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering

Summary

conference-paper

Indexing the extended Dyck-CFL reachability for context-sensitive program analysis

Published by

Proceedings of the ACM on Programming Languages

Summary

journal-article

Precise divide-by-zero detection with affirmative evidence

Published by

Proceedings of the 44th International Conference on Software Engineering

Summary

conference-paper

BEACON: Directed Grey-Box Fuzzing with Provable Path Pruning

Published by

2022 IEEE Symposium on Security and Privacy (SP)

Summary

conference-paper

Complexity-guided container replacement synthesis

Published by

Proceedings of the ACM on Programming Languages

Summary

journal-article

Complexity-guided container replacement synthesis

Published by

Proceedings of the ACM on Programming Languages

Summary

journal-article

Program analysis via efficient symbolic abstraction

Published by

Proceedings of the ACM on Programming Languages

Summary

journal-article

Skeletal approximation enumeration for SMT solver testing

Published by

Proceedings of the 29th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering

Summary

conference-paper

Fuzzing SMT solvers via two-dimensional input space exploration

Published by

Proceedings of the 30th ACM SIGSOFT International Symposium on Software Testing and Analysis

Summary

conference-paper

Path-sensitive sparse analysis without path conditions

Published by

Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation

Summary

conference-paper

DeepGini: prioritizing massive tests to enhance the robustness of deep neural networks

Published by

Proceedings of the 29th ACM SIGSOFT International Symposium on Software Testing and Analysis

Summary

conference-paper

Escaping dependency hell: finding build dependency errors with the unified dependency graph

Published by

Proceedings of the 29th ACM SIGSOFT International Symposium on Software Testing and Analysis

Summary

conference-paper

Fast bit-vector satisfiability

Published by

Proceedings of the 29th ACM SIGSOFT International Symposium on Software Testing and Analysis

Summary

conference-paper

Functional code clone detection with syntax and semantics fusion learning

Published by

Proceedings of the 29th ACM SIGSOFT International Symposium on Software Testing and Analysis

Summary

conference-paper

Conquering the extensional scalability problem for value-flow analysis frameworks

Published by

Proceedings of the ACM/IEEE 42nd International Conference on Software Engineering

Summary

conference-paper

Pipelining bottom-up data flow analysis

Published by

Proceedings of the ACM/IEEE 42nd International Conference on Software Engineering

Summary

conference-paper

Pangolin: Incremental Hybrid Fuzzing with Polyhedral Path Abstraction

Published by

2020 IEEE Symposium on Security and Privacy (SP)

Summary

conference-paper

SMOKE: Scalable Path-Sensitive Memory Leak Detection for Millions of Lines of Code

Published by

2019 IEEE/ACM 41st International Conference on Software Engineering (ICSE)

Summary

conference-paper

Pinpoint: fast and precise sparse value flow analysis for million lines of code

Published by

Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation

Summary

conference-paper

Verifying Synchronization for Atomicity Violation Fixing

Published by

IEEE Transactions on Software Engineering

Summary

journal-article

Measuring the Diversity of a Test Set With Distance Entropy

Published by

IEEE Transactions on Reliability

Summary

journal-article