Volgen
Chengfeng Ye
Chengfeng Ye
Hong Kong University of Science and Technology
Geverifieerd e-mailadres voor cse.ust.hk
Titel
Geciteerd door
Geciteerd door
Jaar
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
142022
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
42023
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
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–4