Karoliine Holter -

Registered user since Thu 22 Aug 2024

Name:Karoliine Holter

Country:Estonia

Affiliation:University of Tartu, Estonia

GitHub: https://github.com/karoliineh

Contributions

2025

PLDI

Author of [TOPLAS] Sound Static Data Race Verification for C: Is the Race Lost? within the PLDI Research Papers-track

SOAP

Committee Member in Program Committee within the State Of the Art in Program Analysis-track

2024

SPLASH

Author of Abstract Debuggers: Exploring Program Behaviors Using Static Analysis Results within the Onward! Papers-track

DEBT

Author of Abstract Debugging with GobPie within the DEBT 2024-track

2022

PRIDE

Author of GobPie: An IDE Integration for Goblint Using MagpieBridge within the PRIDE 2022-track