Semantics-Driven Language Design: Statically Type-safe Virtual Types in Object-oriented Languages. - Kim B. Bruce; Joseph Vanderwaart (MFPS, 1999)

Data filtering for automatic classification of rocks from reflectance spectra. - Jonathan Moody; Ricardo Bezerra de Andrade e Silva; Joseph Vanderwaart (KDD, 2001)

An expressive, scalable type theory for certified code. - Karl Crary; Joseph Vanderwaart (ICFP, 2002)

A Simplified Account of the Metatheory of Linear LF. - Joseph Vanderwaart; Karl Crary (LFM, 2002)

Classification and filtering of spectra: A case study in mineralogy. - Jonathan Moody; Ricardo Bezerra de Andrade e Silva; Joseph Vanderwaart; Joseph D. Ramsey; Clark Glymour (Intell. Data Anal., 2002)

A typed interface for garbage collection. - Joseph Vanderwaart; Karl Crary (TLDI, 2003)

Typed compilation of recursive datatypes. - Joseph Vanderwaart; Derek Dreyer; Leaf Petersen; Karl Crary; Robert Harper 001; Perry Cheng (TLDI, 2003)

Automated and certified conformance to responsiveness policies. - Joseph Vanderwaart; Karl Crary (TLDI, 2005)