Research Papers

These are some 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: Thu Sep 30 19:16:32 EDT 2021