| 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 | 25 | 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 | 17 | 2022 |
| 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 | 10 | 2024 |
| A cocktail approach to practical call graph construction Y Cai, C Zhang Proceedings of the ACM on Programming Languages 7 (OOPSLA2), 1001-1033, 2023 | 8 | 2023 |
| 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 | 7 | 2024 |
| 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 | 7 | 2023 |
| GIANTSAN: Efficient Memory Sanitization with Segment Folding H Ling, H Huang, C Wang, Y Cai, C Zhang Proceedings of the 29th ACM International Conference on Architectural …, 2024 | 4 | 2024 |
| Plankton: Reconciling Binary Code and Debug Information A Zhou, C Ye, H Huang, Y Cai, C Zhang Proceedings of the 29th ACM International Conference on Architectural …, 2024 | 3 | 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 | 1 | 2024 |
| Manta: Hybrid-Sensitive Type Inference Toward Type-Assisted Bug Detection for Stripped Binaries C Ye, Y Cai, A Zhou, H HUANG, H Ling, C Zhang 30th ACM International Conference on Architectural Support for Programming …, 2024 | | 2024 |
| Making Call Graph Construction More Practical for Program Analysis in the Real World Y Cai PQDT-Global, 2023 | | 2023 |
Charles ZhangProfessor of Computer Science, HKUSTVerified email at cse.ust.hk
