Christoph Reichenbach's home page at CU Boulder

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

Full name:	Christoph Reichenbach
Languages supported:	English, Deutsch
Office location:	ECCR 1B05E
E-mail:	reichenb (at) colorado.edu
Public GPG key:	here
Phone (office):	+1 (303) 952-4521
Fax (office):	+1 (303) 492-2844
Mailing address:	Department of Computer Science University of Colorado at Boulder Campus Box 430 Boulder, CO 80309-0430

I am a Ph.D. student in the Programming Languages research group at the University of Colorado at Boulder. My advisor is Prof. Dr. Amer Diwan.

CSCI 3155 (Summer 2007): Principles of Programming Languages

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

Franco Salvetti, Stephen Lewis, Christoph Reichenbach: Impact of Lexical Filtering on Overall Opinion Polarity Identification.
AAAI Spring Symposium Series 2004 [PS][PDF]
Franco Salvetti, Stephen Leweis, Christoph Reichenbach: Automatic Opinion Polarity Classification of Movie Reviews.
Colorado Research in Linguistics, Vol. 17, Issue 1, June 2004
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]
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]
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.
Christoph Reichenbach, Michael Burke, Igor Peshansky, Mukund Raghavachari and Rajesh Bordawekar: AXIL: An XPath Intermediate Language.
IBM Research Report RC24075, 2006.
Michael G. Burke, Igor Peshansky, Mukund Raghavachari, Christoph Reichenbach: Analysis of Imperative XML Programs.
DBPL 2007, pp 216-230
Christoph Reichenbach, Amer Diwan: Program Metamorphosis.
University of Colorado at Boulder Technical Report CU-CS-1036-07 [PS][PDF]

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