July 15, 2025

Prasita and Minghai’s paper on SynVer, which uses LLMs to generate C programs together with machine-checked proofs of their correctness, has been accepted to ASE ‘25. Congratulations!