Combining functional programming and hardware verification (abstract of invited talk)

Related papers

• Mechanized verification of preemptive OS kernels (invited talk) CPP 2017
• Practical Verification for the Working Programmer with CodeContracts and Abstract Interpretation - (Invited Talk) VMCAI 2011
• The sel4 verification: the art and craft of proof and the reality of commercial support (invited talk) CPP 2022
• Learning to Split: A Reinforcement-Learning-Guided Splitting Heuristic for Neural Network Verification (Invited Talk) CAV 2026
• Advanced module systems: a guide for the perplexed (abstract of invited talk) ICFP 2000
• Perspectives on formal verification (invited talk) CPP 2016
• CRIS: The Power of Imagination in Specification and Verification (Invited Talk) CPP 2025
• Keeping the asm in Wasm: Running High-Level Languages on a Low-Level VM (Invited Talk) DLS 2023