Research Papers

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

Types and Language Design

Types and Compilation

Certifying Compilers

Logical Frameworks

Scientific Computing

Computation and Information Grids

Self-Adjusting Computation

Security

Other Topics

Last modified: Fri Jul 25 12:54:10 EDT 2014