Data flow refinement type inference. - Zvonimir Pavlinovic; Yusen Su; Thomas Wies (Proc. ACM Program. Lang., 2021)

Bounded Model Checking for LLVM. - Siddharth Priya; Yusen Su; Yuyan Bao; Xiang Zhou; Yakir Vizel; Arie Gurfinkel (FMCAD, 2022)

Verifying verified code. - Siddharth Priya; Xiang Zhou; Yusen Su; Yakir Vizel; Yuyan Bao; Arie Gurfinkel (Innov. Syst. Softw. Eng., 2022)

Automatic Inference of Relational Object Invariants. - Yusen Su; Jorge A. Navas; Arie Gurfinkel; Isabel Garcia-Contreras (VMCAI (1), 2025)

SymPlanner: Deliberate Planning in Language Models with Symbolic Representation. - Siheng Xiong; Jieyu Zhou; Zhangding Liu; Yusen Su (CoRR, 2025)