Follow
Yuandao (Ryan) Cai
Title
Cited by
Cited by
Year
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
192021
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
A cocktail approach to practical call graph construction
Y Cai, C Zhang
Proceedings of the ACM on Programming Languages 7 (OOPSLA2), 1001-1033, 2023
62023
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
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
42024
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
32024
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
12024
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
12024
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
The system can't perform the operation now. Try again later.
Articles 1–9