Yusen Su

According to our database, Yusen Su authored at least 6 papers between 2021 and 2026.

Collaborative distances:

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

2026

CCMPIP: Cross-attention and capsule network-based multi-feature fusion for proinflammatory peptide prediction.

Shuxin Song, Mingxian Lu, Yusen Su, Taigang Liu

Comput. Biol. Chem., 2026

2025

SymPlanner: Deliberate Planning in Language Models with Symbolic Representation.

Siheng Xiong, Jieyu Zhou, Zhangding Liu, Yusen Su

CoRR, May, 2025

Automatic Inference of Relational Object Invariants.

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

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2025

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

Verifying Verified Code.

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

Proceedings of the Automated Technology for Verification and Analysis, 2021