3 papers
cs.PL2026
Program Analysis with Prophecy and History Variables in the Nexis Compiler
Martin Rinard
We present prophecy variables for forward formulations of program analysis problems that require information about the future execution of the program. We specify prophecy and hist…
cs.PL2026
Quantitative Comparison of Credible Compilation and Verification In Coding Agent Compiler Development
Martin Rinard
Formal program verification is a longstanding goal in the field. We present the first quantitative comparison of the two primary compiler verification approaches, credible compilat…
cs.PL2026
Backwards Data-Flow Analysis using Prophecy Variables in the BuildIt System
Ajay Brahmakshatriya, Saman Amarasinghe, Martin Rinard
Many program transformations and optimizations require information about the future behavior of the program. A standard way to obtain this information is to build an intermediate p…