Yusen Su
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2021–2025
Best venue rank
B
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | VMCAI | Automatic Inference of Relational Object Invariants. | Yusen Su, Jorge A. Navas, Arie Gurfinkel, Isabel Garcia-Contreras |
| 2022 | FMCAD | Bounded Model Checking for LLVM. | Siddharth Priya, Yusen Su, Yuyan Bao, Xiang Zhou, Yakir Vizel, Arie Gurfinkel |
| 2021 | ATVA | Verifying Verified Code. | Siddharth Priya, Xiang Zhou, Yusen Su, Yakir Vizel, Yuyan Bao, Arie Gurfinkel |