Seuraa
Chengfeng Ye
Chengfeng Ye
Hong Kong University of Science and Technology
Vahvistettu sähköpostiosoite verkkotunnuksessa cse.ust.hk
Nimike
Viittaukset
Viittaukset
Vuosi
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
Järjestelmä ei voi suorittaa toimenpidettä nyt. Yritä myöhemmin uudelleen.
Artikkelit 1–4