Automatic generation and maintenance of correct spreadsheets. - Martin Erwig; Robin Abraham; Irene Cooperstein; Steve Kollmansberger (ICSE, 2005)

Visual Specifications of Correct Spreadsheets. - Robin Abraham; Martin Erwig; Steve Kollmansberger; Ethan Seifert (VL/HCC, 2005)

Modeling Genome Evolution with a DSEL for Probabilistic Programming. - Martin Erwig; Steve Kollmansberger (PADL, 2006)

Gencel: a program generator for correct spreadsheets. - Martin Erwig; Robin Abraham; Steve Kollmansberger; Irene Cooperstein (J. Funct. Program., 2006)

Functional Pearls: Probabilistic functional programming in Haskell. - Martin Erwig; Steve Kollmansberger (J. Funct. Program., 2006)

Helping students build a mental model of computation. - Steve Kollmansberger (ITiCSE, 2010)