
Registered user since Fri 4 May 2018
Name: Qingkai Shi
Country: China
Affiliation: Hong Kong University of Science and Technology
Personal website: https://qingkaishi.github.io
Research interests: Program Analysis, System Security
Contributions
ICSE 2019 | SMOKE: Scalable Path-Sensitive Memory Leak Detection for Millions of Lines of Code | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
ICSE 2019-profile
View general profile
View general profile