Showing cs.SEShow all
3 papers · 1 filter
cs.SE2026
SaltBench: A Referee-Gated Protocol for Measuring Method Effects in Machine-Checked Software Work
Jason Hickey
SaltBench asks how a machine referee (a proof kernel, program verifier or withheld test suite) changes how a coding agent works. Outcomes are decided outside the agent's toolchain;…
cs.SE2026
AI with Authority, from Application to Silicon
Jason Hickey
For sixty years, machine verification has been a major cost overhead, affordable only for exceptional artifacts. Here we report that generative AI inverts this relationship: at AI…
cs.SE2026
Jas: AI-Paired Engineering as a Revival of N-Version Programming
Jason Hickey
I report a case study in AI-paired software engineering: five working ports of a vector illustration application across Rust, Swift, OCaml, Python, and browser-based platforms, bui…