Yuandao Cai

According to our database, Yuandao Cai authored at least 9 papers between 2021 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Automatically Inspecting Thousands of Static Bug Warnings with Large Language Model: How Far Are We?

Cheng Wen, Yuandao Cai, Bin Zhang, Jie Su, Zhiwu Xu, Dugang Liu, Shengchao Qin, Zhong Ming, Cong Tian

ACM Trans. Knowl. Discov. Data, August, 2024

When Threads Meet Interrupts: Effective Static Detection of Interrupt-Based Deadlocks in Linux.

Chengfeng Ye, Yuandao Cai, Charles Zhang

Proceedings of the 33rd USENIX Security Symposium, 2024

Unleashing the Power of Type-Based Call Graph Construction by Using Regional Pointer Information.

Yuandao Cai, Yibo Jin, Charles Zhang

Proceedings of the 33rd USENIX Security Symposium, 2024

Plankton: Reconciling Binary Code and Debug Information.

Anshunkang Zhou, Chengfeng Ye, Heqing Huang, Yuandao Cai, Charles Zhang

Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, 2024

GIANTSAN: Efficient Memory Sanitization with Segment Folding.

Hao Ling, Heqing Huang, Chengpeng Wang, Yuandao Cai, Charles Zhang

Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, 2024

2023

A Cocktail Approach to Practical Call Graph Construction.

Yuandao Cai, Charles Zhang

Proc. ACM Program. Lang., October, 2023

Place Your Locks Well: Understanding and Detecting Lock Misuse Bugs.

Yuandao Cai, Peisen Yao, Chengfeng Ye, Charles Zhang

Proceedings of the 32nd USENIX Security Symposium, 2023

2022

Peahen: fast and precise static deadlock detection via context reduction.

Yuandao Cai, Chengfeng Ye, Qingkai Shi, Charles Zhang

Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2022

2021

Canary: practical static detection of inter-thread value-flow bugs.

Yuandao Cai, Peisen Yao, Charles Zhang

Proceedings of the PLDI '21: 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2021