Publications

Christoph Reichenbach, Neil Immerman, Yannis Smaragdakis, Edward Aftandilian, Samuel Guyer: What can the GC compute efficiently? A language for heap assertions at GC time.
In Proceedings of the ACM international conference on object oriented programming systems, languages, and applications (OOPSLA) (2010). [PDF] [page]
Christoph Reichenbach, Yannis Smaragdakis, A New Java Runtime for a Parallel World.
PLDI Fun Ideas and Thoughts (2010) [PDF]
Christoph Reichenbach, Program Metamorphosis. Dissertation (Spring 2010). [PDF] [page]
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 Documentation for Java Classes.
In IEEE Transactions on Software Engineering, Springer-Verlag, ISBN: 1-4020-4026-1. Volume 20 of The Information Retrieval Series (2006).
(See TR CU-CS-985-04 below for an earlier version of this paper)
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]
J. Henkel, C. Reichenbach, A. Diwan: Developing and Debugging Algebraic Specifications for Java Classes.
In ACM Transactions on Software Engineering and Methodology, Vol. 17, Issue 3 (2008).
(See TR CU-CS-984-04 below for an earlier version of this paper)
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 Lewis, 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]