Yuandao Cai

Orcid: 0000-0001-6340-1416

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Automatically Inspecting Thousands of Static Bug Warnings with Large Language Model: How Far Are We?
ACM Trans. Knowl. Discov. Data, August, 2024

When Threads Meet Interrupts: Effective Static Detection of Interrupt-Based Deadlocks in Linux.
Proceedings of the 33rd USENIX Security Symposium, 2024

Unleashing the Power of Type-Based Call Graph Construction by Using Regional Pointer Information.
Proceedings of the 33rd USENIX Security Symposium, 2024

Plankton: Reconciling Binary Code and Debug Information.
Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, 2024

GIANTSAN: Efficient Memory Sanitization with Segment Folding.
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.
Proc. ACM Program. Lang., October, 2023

Place Your Locks Well: Understanding and Detecting Lock Misuse Bugs.
Proceedings of the 32nd USENIX Security Symposium, 2023

2022
Peahen: fast and precise static deadlock detection via context reduction.
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.
Proceedings of the PLDI '21: 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2021


  Loading...