Yusen Su

Black Duck logo Software Engineer at Black Duck (Remote)

yusen.jpg

Remote

I’m Yusen Su (苏雨森), a Software Engineer at Black Duck. I received my PhD in Electrical and Computer Engineering from the University of Waterloo, where I was advised by Prof. Arie Gurfinkel.

My research focuses on static program analysis for software verification and toolchain optimization. I design abstract domains in Crab and contribute to SeaHorn (adding practical supports for SeaBMC and SeaDSA etc.). Previously, I implemented Drift, a refinement type system and abstract interpretation verifier for numerical properties.

selected publications

2025

  1. VSTTE 2025
    Template DBM: A New Weakly Relational Domain for Efficient Memory-Access Validation
    Yusen Su, J. A. Navas, and Arie Gurfinkel
    In 17th International Conference on Verified Software: Theories, Tools, and Experiments, 2025
    **Best Tool Paper Award**
    DOI PDF Artifact
  2. VMCAI 2025
    Automatic Inference of Relational Object Invariants
    Yusen Su, Jorge A. Navas, Arie Gurfinkel, and Isabel Garcia-Contreras
    In Verification, Model Checking, and Abstract Interpretation - 26th International Conference, VMCAI 2025, Denver, CO, USA, January 20-21, 2025, Proceedings, Part I, 2025
    DOI PDF Video Artifact

2022

  1. FMCAD 2022
    Bounded Model Checking for LLVM
    Siddharth Priya, Yusen Su, Yuyan Bao, Xiang Zhou, Yakir Vizel, and Arie Gurfinkel
    In 22nd Formal Methods in Computer-Aided Design, FMCAD 2022, Trento, Italy, October 17-21, 2022, 2022
    DOI PDF Code

2021

  1. POPL 2021
    Data flow refinement type inference
    Zvonimir Pavlinovic, Yusen Su, and Thomas Wies
    Proc. ACM Program. Lang., 2021
    DOI PDF Video Code