Seguir
Chengfeng Ye
Chengfeng Ye
Hong Kong University of Science and Technology
Dirección de correo verificada de cse.ust.hk
Título
Citado por
Citado por
Año
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
152022
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
52023
When Threads Meet Interrupts: Effective Static Detection of Interrupt-Based Deadlocks in Linux
C Ye, Y Cai, C Zhang
The 33rd USENIX Security Symposium, 2024
2024
Plankton: Reconciling Binary Code and Debug Information
A Zhou, C Ye, H Huang, Y Cai, C Zhang
2024
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–4