Research

Generalized File System Dependencies. [PDF] [Presentation: PowerPoint, PDF]
Christopher Frost, Mike Mammarella, Eddie Kohler, Andrew de los Reyes, Shant Hovsepian, Andrew Matsuoka, and Lei Zhang.
ACM Symposium on Operating Systems Principles (SOSP '07), Stevenson, WA, October, 2007. (Audience choice awardee.)
The KudOS Architecture for File Systems. [PDF]
Andrew de los Reyes, Christopher Frost, Eddie Kohler, Mike Mammarella, and Lei Zhang.
ACM Symposium on Operating Systems Principles Work-in-Progress (SOSP WIP '05), Brighton, United Kingdom, October, 2005.

Expressive and Modular Predicate Dispatch for Java. [PDF]
Todd Millstein, Christopher Frost, Jason Ryder, and Alessandro Warth.
ACM Transactions on Programming Languages and Systems (TOPLAS), to appear.
Modularly Typesafe Interface Dispatch in JPred. [PDF] [Presentation: PowerPoint, PDF]
Christopher Frost and Todd Millstein.
The 2006 International Workshop on Foundations and Developments of Object-Oriented Languages (FOOL/WOOD '06), Charleston, South Carolina, January 14, 2006.
Featherweight JPred. [PDF]
Christopher Frost and Todd Millstein.
UCLA CS Tech Report CSD-TR-050038, October 2005.

Undergraduate

Amorphous Shape Mapping. [PDF, text]
Christopher Frost.
Undergraduate Thesis, University of Virginia, School of Engineering and Applied Sciences, May 2004.
Shapsim, simulator and analysis software. [Software]
Christopher Frost.
Undergraduate Thesis, University of Virginia, School of Engineering and Applied Sciences, May 2004.

Pancakes, Puzzles, and Polynomials: Cracking the Cracker Barrel. [PDF]
Christopher Frost, Michael Peck, and David Evans.
ACM Special Interest Group on Algorithms and Computation Theory (SIGACT) News, Volume 35, Number 1, March 2004.
Pancakes, Puzzles, and Polynomials: Cracking the Cracker Barrel. [PDF]
Christopher Frost, Michael Peck, and David Evans.
UVa CS Tech Report CS-2004-04, March 2004.
Pancakes, Puzzles, and Polynomials: Cracking the Cracker Barrel. [Presentation: PowerPoint] [Abstract: Word, PDF]
Christopher Frost and Michael Peck.
UVa Undergraduate Research and Design Symposium, Spring 2003.