Nat Karmios

According to our database, Nat Karmios authored at least 4 papers between 2023 and 2026.

Collaborative distances:

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

2026

Gillian Debugging: Swinging Through the (Compositional Symbolic Execution) Trees, Extended Version.

Nat Karmios, Sacha-Élie Ayoun, Philippa Gardner

CoRR, February, 2026

Gillian Debugging: Swinging Through the (Compositional Symbolic Execution) Trees.

Nat Karmios, Sacha-Élie Ayoun, Philippa Gardner

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

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

2023

Symbolic Debugging with Gillian.

Nat Karmios, Sacha-Élie Ayoun, Philippa Gardner

Proceedings of the 1st ACM International Workshop on Future Debugging Techniques, 2023