Simmo Saan
Computer science PhD student specializing in static program analysis and programming languages at the Laboratory for Software Science at the Institute of Computer Science at the 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
Sep 28, 2024 | 🗳️ Serving on the Organizing Committee for SV-COMP 2025 as Benchmark Quality Assurance. |
---|---|
Sep 25, 2024 | 📄 Published Interactive abstract interpretation: reanalyzing multithreaded C programs for cheap (after two years under review). |
Sep 17, 2024 | 🥇 Won the Distinguished Artifact Reviewer Award at ECOOP 2024. |
Sep 13, 2024 | 📄 Published Abstract Debugging with GobPie. |
Aug 29, 2024 | 📄 Published When long jumps fall short: control-flow tracking and misuse detection for nonlocal jumps in C: Extended version. |
latest posts
Aug 24, 2024 | TP-Link cannot get IPv6 firewall right |
---|---|
Aug 11, 2024 | Tailscale HTTPS certificate on Synology NAS |
Aug 10, 2024 | Firefox HSTS bypass |
Jul 22, 2024 | Springer anti-typesetters, part 2 |
Jul 21, 2024 | Springer anti-typesetters, part 1 |