Yusen Su

According to our database, Yusen Su authored at least 4 papers between 2021 and 2024.

Collaborative distances:

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

2024

Automatic Inference of Relational Object Invariants.

Yusen Su, Jorge A. Navas, Arie Gurfinkel, Isabel Garcia-Contreras

CoRR, 2024

2022

Verifying verified code.

Siddharth Priya, Xiang Zhou, Yusen Su, Yakir Vizel, Yuyan Bao, Arie Gurfinkel

Innov. Syst. Softw. Eng., 2022

Bounded Model Checking for LLVM.

Siddharth Priya, Yusen Su, Yuyan Bao, Xiang Zhou, Yakir Vizel, Arie Gurfinkel

Proceedings of the 22nd Formal Methods in Computer-Aided Design, 2022

2021

Data flow refinement type inference.

Zvonimir Pavlinovic, Yusen Su, Thomas Wies

Proc. ACM Program. Lang., 2021