publications

2023

  1. Clustered Relational Thread-Modular Abstract Interpretation with Local Traces
    Michael SchwarzSimmo SaanHelmut Seidl, and 2 more authors
    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

  1. MSc
    Witness Generation for Data-flow Analysis
    Simmo Saan
    University of Tartu, 2020
    Supervisor: Vesal Vojdani
  2. BSc
    Property-based Testing of Abstract Domains 🇪🇪
    Simmo Saan
    University of Tartu, 2018
    Supervisors: Vesal Vojdani, Kalmer Apinis