Maintaining verified software. - Joe Leslie-Hurd (Haskell, 2013)

Computer Theorem Proving and HoTT. - Joe Leslie-Hurd; G. McC. Haworth (J. Int. Comput. Games Assoc., 2013)

Verifying Relative Error Bounds Using Symbolic Simulation. - Jesse Bingham; Joe Leslie-Hurd (CAV, 2014)

Digit Serial Methods with Applications to Division and Square Root (with mechanically checked correctness proofs). - Warren E. Ferguson; Jesse Bingham; Levent Erkök; John R. Harrison; Joe Leslie-Hurd (CoRR, 2017)

Digit Serial Methods with Applications to Division and Square Root. - Warren E. Ferguson; Jesse Bingham; Levent Erkök; John R. Harrison; Joe Leslie-Hurd (IEEE Trans. Computers, 2018)

On the Systematic Creation of Faithfully Rounded Commutative Truncated Booth Multipliers. - Theo Drane; Samuel Coward; Mertcan Temel; Joe Leslie-Hurd (ARITH, 2024)