2 papers
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…