Concepedia

Yuandao Cai

YC

3

Publications

66

Citations

3

H-Index

2021

Active since

Affiliations

Hong Kong University of Science and Technology(Current)

Yuandao Cai is an author at Hong Kong University of Science and Technology specializing in formal methods, software analysis, and static analysis.

ORCID

Top concepts

Publications per year

2021–2024

3

Publications

3

Automatically Inspecting Thousands of Static Bug Warnings with Large Language Model: How Far Are We?

Cheng Wen, Yuandao Cai, Bin Zhang et al. · ACM Transactions on Knowledge Discovery from Data · 2024 · 36 citations · Full text

, , +24

Canary: practical static detection of inter-thread value-flow bugs

Yuandao Cai, Peisen Yao, Charles Zhang · 2021 · 19 citations

, , +20

Peahen: fast and precise static deadlock detection via context reduction

Yuandao Cai, Chengfeng Ye, Qingkai Shi et al. · Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering · 2022 · 11 citations

Rows per page

1–3 of 3