Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Li Chi
conf.researchr.org general profile
ASE 2019 profile
ICSE 2019 profile
ISSTA 2019 profile
Not registered as user
Name:
Li Chi
Affiliation:
Tsinghua University
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
Share
x
Sun 22 Dec 14:08