Caroline Cronjäger

According to our database, Caroline Cronjäger authored at least 5 papers between 2022 and 2024.

Collaborative distances:

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

2024

Compositional Symbolic Execution for Correctness and Incorrectness Reasoning (Artifact).

Andreas Lööw, Daniele Nantes-Sobrinho, Sacha-Élie Ayoun, Caroline Cronjäger, Nat Karmios, Petar Maksimovic, Philippa Gardner

Dagstuhl Artifacts Ser., 2024

Compositional Symbolic Execution for Correctness and Incorrectness Reasoning (Extended Version).

Andreas Lööw, Daniele Nantes-Sobrinho, Sacha-Élie Ayoun, Caroline Cronjäger, Petar Maksimovic, Philippa Gardner

CoRR, 2024

Compositional Symbolic Execution for Correctness and Incorrectness Reasoning.

Andreas Lööw, Daniele Nantes-Sobrinho, Sacha-Élie Ayoun, Caroline Cronjäger, Petar Maksimovic, Philippa Gardner

Proceedings of the 38th European Conference on Object-Oriented Programming, 2024

2023

Exact Separation Logic: Towards Bridging the Gap Between Verification and Bug-Finding.

Petar Maksimovic, Caroline Cronjäger, Andreas Lööw, Julian Sutherland, Philippa Gardner

Proceedings of the 37th European Conference on Object-Oriented Programming, 2023

2022

Exact Separation Logic.

Petar Maksimovic, Caroline Cronjäger, Julian Sutherland, Andreas Lööw, Sacha-Élie Ayoun, Philippa Gardner

CoRR, 2022