The University of Utah
Typing Python, Gradually
Utah
Translation Validation for LLVM's AArch64 and RISC-V Backends
MIT
Scaling Formal Verification to Complete Hardware-Software Stacks
UCSD
Flux: Refinement Types for Verified Rust Systems
U-M
Superoptimization for Database Queries
NUS
Using Lean as a Multi-Modal Meta-Verifier
UW–Madison · AWS
Verifying, Heavy & Light
Harvard · MidSpiral
Formal Verification + AI: MidSpiral's Practical Approach