publications

2024

  1. Goblint Validator: Correctness Witness Validation by Abstract Interpretation (Competition Contribution)
    Simmo SaanJulian ErhardMichael Schwarz, and 5 more authors
    In Tools and Algorithms for the Construction and Analysis of Systems, 2024
  2. Goblint: Abstract Interpretation for Memory Safety and Termination (Competition Contribution)
    Simmo SaanJulian ErhardMichael Schwarz, and 5 more authors
    In Tools and Algorithms for the Construction and Analysis of Systems, 2024
  3. Correctness Witness Validation by Abstract Interpretation
    Simmo SaanMichael SchwarzJulian Erhard, and 3 more authors
    In Verification, Model Checking, and Abstract Interpretation, 2024
    🥇 Best Paper Award

2023

  1. When Long Jumps Fall Short: Control-Flow Tracking and Misuse Detection for Non-Local Jumps in C
    Michael SchwarzJulian ErhardVesal Vojdani, and 2 more authors
    In State Of the Art in Program Analysis, 2023
  2. Goblint: Autotuning Thread-Modular Abstract Interpretation (Competition Contribution)
    Simmo SaanMichael SchwarzJulian Erhard, and 4 more authors
    In Tools and Algorithms for the Construction and Analysis of Systems, 2023
  3. Clustered Relational Thread-Modular Abstract Interpretation with Local Traces
    Michael SchwarzSimmo SaanHelmut Seidl, and 2 more authors
    In European Symposium on Programming, 2023

2022

  1. Interactive Abstract Interpretation: Reanalyzing Whole Programs for Cheap
    Julian ErhardSimmo SaanSarah Tilscher, and 4 more authors
    2022

2021

  1. Improving Thread-Modular Abstract Interpretation
    Michael SchwarzSimmo SaanHelmut Seidl, and 3 more authors
    In Static Analysis Symposium, 2021
  2. Goblint: Thread-Modular Abstract Interpretation Using Side-Effecting Constraints (Competition Contribution)
    Simmo SaanMichael Schwarz, Kalmer Apinis, and 4 more authors
    In Tools and Algorithms for the Construction and Analysis of Systems, 2021

Theses

2020

  1. MSc
    Witness Generation for Data-flow Analysis
    Simmo Saan
    University of Tartu, 2020
    Supervisor: Vesal Vojdani

2018

  1. BSc
    Property-based Testing of Abstract Domains 🇪🇪
    Simmo Saan
    University of Tartu, 2018
    Supervisors: Vesal Vojdani, Kalmer Apinis