Publications

Articles


Idriss Riouak, Christoph Reichenbach, Görel Hedin, Niklas Fors: `A Precise Framework for Source-Level Control-Flow Analysis' in 21st IEEE International Working Conference on Source Code Analysis and Manipulation, SCAM 2021


Christoph Reichenbach: `Software Ticks Need No Specifications' in Proceedings of the 43rd International Conference on Software Engineering: New Ideas and Emerging Results Track

Hampus Balldin, Christoph Reichenbach: `A Domain-Specific Language for Filtering in Application-Level Gateways' in Proceedings of the 19th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences

Christoph Reichenbach: `The PL-Detective Revisited' in Proceedings of the 2020 ACM SIGPLAN SPLASH-E Symposium


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
Distinguished Paper Award



Christoph Reichenbach, Yannis Smaragdakis: `A New Java Runtime for a Parallel World' in Proceedings of the Fun Ideas and Thoughts Session at PLDI








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.