Login / Signup
Chengfeng Ye
ORCID
Publication Activity (10 Years)
Years Active: 2022-2024
Publications (10 Years): 4
Top Topics
Deeper Understanding
Deadlock Detection
Distributed Database Systems
Fine Grained
Top Venues
USENIX Security Symposium
ASPLOS (2)
ESEC/SIGSOFT FSE
</>
Publications
</>
Anshunkang Zhou
,
Chengfeng Ye
,
Heqing Huang
,
Yuandao Cai
,
Charles Zhang
Plankton: Reconciling Binary Code and Debug Information.
ASPLOS (2)
(2024)
Chengfeng Ye
,
Yuandao Cai
,
Charles Zhang
When Threads Meet Interrupts: Effective Static Detection of Interrupt-Based Deadlocks in Linux.
USENIX Security Symposium
(2024)
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)