Author

Jason Hickey

2 papers indexed here

We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.

Not the right person? Other researchers publish under this name.

#software testing Preprint Sep 2026

SaltBench: A Referee-Gated Protocol for Measuring Method Effects in Machine-Checked Software Work

A protocol that makes the referee's effect measurable and whose answers cannot be narrated afterwards is reported, which finds that the arm instructed to specify and verify cost more on all five components, and by a practical margin.

Jason Hickey · 0 citations

Review Aug 2026

AI with Authority, from Application to Silicon

Generative AI inverts this relationship: at AI speed, machine verification is not only economical but essential to productivity --- it is the incorruptible referee that lets one person safely direct autonomous machine work at scale.

Jason Hickey · 1 citation