David L. Rager

Parallelizing an interactive theorem prover: functional programming and proofs with acl2

Warren A. Hunt, David L. Rager, W. Hunt, 2012 .

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

Matt Kaufmann, Warren A. Hunt, David L. Rager, 2011, ELS.

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

Jo C. Ebergen, David L. Rager, Cuong Kim Chau, 2016, 2016 Formal Methods in Computer-Aided Design (FMCAD).

A Parallelized Theorem Prover for a Logic with Parallel Execution

Matt Kaufmann, Warren A. Hunt, David L. Rager, 2013, ITP.

Proceedings Thirteenth International Workshop on the ACL2 Theorem Prover and Its Applications, Austin, Texas, USA, 1-2 October 2015

Matt Kaufmann, David L. Rager, 2015, ACL2.

Adding parallelism capabilities to ACL2

David L. Rager, 2006, ACL2 '06.

An executable model for security protocol JFKr

David L. Rager, 2009, ACL2 '09.