Yuandao Cai

15 papers A* 5Journal 6Unranked 4
YearRankTypeTitle / Venue / Authors
2026 J jnl
Efficient Fuzzing Infrastructure for Pointer-to-Object Association.
ACM Trans. Softw. Eng. Methodol.
Hao Ling, Heqing Huang, Yuandao Cai, Charles Zhang
2026 J jnl
Two birds one stone: Effective static detection of resource and communication deadlocks in Rust programs.
Autom. Softw. Eng.
Yu Zhang, Kaiwen Zhang, Guanjun Liu, Yuandao Cai, Shengchao Qin
2025 A* conf
Boosting Path-Sensitive Value Flow Analysis Via Removal of Redundant Summaries.
ICSE
Yongchao Wang, Yuandao Cai, Charles Zhang
2025 J jnl
Boosting Path-Sensitive Value Flow Analysis via Removal of Redundant Summaries.
CoRR
Yongchao Wang, Yuandao Cai, Charles Zhang
2025 J jnl
Deep Learning Based Concurrency Bug Detection and Localization.
CoRR
Zuocheng Feng, Kaiwen Zhang, Miaomiao Wang, Yiming Cheng, Yuandao Cai, Xiaofeng Li, Guanjun Liu
2024 J jnl
Automatically Inspecting Thousands of Static Bug Warnings with Large Language Model: How Far Are We?
ACM Trans. Knowl. Discov. Data
Cheng Wen, Yuandao Cai, Bin Zhang, Jie Su, Zhiwu Xu, Dugang Liu, Shengchao Qin, Zhong Ming, Cong Tian
2024 — conf
GIANTSAN: Efficient Memory Sanitization with Segment Folding.
ASPLOS (2)
Hao Ling, Heqing Huang, Chengpeng Wang, Yuandao Cai, Charles Zhang
2024 — conf
Manta: Hybrid-Sensitive Type Inference Toward Type-Assisted Bug Detection for Stripped Binaries.
ASPLOS (4)
Chengfeng Ye, Yuandao Cai, Anshunkang Zhou, Heqing Huang, Hao Ling, Charles Zhang
2024 — conf
Plankton: Reconciling Binary Code and Debug Information.
ASPLOS (2)
Anshunkang Zhou, Chengfeng Ye, Heqing Huang, Yuandao Cai, Charles Zhang
2024 A* conf
Unleashing the Power of Type-Based Call Graph Construction by Using Regional Pointer Information.
USENIX Security Symposium
Yuandao Cai, Yibo Jin, Charles Zhang
2024 A* conf
When Threads Meet Interrupts: Effective Static Detection of Interrupt-Based Deadlocks in Linux.
USENIX Security Symposium
Chengfeng Ye, Yuandao Cai, Charles Zhang
2023 J jnl
A Cocktail Approach to Practical Call Graph Construction.
Proc. ACM Program. Lang.
Yuandao Cai, Charles Zhang
2023 A* conf
Place Your Locks Well: Understanding and Detecting Lock Misuse Bugs.
USENIX Security Symposium
Yuandao Cai, Peisen Yao, Chengfeng Ye, Charles Zhang
2022 — conf
Peahen: fast and precise static deadlock detection via context reduction.
ESEC/SIGSOFT FSE
Yuandao Cai, Chengfeng Ye, Qingkai Shi, Charles Zhang
2021 A* conf
Canary: practical static detection of inter-thread value-flow bugs.
PLDI
Yuandao Cai, Peisen Yao, Charles Zhang