Yuandao Cai

According to our database, Yuandao Cai authored at least 16 papers between 2021 and 2026.

Collaborative distances:

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

2026

Two birds one stone: Effective static detection of resource and communication deadlocks in Rust programs.

Yu Zhang, Kaiwen Zhang, Guanjun Liu, Yuandao Cai, Shengchao Qin

Autom. Softw. Eng., December, 2026

Ghost in the Agent: Redefining Information Flow Tracking for LLM Agents.

Yuandao Cai, Wensheng Tang, Cheng Wen, Shengchao Qin

CoRR, April, 2026

Argus: Reorchestrating Static Analysis via a Multi-Agent Ensemble for Full-Chain Security Vulnerability Detection.

Zi Liang, Qipeng Xie, Jun He, Bohuan Xue, Weizheng Wang, Yuandao Cai, Fei Luo, Boxian Zhang, Haibo Hu, Kaishun Wu

CoRR, April, 2026

Efficient Fuzzing Infrastructure for Pointer-to-Object Association.

Hao Ling, Heqing Huang, Yuandao Cai, Charles Zhang

ACM Trans. Softw. Eng. Methodol., February, 2026

2025

Deep Learning Based Concurrency Bug Detection and Localization.

Zuocheng Feng, Kaiwen Zhang, Miaomiao Wang, Yiming Cheng, Yuandao Cai, Xiaofeng Li, Guanjun Liu

CoRR, August, 2025

Boosting Path-Sensitive Value Flow Analysis Via Removal of Redundant Summaries.

Yongchao Wang, Yuandao Cai, Charles Zhang

Proceedings of the 47th IEEE/ACM International Conference on Software Engineering, 2025

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

Manta: Hybrid-Sensitive Type Inference Toward Type-Assisted Bug Detection for Stripped Binaries.

Chengfeng Ye, Yuandao Cai, Anshunkang Zhou, Heqing Huang, Hao Ling, 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