Publications

A Parallelized Theorem Prover for a Logic with Parallel Execution

See the parallelism page.

Parallelizing an Interactive Theorem Prover: Functional Programming and Proofs with ACL2

The University of Texas at Austin, Ph.D. Dissertation, 2012

Dissertation Defense

Also see the parallelism page.

An Executable Model for Security Protocol JFKr

Eighth International Workshop on the ACL2 Theorem Prover and Its Applications, 2009

See the security page.

Implementing a Parallelism Library for a Functional Subset of Lisp

The International Lisp Conference, 2009

See the parallelism page.

Implementing a Parallelism Library for ACL2 in Modern Day Lisps

Master's Thesis, 2008

See the parallelism page.

Adding Parallelism Capabilities to ACL2

Sixth International Workshop on the ACL2 Theorem Prover and Its Applications, 2006

See the parallelism page.


Valid XHTML 1.1