xThe data center, from which the conference websites are hosted, is currently experiencing power issues. Our colleagues are working hard to resolve the issue and keep downtime to a minimum.
Yuandao Cai

Registered user since Sun 26 Apr 2020

Name:Yuandao Cai
Affiliation:Hong Kong University of Science and Technology, China
Research interests:Programming Language, Software Engineering, Cybersecurity


ESEC/FSE 2022 Author of Peahen: Fast and Precise Static Deadlock Detection via Context Reduction within the Research Papers-track
PLDI 2021 Author of Canary: Practical Static Detection of Inter-thread Value-Flow Bugs within the PLDI-track