Joe Leslie-Hurd

Publication Activity (10 Years)

Years Active: 2013-2024
Publications (10 Years): 4

Top Topics

Simulation Model

Top Venues

IEEE Trans. Computers

Publications

Theo Drane, Samuel Coward, Mertcan Temel, Joe Leslie-Hurd
On the Systematic Creation of Faithfully Rounded Commutative Truncated Booth Multipliers. ARITH (2024)
Theo Drane, Samuel Coward, Mertcan Temel, Joe Leslie-Hurd
On the Systematic Creation of Faithfully Rounded Commutative Truncated Booth Multipliers. CoRR (2024)
Warren E. Ferguson, Jesse Bingham, Levent Erkök, John R. Harrison, Joe Leslie-Hurd
Digit Serial Methods with Applications to Division and Square Root. IEEE Trans. Computers 67 (3) (2018)
Warren E. Ferguson, Jesse Bingham, Levent Erkök, John R. Harrison, Joe Leslie-Hurd
Digit Serial Methods with Applications to Division and Square Root (with mechanically checked correctness proofs). CoRR (2017)
Jesse Bingham, Joe Leslie-Hurd
Verifying Relative Error Bounds Using Symbolic Simulation. CAV (2014)
Joe Leslie-Hurd
Maintaining verified software. Haskell (2013)
Joe Leslie-Hurd, G. McC. Haworth
Computer Theorem Proving and HoTT. J. Int. Comput. Games Assoc. 36 (2) (2013)