System and Software Security Group
System and Software Security Group
News
People
Publications
Contact
English
中文 (简体)
Gang Fan
Latest
SQLess: Dialect-Agnostic SQL Query Simplification
Accelerating Build Dependency Error Detection via Virtual Build
Transcode: Detecting Status Code Mapping Errors in Large-Scale Systems
Escaping Dependency Hell: Finding Build Dependency Errors with the Unified Dependency Graph
Conquering the Extensional Scalability Problem for Value-Flow Analysis Frameworks
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
Cite
×