| Canary: practical static detection of inter-thread value-flow bugs Y Cai, P Yao, C Zhang Proceedings of the 42nd ACM SIGPLAN International Conference on Programming …, 2021 | 18 | 2021 |
| 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 | 14 | 2022 |
| A cocktail approach to practical call graph construction Y Cai, C Zhang Proceedings of the ACM on Programming Languages 7 (OOPSLA2), 1001-1033, 2023 | 4 | 2023 |
| 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 | 4 | 2023 |
| Automatically Inspecting Thousands of Static Bug Warnings with Large Language Model: How Far Are We? C Wen, Y Cai, B Zhang, J Su, Z Xu, D Liu, S Qin, Z Ming, C Tian Transactions on Knowledge Discovery from Data, 2024 | 2 | 2024 |
| Unleashing the Power of Type-Based Call Graph Construction by Using Regional Pointer Information Y Cai, Y Jin, C Zhang The 33rd USENIX Security Symposium, 2024 | 2 | 2024 |
| GiantSan: Efficient Memory Sanitization with Segment Folding H Ling, H Huang, C Wang, Y Cai, C Zhang 29th ACM International Conference on Architectural Support for Programming …, 2024 | | 2024 |
| 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 |
Charles ZhangProfessor of Computer Science, HKUSTVerified email at cse.ust.hk
