Steve Kollmansberger

According to our database, Steve Kollmansberger authored at least 6 papers between 2005 and 2010.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2010

Helping students build a mental model of computation.

Steve Kollmansberger

Proceedings of the 15th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, 2010

2006

Functional Pearls: Probabilistic functional programming in Haskell.

Martin Erwig, Steve Kollmansberger

J. Funct. Program., 2006

Gencel: a program generator for correct spreadsheets.

Martin Erwig, Robin Abraham, Steve Kollmansberger, Irene Cooperstein

J. Funct. Program., 2006

Modeling Genome Evolution with a DSEL for Probabilistic Programming.

Martin Erwig, Steve Kollmansberger

Proceedings of the Practical Aspects of Declarative Languages, 8th International Symposium, 2006

2005

Visual Specifications of Correct Spreadsheets.

Robin Abraham, Martin Erwig, Steve Kollmansberger, Ethan Seifert

Proceedings of the 2005 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2005), 2005

Automatic generation and maintenance of correct spreadsheets.

Martin Erwig, Robin Abraham, Irene Cooperstein, Steve Kollmansberger

Proceedings of the 27th International Conference on Software Engineering (ICSE 2005), 2005