System and Software Security Group
System and Software Security Group
News
People
Publications
Contact
English
中文 (简体)
Chengpeng Wang
Latest
SQLess: Dialect-Agnostic SQL Query Simplification
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
Escaping Dependency Hell: Finding Build Dependency Errors with the Unified Dependency Graph
Cite
×