Steve Kollmansberger

Publication Activity (10 Years)

Years Active: 2005-2010
Publications (10 Years): 0

Publications

Steve Kollmansberger
Helping students build a mental model of computation. ITiCSE (2010)
Martin Erwig, Steve Kollmansberger
Functional Pearls: Probabilistic functional programming in Haskell. J. Funct. Program. 16 (1) (2006)
Martin Erwig, Robin Abraham, Steve Kollmansberger, Irene Cooperstein
Gencel: a program generator for correct spreadsheets. J. Funct. Program. 16 (3) (2006)
Martin Erwig, Steve Kollmansberger
Modeling Genome Evolution with a DSEL for Probabilistic Programming. PADL (2006)
Martin Erwig, Robin Abraham, Irene Cooperstein, Steve Kollmansberger
Automatic generation and maintenance of correct spreadsheets. ICSE (2005)
Robin Abraham, Martin Erwig, Steve Kollmansberger, Ethan Seifert
Visual Specifications of Correct Spreadsheets. VL/HCC (2005)