Christoph Reichenbach's home page at CU Boulder

Christoph Reichenbach's home page at the University of Colorado at Boulder

Contact information

Full name:	Christoph Reichenbach
Languages supported:	English, Deutsch
E-mail:	reichenb (at) colorado.edu
Mailing address:	Christoph Reichenbach Computer Science Building 140 Governors Drive University of Massachusetts Amherst, MA 01003-9264

I recently completed my PhD on program metamorphosis, a novel technique for interactive multi-step program transformation with strong behaviour preservation guarantees (described in more detail here), supervised by Amer Diwan.

I am currently a postdoctoral fellow with Yannis Smaragdakis at the University of Massachusetts, Amherst.

Teaching

CSCI 3155 (Summer 2007): Principles of Programming Languages

Research

Research interests

My research interests include, but are not neccessarily limited to:

Programmer productivity tools, particularly tools that ease program modification
Formal semantics of programming languages (denotational, axiomatic, operational) and their applications
Functional programming languages such as Haskell and Standard ML

Publications

Christoph Reichenbach, Program Metamorphosis. Dissertation (Spring 2010). [PDF]
Christoph Reichenbach, Devin Coughlin, Amer Diwan: Program Metamorphosis.
in 23rd European Conference on Object-Oriented Programming (ECOOP) (2009) [PDF]
Christoph Reichenbach, Michael Burke, Igor Peshansky, Mukund Raghavachari: Analysis of Imperative XML Programs.
in Information Systems, Special Issue on DBPL 2007 Information Systems. Marcelo Arenas and Michael I. Schwartzbach (editors) (2009) [PDF]
Christoph Reichenbach, Amer Diwan: Program Metamorphosis.
University of Colorado at Boulder Technical Report CU-CS-1036-07 [PS][PDF]
Michael G. Burke, Igor Peshansky, Mukund Raghavachari, Christoph Reichenbach: Analysis of Imperative XML Programs.
DBPL 2007, pp 216-230
Johannes Henkel, Christoph Reichenbach, Amer Diwan: Discovering Algebraic Specifications for Java Classes.
University of Colorado at Boulder Technical Report CU-CS-985-04 [PS][PDF]
Johannes Henkel, Christoph Reichenbach, Amer Diwan: Developing and Debugging Algebraic Specifications for Java Classes.
University of Colorado at Boulder Technical Report CU-CS-984-04 [PS][PDF]
Christoph Reichenbach, Michael Burke, Igor Peshansky, Mukund Raghavachari and Rajesh Bordawekar: AXIL: An XPath Intermediate Language.
IBM Research Report RC24075, 2006.
Franco Salvetti, Christoph Reichenbach, Stephen Lewis: Opinion Polarity Identification of Movie Reviews.
in Computing Attitude and Affect in Text: Theory and Applications, James G. Shanahan, Yan Qu, Janyce Wiebe (editors).
Springer-Verlag 2006, ISBN-10: 1-4020-4026-1. Volume 20 of The Information Retrieval Series.
Franco Salvetti, Stephen Leweis, Christoph Reichenbach: Automatic Opinion Polarity Classification of Movie Reviews.
Colorado Research in Linguistics, Vol. 17, Issue 1, June 2004
Franco Salvetti, Stephen Lewis, Christoph Reichenbach: Impact of Lexical Filtering on Overall Opinion Polarity Identification.
AAAI Spring Symposium Series 2004 [PS][PDF]

Other activities

I have been involved in other projects as well; some references are listed here.