Ming Gu -

Not registered as user yet

Name:Ming Gu

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 VBSAC: A Value-Based Static Analyzer for C within the Tool Demonstration-track Author of Go-Clone: Graph-Embedding Based Clone Detector for Golang within the Tool Demonstration-track
ICSE 2019	Author of Vetting API Usages in C Programs with IMChecker within the Demonstrations-track
* ICSE 2018 *	Author of Poster T56: Model-Based Adaptation to Extreme Physical Environments: A Case Study on Mixed-Criticality Industrial Ethernet within the Posters -track