Login / Signup
Chengfeng Ye
Publication Activity (10 Years)
Years Active: 2022-2023
Publications (10 Years): 2
Top Topics
Deeper Understanding
Distributed Databases
Concurrency Control
Software Projects
Top Venues
USENIX Security Symposium
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
,
Chengfeng Ye
,
Qingkai Shi
,
Charles Zhang
Peahen: fast and precise static deadlock detection via context reduction.
ESEC/SIGSOFT FSE
(2022)