Min Zhou -

Not registered as user yet

Name:Min Zhou

Affiliation:Tsinghua University

Contributions

ASE 2019	Author of TsmartGP: A Tool for Finding Memory Defects with Pointer Analysis within the Demonstrations-track Author of Ares: Inferring Error Specifications through Static Analysis within the Demonstrations-track
ISSTA 2019	Author of VFQL: Combinational Static Analysis as Query Language within the Tool Demonstration-track 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