Publications

I dip my toes into program analysis.

2026

  1. PhD Thesis
    Scalable Program Analysis: Abstract Interpretation Techniques and Practical Applications
    Yusen Su
    University of Waterloo, Jun 2026
    PDF Slides
  2. TBD
    Taint Analysis via Heap-Aware Propagation
    Yusen Su, J. A. Navas, and Arie Gurfinkel
    In , Jun 2026
    Submitted

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, Jun 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, Jun 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, Jun 2022
    DOI PDF Code

2021

  1. POPL 2021
    Data flow refinement type inference
    Zvonimir Pavlinovic, Yusen Su, and Thomas Wies
    Proc. ACM Program. Lang., Jun 2021
    DOI PDF Video Code
  2. ATVA 2021
    Verifying Verified Code
    Siddharth Priya, Xiang Zhou, Yusen Su, Yakir Vizel, Yuyan Bao, and Arie Gurfinkel
    In Automated Technology for Verification and Analysis - 19th International Symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18-22, 2021, Proceedings, Jun 2021
    DOI PDF Code Slides

2020

  1. MS Thesis
    Data Flow Refinement Type Inference Tool - DRIFT^2
    Yusen Su
    May 2020
    PDF