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, May 2026
    To appear
  2. TBD
    Scalable Taint Analysis via Heap-Aware Propagation
    Yusen Su, J. A. Navas, and Arie Gurfinkel
    In , May 2026
    Ongoing

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, May 2025
    **Best Tool Paper Award**
    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, May 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, May 2022
    DOI PDF

2021

  1. POPL 2021
    Data flow refinement type inference
    Zvonimir Pavlinovic, Yusen Su, and Thomas Wies
    Proc. ACM Program. Lang., May 2021
    DOI PDF Video Code Artifact
  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, May 2021
    DOI PDF

2020

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