Karoliine Holter

According to our database, Karoliine Holter authored at least 19 papers between 2022 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

Goblint: A Portfolio for Mixed Flow-Sensitive Abstract Interpretation - (Competition Contribution).

Simmo Saan, Ali Rasim Kocal, Michael Petter, Karoliine Holter, Julian Erhard, Michael Schwarz, Vesal Vojdani, Helmut Seidl

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2026

Goblitch: Combining Abstract Interpretation with Symbolic Execution via Witnesses - (Competition Contribution).

Karoliine Holter, Paulína Ayaziová, Simmo Saan, Jan Strejcek, Vesal Vojdani

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2026

2025

Goblint in SV-COMP 2026.

Simmo Saan, Ali Rasim Kocal, Michael Petter, Karoliine Holter, Julian Erhard, Michael Schwarz, Vesal Vojdani, Helmut Seidl

Dataset, November, 2025

Goblint in SV-COMP 2026.

Simmo Saan, Ali Rasim Kocal, Michael Petter, Karoliine Holter, Julian Erhard, Michael Schwarz, Vesal Vojdani, Helmut Seidl

Dataset, November, 2025

Goblint in SV-COMP 2026.

Simmo Saan, Ali Rasim Kocal, Michael Petter, Karoliine Holter, Julian Erhard, Michael Schwarz, Vesal Vojdani, Helmut Seidl

Dataset, November, 2025

Goblint in SV-COMP 2026.

Simmo Saan, Ali Rasim Kocal, Michael Petter, Karoliine Holter, Julian Erhard, Michael Schwarz, Vesal Vojdani, Helmut Seidl

Dataset, October, 2025

Sound Static Data Race Verification for C: Is the Race Lost?

Karoliine Holter, Simmo Saan, Patrick Lam, Vesal Vojdani

ACM Trans. Program. Lang. Syst., September, 2025

2024

Interactive abstract interpretation: reanalyzing multithreaded C programs for cheap.

Julian Erhard, Simmo Saan, Sarah Tilscher, Michael Schwarz, Karoliine Holter, Vesal Vojdani, Helmut Seidl

Int. J. Softw. Tools Technol. Transf., December, 2024

Goblint at SV-COMP 2025.

Simmo Saan, Karoliine Holter, Julian Erhard, Michael Schwarz, Sarah Tilscher, Vesal Vojdani, Helmut Seidl

Dataset, November, 2024

Goblint at SV-COMP 2025.

Simmo Saan, Karoliine Holter, Julian Erhard, Michael Schwarz, Sarah Tilscher, Vesal Vojdani, Helmut Seidl

Dataset, October, 2024

Goblint: Abstract Interpretation for Memory Safety and Termination - (Competition Contribution).

Simmo Saan, Julian Erhard, Michael Schwarz, Stanimir Bozhilov, Karoliine Holter, Sarah Tilscher, Vesal Vojdani, Helmut Seidl

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2024

Goblint Validator: Correctness Witness Validation by Abstract Interpretation - (Competition Contribution).

Simmo Saan, Julian Erhard, Michael Schwarz, Stanimir Bozhilov, Karoliine Holter, Sarah Tilscher, Vesal Vojdani, Helmut Seidl

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2024

Abstract Debuggers: Exploring Program Behaviors using Static Analysis Results.

Karoliine Holter, Juhan Oskar Hennoste, Patrick Lam, Simmo Saan, Vesal Vojdani

Proceedings of the 2024 ACM SIGPLAN International Symposium on New Ideas, 2024

Abstract Debugging with GobPie.

Karoliine Holter, Juhan Oskar Hennoste, Simmo Saan, Patrick Lam, Vesal Vojdani

Proceedings of the 2nd ACM International Workshop on Future Debugging Techniques, 2024

2023

Goblint at SV-COMP 2024.

Simmo Saan, Julian Erhard, Michael Schwarz, Stanimir Bozhilov, Karoliine Holter, Sarah Tilscher, Vesal Vojdani, Helmut Seidl

Dataset, November, 2023

Goblint at SV-COMP 2024.

Simmo Saan, Julian Erhard, Michael Schwarz, Stanimir Bozhilov, Karoliine Holter, Sarah Tilscher, Vesal Vojdani, Helmut Seidl

Dataset, November, 2023

Goblint at SV-COMP 2024.

Simmo Saan, Julian Erhard, Michael Schwarz, Stanimir Bozhilov, Karoliine Holter, Sarah Tilscher, Vesal Vojdani, Helmut Seidl

Dataset, November, 2023

Goblint at SV-COMP 2024.

Simmo Saan, Julian Erhard, Michael Schwarz, Stanimir Bozhilov, Karoliine Holter, Sarah Tilscher, Vesal Vojdani, Helmut Seidl

Dataset, November, 2023

2022

Interactive Abstract Interpretation: Reanalyzing Whole Programs for Cheap.

Julian Erhard, Simmo Saan, Sarah Tilscher, Michael Schwarz, Karoliine Holter, Vesal Vojdani, Helmut Seidl

CoRR, 2022