Formal Verification of LLM-Generated Code: Slides from FATTW 2026 Talk
CatAstro_Piyush · x · 2026-10-18
Geoffrey Huntley shared slides from Prof. Lucas C. Cordeiro's talk "Formal Verification of LLM-Generated Code" at FATTW 2026 (co-located with ASE 2026, Munich, Oct 15–16).
- Cordeiro is Professor of Computer Science at the University of Manchester, Director of the Arm Centre of Excellence, and Area Lead for Systems & Software Security (S3), also affiliated with UFAM
- The 30-slide deck traces the field back to Manchester 1948 and the first stored program, framing how formal methods can verify the correctness of LLM-generated code
- A notable crossover between formal verification research and AI coding workflows
More from coding & agent
- LLM one-shots a Minecraft 3x3 piston door by building its own Linux test infra — Vjeux · 2026-10-18
- Dev builds Mumbai-inspired 3D manga background generator from OpenStreetMap data — CurieuxExplorer · 2026-10-18
- Solo founder builds a money-printing data service on Claude's Pi Durable harness — MicahBerkley · 2026-10-18
- Dev builds Arch-based OS with custom desktop and browser using Claude Code — Snoo-10493 · 2026-10-18
- Pi Durable went through 7 rewrites yet agent session files still lack a standard — ricklamers · 2026-10-18
- Five SaaS agent workflows fail the same way — and it's never model intelligence — usehive · 2026-10-18