Demo - CSE 599W

Antoine: Automated Verification of RISC-V Kernel Code (slides)
Danyang: Ensuring Correctness in Switch Configuration
Ellis: NOPaxos in TLA
Eric & Stuart & James W.: Oeuf: compiling Gallina to x86 (slides)
James B.: MemSynth
Joe & Alex: ProverBot9000: Neural Networks for Proof Assistance (slides)
Kaiyuan: Bugs and verification
Keith: Cheerios: a verified serialization library (slides)
Luke & Jared: Ouro: a verified self-hosting compiler
Paul: A survey of security verification (slides)
Anna: Shims for IoT security
Doug: verified upgrades
Helgi: FS verification