Showing cs.PLShow all
3 papers · 1 filter
cs.PL2026
Incremental Computation for Efficient Programmable Inference in Probabilistic Programs
Fabian Zaiser, Jack Czenszak, Martin C. Rinard +2
Inference in probabilistic programs generally requires evaluating many possible program executions to find those of high posterior density. To scale inference to large datasets, it…
cs.PL2026
Testing, Credible Compilation, and Verification in the Axon Verified Compiler in Lean and Claude Code
Martin Rinard
This paper presents the use of testing, credible compilation/translation validation, verification, and audits in the Axon compiler. Axon comes with fully machine checked proofs tha…
cs.PL2025
Probing the Design Space: Parallel Versions for Exploratory Programming
Tom Beckmann, Joana Bergsiek, Eva Krebs +4
Exploratory programming involves open-ended tasks. To evaluate their progress on these, programmers require frequent feedback and means to tell if the feedback they observe is brin…