系统与软件安全实验室
系统与软件安全实验室
新闻
成员
科研成果
联系我们
中文 (简体)
English
Chengpeng Wang
最新
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
引用
×