Simmo Saan


Computer science PhD student specializing in static program analysis and programming languages at University of Tartu in Estonia.

Currently the lead developer and maintainer of Goblint, a static analysis framework for C. Also a contributor to the OCaml ecosystem at large.

Prolific (functional) programmer and open source aficionado in general: sim642 on GitHub.


Jan 16, 2023 📄 Published preprint Clustered Relational Thread-Modular Abstract Interpretation with Local Traces.
Sep 21, 2022 📄 Published preprint Interactive Abstract Interpretation: Reanalyzing Whole Programs for Cheap.
Mar 30, 2022 🏆 Goblint was the most correct and greenest verifier in SV-COMP 2022 (report).

selected publications

  1. Improving Thread-Modular Abstract Interpretation
    Michael Schwarz, Simmo Saan, Helmut Seidl, and 3 more authors
    In Static Analysis Symposium, 2021