3 papers
cs.SE2026
SaltBench: A Referee-Gated Protocol for Measuring Method Effects in Machine-Checked Software Work
Jason Hickey
SaltBench is a benchmark protocol for one question: How does a machine referee change the way a coding agent works? A machine referee --- a proof kernel, a program verifier, or a w…
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…