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
Jun 6, 2023 | π Published When Long Jumps Fall Short: Control-Flow Tracking and Misuse Detection for Non-Local Jumps in C. |
---|---|
Apr 20, 2023 | π Published Goblint: Autotuning Thread-Modular Abstract Interpretation (Competition Contribution). |
Apr 17, 2023 | π Published Clustered Relational Thread-Modular Abstract Interpretation with Local Traces. |
Feb 4, 2023 | π Goblint won the data race category in SV-COMP 2023 (results). |
Sep 21, 2022 | π Published preprint Interactive Abstract Interpretation: Reanalyzing Whole Programs for Cheap. |