Publications

Articles

Alexandru Dura, Hampus Balldin, Christoph Reichenbach: `MetaDL: Analysing Datalog in Datalog' in Proceedings of the 8th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis
Best Presentation Award




Krishna Narasimhan, Christoph Reichenbach: `Copy and Paste Redeemed' in Proceedings of the 30th IEEE/ACM International Conference on Automated Software Engineering
Distinguished Paper Award




Kaituo Li, Christoph Reichenbach, Yannis Smaragdakis, Michal Young: `Second-order constraints in dynamic invariant inference' in Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering - ESEC/FSE 2013


Kaituo Li, Christoph Reichenbach, Christoph Csallner, Yannis Smaragdakis: `Residual investigation: predictive and precise bug detection' in Proceedings of the 2012 International Symposium on Software Testing and Analysis - ISSTA 2012










Franco Salvetti, Stephen Lewis, Christoph Reichenbach: `Impact of lexical filtering on overall opinion polarity identification' in Proceedings of the AAAI Spring Symposium on Exploring Attitude and Affect in Text: Theories and Applications, Stanford, US

Theses

Christoph Reichenbach: `Program Metamorphosis'; Ph.D. dissertation, Department of Computer Science, University of Colorado at Boulder

Tech Reports

Christoph Reichenbach, Amer Diwan: `Program Metamorphosis'; Technical Report 1036, Department of Computer Science, University of Colorado at Boulder

Johannes Henkel, Christoph Reichenbach, Amer Diwan: `Developing and Debugging Algebraic Specifications for Java Classes'; Technical Report 984, Department of Computer Science, University of Colorado at Boulder

Johannes Henkel, Christoph Reichenbach, Amer Diwan: `Discovering Documentation for Java Container Classes'; Technical Report 985, Department of Computer Science, University of Colorado at Boulder


This page is Copyright © 2004-2019 Christoph Reichenbach. Re-use in whole or in parts is allowed without restriction.