Yuandao Cai
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
4
Active years
2021–2026
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | TASE | Towards Accurate Thread Sharing Analysis via Synchronization-Aware Dynamic Tracing. | Jun Zhang, Xinyin Liao, Cheng Wen, Jie Su, Zhuohua Li, Yuandao Cai, Xiaoxue Ma, Shengchao Qin |
| 2025 | ICSE | Boosting Path-Sensitive Value Flow Analysis Via Removal of Redundant Summaries. | Yongchao Wang, Yuandao Cai, Charles Zhang |
| 2024 | ASPLOS | GIANTSAN: Efficient Memory Sanitization with Segment Folding. | Hao Ling, Heqing Huang, Chengpeng Wang, Yuandao Cai, Charles Zhang |
| 2024 | ASPLOS | 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 |
| 2024 | ASPLOS | Plankton: Reconciling Binary Code and Debug Information. | Anshunkang Zhou, Chengfeng Ye, Heqing Huang, Yuandao Cai, Charles Zhang |
| 2021 | PLDI | Canary: practical static detection of inter-thread value-flow bugs. | Yuandao Cai, Peisen Yao, Charles Zhang |