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

2019

ASE

Author of Ares: Inferring Error Specifications through Static Analysis within the Demonstrations-track

ISSTA

Author of VBSAC: A Value-Based Static Analyzer for C within the Tool Demonstration-track

ICSE

Author of Vetting API Usages in C Programs with IMChecker within the Demonstrations-track