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

Parallelism and Cost Semantics

Security

Other Topics

Last modified: Wed Mar 22 16:41:30 EDT 2017