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. |