Karoliine Holter

Orcid: 0009-0008-3725-4131

According to our database¹, Karoliine Holter authored at least 12 papers between 2022 and 2024.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Links

On csauthors.net:

Bibliography

2024

Interactive abstract interpretation: reanalyzing multithreaded C programs for cheap.

[BibT_eX]

[DOI]

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

Goblint at SV-COMP 2025.

[BibT_eX]

[DOI]

Dataset, November, 2024

Goblint at SV-COMP 2025.

[BibT_eX]

[DOI]

Dataset, October, 2024

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

[BibT_eX]

[DOI]

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

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

[BibT_eX]

[DOI]

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

Abstract Debuggers: Exploring Program Behaviors using Static Analysis Results.

[BibT_eX]

[DOI]

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

Abstract Debugging with GobPie.

[BibT_eX]

[DOI]

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

2023

Goblint at SV-COMP 2024.

[BibT_eX]

[DOI]

Dataset, November, 2023

Goblint at SV-COMP 2024.

[BibT_eX]

[DOI]

Dataset, November, 2023

Goblint at SV-COMP 2024.

[BibT_eX]

[DOI]

Dataset, November, 2023

Goblint at SV-COMP 2024.

[BibT_eX]

[DOI]

Dataset, November, 2023

2022

Interactive Abstract Interpretation: Reanalyzing Whole Programs for Cheap.

[BibT_eX]

[DOI]

CoRR, 2022

Karoliine Holter

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...