Joe Leslie-Hurd

According to our database, Joe Leslie-Hurd authored at least 6 papers between 2013 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

On the Systematic Creation of Faithfully Rounded Commutative Truncated Booth Multipliers.

Theo Drane, Samuel Coward, Mertcan Temel, Joe Leslie-Hurd

Proceedings of the 31st IEEE Symposium on Computer Arithmetic, 2024

2018

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

2017

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

2014

Verifying Relative Error Bounds Using Symbolic Simulation.

Jesse Bingham, Joe Leslie-Hurd

Proceedings of the Computer Aided Verification - 26th International Conference, 2014

2013

Computer Theorem Proving and HoTT.

Joe Leslie-Hurd, G. McC. Haworth

J. Int. Comput. Games Assoc., 2013

Maintaining verified software.

Joe Leslie-Hurd

Proceedings of the 2013 ACM SIGPLAN Symposium on Haskell, 2013