Registered user since Sun 30 Jun 2019
Name:Peisen Yao
Country:China
Affiliation:Hong Kong University of Science and Technology
Research interests:Program Analysis and Verification, Automated Reasoning, Security
Contributions
| PLDI 2021 | Path-Sensitive Sparse Analysis without Path Conditions Canary: Practical Static Detection of Inter-thread Value-Flow Bugs | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
PLDI 2021-profile
View general profile
View general profile