Yusen Su

Publication Activity (10 Years)

Years Active: 2020-2022
Publications (10 Years): 6

Top Topics

Bayesian Inference

Top Venues

Proc. ACM Program. Lang.

Innov. Syst. Softw. Eng.

Publications

Siddharth Priya, Yusen Su, Yuyan Bao, Xiang Zhou, Yakir Vizel, Arie Gurfinkel
Bounded Model Checking for LLVM. FMCAD (2022)
Siddharth Priya, Xiang Zhou, Yusen Su, Yakir Vizel, Yuyan Bao, Arie Gurfinkel
Verifying verified code. Innov. Syst. Softw. Eng. 18 (3) (2022)
Zvonimir Pavlinovic, Yusen Su, Thomas Wies
Data flow refinement type inference. Proc. ACM Program. Lang. 5 (POPL) (2021)
Siddharth Priya, Xiang Zhou, Yusen Su, Yakir Vizel, Yuyan Bao, Arie Gurfinkel
Verifying Verified Code. ATVA (2021)
Siddharth Priya, Xiang Zhou, Yusen Su, Yakir Vizel, Yuyan Bao, Arie Gurfinkel
Verifying Verified Code. CoRR (2021)
Zvonimir Pavlinovic, Yusen Su, Thomas Wies
Data Flow Refinement Type Inference. CoRR (2020)