Follow
Chengfeng Ye
Chengfeng Ye
Hong Kong University of Science and Technology
Verified email at cse.ust.hk
Title
Cited by
Cited by
Year
Peahen: Fast and precise static deadlock detection via context reduction
Y Cai, C Ye, Q Shi, C Zhang
Proceedings of the 30th ACM Joint European Software Engineering Conference …, 2022
172022
Place your locks well: understanding and detecting lock misuse bugs
Y Cai, P Yao, C Ye, C Zhang
32nd USENIX Security Symposium (USENIX Security 23), 3727-3744, 2023
72023
Plankton: Reconciling Binary Code and Debug Information
A Zhou, C Ye, H Huang, Y Cai, C Zhang
42024
When Threads Meet Interrupts: Effective Static Detection of Interrupt-Based Deadlocks in Linux
C Ye, Y Cai, C Zhang
1*
The system can't perform the operation now. Try again later.
Articles 1–4