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.
|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.|
- Improving Thread-Modular Abstract InterpretationIn Static Analysis Symposium, 2021