Zuxing Gu

Registered user since Wed 22 Aug 2018

Name: Zuxing Gu

Country: China

Affiliation: School of Software, Tsinghua University

Research interests: Program Analysis, Bug Detection, API Misuse Detection

Contributions

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