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. Jun 06, 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 04, 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. Mar 30, 2022 🏆 Goblint was the most correct and greenest verifier in SV-COMP 2022 (report).