David L. Rager

Publication Activity (10 Years)

Years Active: 2006-2016
Publications (10 Years): 1

Top Topics

Formal Verification

Sequent Calculus

Riemannian Manifolds

Query Processing

Top Venues

Publications

David L. Rager, Jo C. Ebergen, Dmitry Nadezhin, Austin Lee, Cuong Kim Chau, Ben Selfridge
Formal verification of division and square root implementations, an Oracle report. FMCAD (2016)
David L. Rager, Warren A. Hunt Jr., Matt Kaufmann
A Parallelized Theorem Prover for a Logic with Parallel Execution. ITP (2013)
David L. Rager, Warren A. Hunt Jr., Matt Kaufmann
A Futures Library and Parallelism Abstractions for a Functional Subset of Lisp. ELS (2011)
David L. Rager
Adding parallelism capabilities to ACL2. ACL2 (2006)