Ben Greenman
The University of UtahTyping Python, Gradually
Formally Speaking
Our seminar series for researchers working at the seam between formal methods and AI. Every talk from the series in one place — recordings are posted as they are ready.
All talks
8 talks, newest first
John Regehr
UtahTranslation Validation for LLVM's AArch64 and RISC-V Backends
Adam Chlipala
MITScaling Formal Verification to Complete Hardware-Software Stacks
Ranjit Jhala
UCSDFlux: Refinement Types for Verified Rust Systems
Xinyu Wang
U-MSuperoptimization for Database Queries
Ilya Sergey
NUSUsing Lean as a Multi-Modal Meta-Verifier
Aws Albarghouthi
UW–Madison · AWSVerifying, Heavy & Light
Nada Amin
Harvard · MidSpiralFormal Verification + AI: MidSpiral's Practical Approach