Caroline Cronjäger

Publication Activity (10 Years)

Years Active: 2022-2024
Publications (10 Years): 3

Top Topics

Face Verification

Asynchronous Circuits

Top Venues

Publications

Andreas Lööw, Daniele Nantes-Sobrinho, Sacha-Élie Ayoun, Caroline Cronjäger, Petar Maksimovic, Philippa Gardner
Compositional Symbolic Execution for Correctness and Incorrectness Reasoning (Extended Version). CoRR (2024)
Petar Maksimovic, Caroline Cronjäger, Andreas Lööw, Julian Sutherland, Philippa Gardner
Exact Separation Logic: Towards Bridging the Gap Between Verification and Bug-Finding. ECOOP (2023)
Petar Maksimovic, Caroline Cronjäger, Julian Sutherland, Andreas Lööw, Sacha-Élie Ayoun, Philippa Gardner
Exact Separation Logic. CoRR (2022)