Zuxing Gu

Registered user since Wed 22 Aug 2018

Name:Zuxing Gu
Affiliation:School of Software, Tsinghua University
Research interests:Program Analysis, Bug Detection, API Misuse Detection


ASE 2019 Author of Ares: Inferring Error Specifications through Static Analysis within the Demonstrations-track
ISSTA 2019 Author of VBSAC: A Value-Based Static Analyzer for C within the Tool Demonstration-track
ICSE 2019 Author of Vetting API Usages in C Programs with IMChecker within the Demonstrations-track