Simmo Saan @sim642.eu · 25/06/2026Published "Comparing Transparent Static Analyzers with Open Verification Dashboard": doi.org/10.4230/LIPI...doi.orgComparing Transparent Static Analyzers with Open Verification Dashboard 000
Simmo Saan @sim642.eu · 23/06/2026New blog post: sim642.eu/blog/2026/06...sim642.eu A cute challenge with OCaml's polymorphic variants | Simmo Saan 000
Simmo Saan @sim642.eu · 24/04/2026Defended my PhD thesis "Correctness Witnesses for Thread-Modular Program Analysis"! hdl.handle.net/10062/120144hdl.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... 000
Simmo Saan @sim642.eu · 07/04/2026Published my PhD thesis "Correctness Witnesses for Thread-Modular Program Analysis": hdl.handle.net/10062/120144hdl.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... 000
Simmo Saan @sim642.eu · 15/02/2026Goblint 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 000
Simmo Saan @sim642.eu · 24/01/2026New blog post: sim642.eu/blog/2026/01...sim642.eu Times with math: newtx vs Termes | Simmo Saan 000
Simmo Saan @sim642.eu · 05/12/2025Coincidentally, the stream VoDs were just replaced with individual videos (bsky.app/profile/sigp...). So the functional networking is now at youtu.be/1_Y6hmj-VpYyoutu.be 210
Simmo Saan @sim642.eu · 13/11/2025Despite having the correct key, I am getting: git@github.com: Permission denied (publickey). 000
Simmo Saan @sim642.eu · 06/10/2025New blog post: sim642.eu/blog/2025/10...sim642.eu DOI to Bib(La)TeX – a misery | Simmo Saan 010
Simmo Saan @sim642.eu · 16/09/2025They should know the difference between TeX and LaTeX, so they could hate Lamport less and Knuth more. 111
