Yusen Su

According to our database1, Yusen Su authored at least 4 papers between 2021 and 2025.

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

Timeline

2021
2022
2023
2024
2025
0
1
2
3
1
1
1
1

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2025
Automatic Inference of Relational Object Invariants.
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2025

2022
Verifying verified code.
Innov. Syst. Softw. Eng., 2022

Bounded Model Checking for LLVM.
Proceedings of the 22nd Formal Methods in Computer-Aided Design, 2022

2021
Data flow refinement type inference.
Proc. ACM Program. Lang., 2021


  Loading...