Publications

• (2025) Compositional Symbolic Execution, Part II
• (2025) Gillian-Rust
• (2024) Matching Plans
• (2024) Compositional Symbolic Execution, Part I
• (2023) Symbolic Debugging with Gillian
• (2021) Gillian, Part II
• (2020) Gillian, Part I
• (2019) JaVerT 2.0
• (2018) Cosette
• (2018) JaVerT

Other Gillian-related publications