collaborators

1 paper

cs.PL2025

Compiling by Proving: Language-Agnostic Automatic Optimization from Formal Semantics

Jianhong Zhao, Everett Hildenbrandt, Juan Conejero +1

Verification proofs encode complete program behavior, yet we discard them after checking correctness. We present compiling by proving, a paradigm that transforms these proofs into…