Simmo Saan
![IMG_20191001_184658_248.jpg](/assets/img/IMG_20191001_184658_248.jpg)
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
Apr 04, 2024 | 📄 Published Goblint Validator: Correctness Witness Validation by Abstract Interpretation (Competition Contribution) and Goblint: Abstract Interpretation for Memory Safety and Termination (Competition Contribution). |
---|---|
Mar 27, 2024 | 🗳️ Serving on the Program Committee for OCaml Workshop 2024. |
Mar 22, 2024 | 🏆 Goblint won the data race category in SV-COMP 2024 (results). |
Jan 16, 2024 | 🥇 Correctness Witness Validation by Abstract Interpretation won the Best Paper Award at VMCAI 2024. |
Dec 30, 2023 | 📄 Published Correctness Witness Validation by Abstract Interpretation. |
latest posts
Jul 22, 2024 | Springer anti-typesetters, part 2 |
---|---|
Jul 21, 2024 | Springer anti-typesetters, part 1 |
Jul 20, 2024 | Automata-theoretic approach to regex crosswords |
Jul 15, 2024 | Error in Conway's "Regular Algebra and Finite Machines" |