Yuandao Cai

Publication Activity (10 Years)

Years Active: 2021-2024
Publications (10 Years): 10

Top Topics

Graph Construction

Top Venues

USENIX Security Symposium

Proc. ACM Program. Lang.

Publications

Cheng Wen, Yuandao Cai, Bin Zhang, Jie Su, Zhiwu Xu, Dugang Liu, Shengchao Qin, Zhong Ming, Cong Tian
Automatically Inspecting Thousands of Static Bug Warnings with Large Language Model: How Far Are We? ACM Trans. Knowl. Discov. Data 18 (7) (2024)
Hao Ling, Heqing Huang, Chengpeng Wang, Yuandao Cai, Charles Zhang
GIANTSAN: Efficient Memory Sanitization with Segment Folding. ASPLOS (2) (2024)
Anshunkang Zhou, Chengfeng Ye, Heqing Huang, Yuandao Cai, Charles Zhang
Plankton: Reconciling Binary Code and Debug Information. ASPLOS (2) (2024)
Yuandao Cai, Yibo Jin, Charles Zhang
Unleashing the Power of Type-Based Call Graph Construction by Using Regional Pointer Information. USENIX Security Symposium (2024)
Chengfeng Ye, Yuandao Cai, Charles Zhang
When Threads Meet Interrupts: Effective Static Detection of Interrupt-Based Deadlocks in Linux. USENIX Security Symposium (2024)
Cheng Wen, Yuandao Cai, Bin Zhang, Jie Su, Zhiwu Xu, Dugang Liu, Shengchao Qin, Zhong Ming, Cong Tian
Automatically Inspecting Thousands of Static Bug Warnings with Large Language Model: How Far Are We? IEEE Trans. Knowl. Data Eng. 18 (7) (2024)
Yuandao Cai, Peisen Yao, Chengfeng Ye, Charles Zhang
Place Your Locks Well: Understanding and Detecting Lock Misuse Bugs. USENIX Security Symposium (2023)
Yuandao Cai, Charles Zhang
A Cocktail Approach to Practical Call Graph Construction. Proc. ACM Program. Lang. 7 (OOPSLA2) (2023)
Yuandao Cai, Chengfeng Ye, Qingkai Shi, Charles Zhang
Peahen: fast and precise static deadlock detection via context reduction. ESEC/SIGSOFT FSE (2022)
Yuandao Cai, Peisen Yao, Charles Zhang
Canary: practical static detection of inter-thread value-flow bugs. PLDI (2021)