Qingkai Shi

LibAlchemy: A Two-Layer Persistent Summary Design for Taming Third-Party Libraries in Static Bug-Finding Systems
BEACON: Directed Grey-Box Fuzzing with Provable Path Pruning
Skeletal Approximation Enumeration for SMT Solver Testing
Fuzzing SMT Solvers via Two-Dimensional Input Space Exploration
Path-Sensitive Sparse Analysis without Path Conditions
Escaping Dependency Hell: Finding Build Dependency Errors with the Unified Dependency Graph
Conquering the Extensional Scalability Problem for Value-Flow Analysis Frameworks
Pangolin: Incremental Hybrid Fuzzing with Polyhedral Path Abstraction
SMOKE: Scalable Path-Sensitive Memory Leak Detection for Millions of Lines of Code
Pinpoint: Fast and Precise Sparse Value Flow Analysis for Million Lines of Code

Published with Wowchemy — the free, open source website builder that empowers creators.