2 papers
cs.SE2026
The Future of Safety for SaMD
Rhea Malhotra, Tanya Sharma, Krisha Patel +7
An artificial organ carries failure consequences on the scale of an aircraft or a reactor, but the software driving it is rarely held to the same standard. Teams building them rely…
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…