Yuandao Cai

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

Collaborative distances:

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

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