Login / Signup
Yuandao Cai
ORCID
Publication Activity (10 Years)
Years Active: 2021-2023
Publications (10 Years): 4
Top Topics
Deadlock Detection
Top Venues
Proc. ACM Program. Lang.
USENIX Security Symposium
PLDI
ESEC/SIGSOFT FSE
</>
Publications
</>
Yuandao Cai
,
Peisen Yao
,
Chengfeng Ye
,
Charles Zhang
Place Your Locks Well: Understanding and Detecting Lock Misuse Bugs.
USENIX Security Symposium
(2023)
Yuandao Cai
,
Charles Zhang
A Cocktail Approach to Practical Call Graph Construction.
Proc. ACM Program. Lang.
7 (OOPSLA2) (2023)
Yuandao Cai
,
Chengfeng Ye
,
Qingkai Shi
,
Charles Zhang
Peahen: fast and precise static deadlock detection via context reduction.
ESEC/SIGSOFT FSE
(2022)
Yuandao Cai
,
Peisen Yao
,
Charles Zhang
Canary: practical static detection of inter-thread value-flow bugs.
PLDI
(2021)