Charles Zhang

Latest

• LibAlchemy: A Two-Layer Persistent Summary Design for Taming Third-Party Libraries in Static Bug-Finding Systems
• Pinolo: Detecting Logical Bugs in Database Management Systems with Approximate Query Synthesis
• Accelerating Build Dependency Error Detection via Virtual Build
• BEACON: Directed Grey-Box Fuzzing with Provable Path Pruning
• Transcode: Detecting Status Code Mapping Errors in Large-Scale Systems
• 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
• Casper: an efficient approach to call trace collection