Research Papers

These are most of my research papers, grouped by rough subject classifications.

Types and Programming Languages

Higher Type Theory

Types and Compilation

Certifying Compilers

Type Refinements

Mechanized Metatheory

Logical Frameworks

Scientific Computing

Computation Grids

Self-Adjusting Computation

Verification of Concurrent and Probabilistic Programs

Parallelism and Cost Semantics

Security

Other Topics

Last modified: Sat Nov 18 13:03:41 EST 2017