Showing cs.SEShow all
2 papers · 1 filter
cs.SE2026
Automated Testing and Repair for Verified Compilers Generated by a Coding Agent
Martin Rinard
We present an agent based automated testing and repair system for verified compilers that contain four kinds of code: verified code, checked code, unverified code, and specificatio…
cs.SE2026
Automated Lemma Discovery in Agentic Program Verification
Huan Zhao, Haoxin Tu, Zhengyao Liu +2
Deductive verification provides strong correctness guarantees for code by extracting verification conditions (VCs) and writing formal proofs for them. The expertise-intensive task…