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.
news
Feb 4, 2023 | π Goblint won the data race category in SV-COMP 2023 (results). |
---|---|
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). |