David L. Rager

According to our database, David L. Rager authored at least 4 papers between 2006 and 2016.

Collaborative distances:

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

2016

Formal verification of division and square root implementations, an Oracle report.

David L. Rager, Jo C. Ebergen, Dmitry Nadezhin, Austin Lee, Cuong Kim Chau, Ben Selfridge

Proceedings of the 2016 Formal Methods in Computer-Aided Design, 2016

2013

A Parallelized Theorem Prover for a Logic with Parallel Execution.

David L. Rager, Warren A. Hunt Jr., Matt Kaufmann

Proceedings of the Interactive Theorem Proving - 4th International Conference, 2013

2011

A Futures Library and Parallelism Abstractions for a Functional Subset of Lisp.

David L. Rager, Warren A. Hunt Jr., Matt Kaufmann

Proceedings of ELS 2011 - 4th European Lisp Symposium, Hamburg, Germany, March 31, 2011

2006

Adding parallelism capabilities to ACL2.

David L. Rager

Proceedings of the Sixth International Workshop on the ACL2 Theorem Prover and its Applications, 2006