news

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 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.
Mar 30, 2022 πŸ† Goblint was the most correct and greenest verifier in SV-COMP 2022 (report).