☰

Christoph Reichenbach, Ph.D.

Affiliations: 
2010 Computer Science University of Colorado, Boulder, Boulder, CO, United States 
Area:
Computer Science
Google:
"Christoph Reichenbach"
Tree Publications Similar researchers PubMed Report error

Parents

Sign in to add mentor
Amer Diwan grad student 2010 CU Boulder
 (Program metamorphosis.)

Children

Sign in to add trainee

Collaborators

Sign in to add collaborator
BETA: Related publications

Publications

You can help our author matching system! If you notice any publications incorrectly attributed to this author, please sign in and mark matches as correct or incorrect.

Narasimhan K, Reichenbach C. (2016) Copy and Paste Redeemed Proceedings - 2015 30th Ieee/Acm International Conference On Automated Software Engineering, Ase 2015. 630-640
Ackermann H, Reichenbach C, Müller C, et al. (2015) A backend extension mechanism for PQL/Java with free run-time optimisation Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 9031: 111-130
Li K, Reichenbach C, Csallner C, et al. (2014) Residual investigation: Predictive and precise Bug detection Acm Transactions On Software Engineering and Methodology. 24
Li K, Reichenbach C, Smaragdakis Y, et al. (2013) SEDGE: Symbolic example data generation for dataflow programs 2013 28th Ieee/Acm International Conference On Automated Software Engineering, Ase 2013 - Proceedings. 235-245
Reichenbach C, Smaragdakis Y, Immerman N. (2012) PQL: A purely-declarative java extension for parallel programming Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 7313: 53-78
Reichenbach C, Immerman N, Smaragdakis Y, et al. (2010) What can the GC compute efficiently? A language for heap assertions at GC time Acm Sigplan Notices. 45: 256-269
Reichenbach C, Immerman N, Smaragdakis Y, et al. (2010) What can the GC compute efficiently?: A language for heap assertions at GC time Proceedings of the Conference On Object-Oriented Programming Systems, Languages, and Applications, Oopsla. 256-269
Reichenbach C, Coughlin D, Diwan A. (2009) Program metamorphosis Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 5653: 394-418
Henkel J, Reichenbach C, Diwan A. (2008) Developing and debugging algebraic specifications for Java classes Acm Transactions On Software Engineering and Methodology. 17
Henkel J, Reichenbach C, Diwan A. (2008) Errata for "Discovering Documentation for Java Container Classes" [Aug 07 526-543] Ieee Transactions On Software Engineering. 34: 303-303
See more...