• Sign in
  • Sign up
conf.researchr.org / Min Zhou
  • ASE 2019 profile
  • ICSE 2019 profile
  • ISSTA 2019 profile

Not registered as user yet

Name: Min Zhou

Affiliation: Tsinghua University

Contributions

ASE 2019Author 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 2019Author 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 2019Author of Vetting API Usages in C Programs with IMChecker within the Demonstrations-track

Share
xSat 14 Dec 11:50
using conf.researchr.org (v1.21.5)
Support page
Sign Up