Simmo Saan

Simmo Saan

@sim642.eu

Computer scientist. https://sim642.eu/

7 followers 20 following12 posts

Serving on the Organizing Committee for SV-COMP 2027 as C Language Chair and Benchmark Quality Assurance: sv-comp.sosy-lab.org/2027/

sv-comp.sosy-lab.orgSV-COMP 2027 - 16th International Competition on Software Verification

Published "Comparing Transparent Static Analyzers with Open Verification Dashboard": doi.org/10.4230/LIPI...

doi.orgComparing Transparent Static Analyzers with Open Verification Dashboard

New blog post: sim642.eu/blog/2026/06...

sim642.eu A cute challenge with OCaml's polymorphic variants | Simmo Saan

Defended my PhD thesis "Correctness Witnesses for Thread-Modular Program Analysis"! hdl.handle.net/10062/120144

hdl.handle.netCorrectness witnesses for thread-modular program analysisIgaüks tahab, et tarkvara oleks kiire ja lihtsalt töötaks (õigesti), st ei sisaldaks vigu. Mitmelõimelised programmid saavad olla efektiivsed, täites mitut operatsiooni korraga, kuid neid võib olla ke...

Published my PhD thesis "Correctness Witnesses for Thread-Modular Program Analysis": hdl.handle.net/10062/120144

hdl.handle.netCorrectness witnesses for thread-modular program analysisIgaüks tahab, et tarkvara oleks kiire ja lihtsalt töötaks (õigesti), st ei sisaldaks vigu. Mitmelõimelised programmid saavad olla efektiivsed, täites mitut operatsiooni korraga, kuid neid võib olla ke...

Goblint ranked 1st in data races and 2nd in correctness proving overall in SV-COMP 2026: sv-comp.sosy-lab.org/2026/results...

sv-comp.sosy-lab.orgSV-COMP 2026 - 15th International Competition on Software Verification

New blog post: sim642.eu/blog/2026/01...

sim642.eu Times with math: newtx vs Termes | Simmo Saan

New blog post: sim642.eu/blog/2025/10...

sim642.eu DOI to Bib(La)TeX – a misery | Simmo Saan

You are up to date.