Write a Blog >>
PLDI 2021
Sun 20 - Sat 26 June 2021 Virtual Conference
Peisen Yao

Registered user since Sun 30 Jun 2019

Name: Peisen Yao

Country: China

Affiliation: The Hong Kong University of Science and Technology

Research interests: Program Analysis and Verification, Automated Reasoning, Security


PLDI 2021 Path-Sensitive Sparse Analysis without Path Conditions
Practical Concurrency Vulnerabilities Detection using Guarded Value Flow Analysis
Show activities from other conferences

PLDI 2021-profile
View general profile