@article{HenkelRD08:0,
  title = {Errata for  Discovering Documentation for Java Container Classes },
  author = {Johannes Henkel and Christoph Reichenbach and Amer Diwan},
  year = {2008},
  doi = {10.1109/TSE.2008.22},
  url = {http://doi.ieeecomputersociety.org/10.1109/TSE.2008.22},
  tags = {Java},
  researchr = {https://researchr.org/publication/HenkelRD08%3A0},
  cites = {0},
  citedby = {0},
  journal = {TSE},
  volume = {34},
  number = {2},
  pages = {303},
}

@article{ReichenbachBPR09,
  title = {Analysis of imperative XML programs},
  author = {Christoph Reichenbach and Michael G. Burke and Igor Peshansky and Mukund Raghavachari},
  year = {2009},
  doi = {10.1016/j.is.2009.03.013},
  url = {http://dx.doi.org/10.1016/j.is.2009.03.013},
  tags = {program analysis, XML, XML Schema, analysis},
  researchr = {https://researchr.org/publication/ReichenbachBPR09},
  cites = {0},
  citedby = {0},
  journal = {is},
  volume = {34},
  number = {7},
  pages = {624-642},
}

@inproceedings{NarasimhanR15,
  title = {Copy and Paste Redeemed (T)},
  author = {Krishna Narasimhan and Christoph Reichenbach},
  year = {2015},
  doi = {10.1109/ASE.2015.39},
  url = {http://dx.doi.org/10.1109/ASE.2015.39},
  researchr = {https://researchr.org/publication/NarasimhanR15},
  cites = {0},
  citedby = {0},
  pages = {630-640},
  booktitle = {ASE},
}

@inproceedings{ReichenbachSI12,
  title = {PQL: A Purely-Declarative Java Extension for Parallel Programming},
  author = {Christoph Reichenbach and Yannis Smaragdakis and Neil Immerman},
  year = {2012},
  doi = {10.1007/978-3-642-31057-7_4},
  url = {http://dx.doi.org/10.1007/978-3-642-31057-7_4},
  researchr = {https://researchr.org/publication/ReichenbachSI12},
  cites = {0},
  citedby = {0},
  pages = {53-78},
  booktitle = {ECOOP},
}

@inproceedings{LiRSY14,
  title = {Second-Order Constraints in Dynamic Invariant Inference},
  author = {Kaituo Li and Christoph Reichenbach and Yannis Smaragdakis and Michal Young},
  year = {2014},
  researchr = {https://researchr.org/publication/LiRSY14},
  cites = {0},
  citedby = {0},
  pages = {93-94},
  booktitle = {se},
}

@inproceedings{NarasimhanRL17,
  title = {Interactive data representation migration: exploiting program dependence to aid program transformation},
  author = {Krishna Narasimhan and Christoph Reichenbach and Julia Lawall},
  year = {2017},
  url = {http://dl.acm.org/citation.cfm?id=3018890},
  researchr = {https://researchr.org/publication/NarasimhanRL17},
  cites = {0},
  citedby = {0},
  pages = {47-58},
  booktitle = {PEPM},
}

@article{HenkelRD07,
  title = {Discovering Documentation for Java Container Classes},
  author = {Johannes Henkel and Christoph Reichenbach and Amer Diwan},
  year = {2007},
  doi = {10.1109/TSE.2007.70705},
  url = {http://doi.ieeecomputersociety.org/10.1109/TSE.2007.70705},
  tags = {Java},
  researchr = {https://researchr.org/publication/HenkelRD07},
  cites = {0},
  citedby = {0},
  journal = {TSE},
  volume = {33},
  number = {8},
  pages = {526-543},
}

@article{LiRCS14,
  title = {Residual Investigation: Predictive and Precise Bug Detection},
  author = {Kaituo Li and Christoph Reichenbach and Christoph Csallner and Yannis Smaragdakis},
  year = {2014},
  doi = {10.1145/2656201},
  url = {http://doi.acm.org/10.1145/2656201},
  researchr = {https://researchr.org/publication/LiRCS14},
  cites = {0},
  citedby = {0},
  journal = {TOSEM},
  volume = {24},
  number = {2},
  pages = {7},
}

@inproceedings{DuraBR19,
  title = {MetaDL: analysing Datalog in Datalog},
  author = {Alexandru Dura and Hampus Balldin and Christoph Reichenbach},
  year = {2019},
  doi = {10.1145/3315568.3329970},
  url = {https://doi.org/10.1145/3315568.3329970},
  researchr = {https://researchr.org/publication/DuraBR19},
  cites = {0},
  citedby = {0},
  pages = {38-43},
  booktitle = {PLDI},
}

@incollection{SalvettiRL06,
  title = {Opinion Polarity Identification of Movie Reviews},
  author = {Franco Salvetti and Christoph Reichenbach and Stephen Lewis},
  year = {2006},
  doi = {10.1007/1-4020-4102-0_23},
  url = {http://dx.doi.org/10.1007/1-4020-4102-0_23},
  researchr = {https://researchr.org/publication/SalvettiRL06},
  cites = {0},
  citedby = {0},
  pages = {303-316},
  booktitle = {Computing Attitude and Affect in Text: Theory and Applications},
  editor = {James G. Shanahan and Yan Qu and Janyce Wiebe},
  volume = {20},
  series = {The Information Retrieval Series},
  publisher = {Springer},
  isbn = {978-1-4020-4102-0},
}

@inproceedings{LiRSY13,
  title = {Second-order constraints in dynamic invariant inference},
  author = {Kaituo Li and Christoph Reichenbach and Yannis Smaragdakis and Michal Young},
  year = {2013},
  doi = {10.1145/2491411.2491457},
  url = {http://doi.acm.org/10.1145/2491411.2491457},
  researchr = {https://researchr.org/publication/LiRSY13},
  cites = {0},
  citedby = {0},
  pages = {103-113},
  booktitle = {FSE},
}

@inproceedings{CoudercSR20,
  title = {JBrainy: Micro-benchmarking Java Collections with Interference},
  author = {Noric Couderc and Emma Söderberg and Christoph Reichenbach},
  year = {2020},
  doi = {10.1145/3375555.3383760},
  url = {https://doi.org/10.1145/3375555.3383760},
  researchr = {https://researchr.org/publication/CoudercSR20},
  cites = {0},
  citedby = {0},
  pages = {42-45},
  booktitle = {wosp},
}

@article{NarasimhanRL18,
  title = {Cleaning up copy-paste clones with interactive merging},
  author = {Krishna Narasimhan and Christoph Reichenbach and Julia Lawall},
  year = {2018},
  doi = {10.1007/s10515-018-0238-5},
  url = {https://doi.org/10.1007/s10515-018-0238-5},
  researchr = {https://researchr.org/publication/NarasimhanRL18},
  cites = {0},
  citedby = {0},
  journal = {ASE},
  volume = {25},
  number = {3},
  pages = {627-673},
}

@inproceedings{LiRCS12,
  title = {Residual investigation: predictive and precise bug detection},
  author = {Kaituo Li and Christoph Reichenbach and Christoph Csallner and Yannis Smaragdakis},
  year = {2012},
  doi = {10.1145/2338965.2336789},
  url = {http://doi.acm.org/10.1145/2338965.2336789},
  researchr = {https://researchr.org/publication/LiRCS12},
  cites = {0},
  citedby = {0},
  pages = {298-308},
  booktitle = {ISSTA},
}

@inproceedings{AckermannRMS15,
  title = {A Backend Extension Mechanism for PQL/Java with Free Run-Time Optimisation},
  author = {Hilmar Ackermann and Christoph Reichenbach and Christian Müller and Yannis Smaragdakis},
  year = {2015},
  doi = {10.1007/978-3-662-46663-6_6},
  url = {http://dx.doi.org/10.1007/978-3-662-46663-6_6},
  researchr = {https://researchr.org/publication/AckermannRMS15},
  cites = {0},
  citedby = {0},
  pages = {111-130},
  booktitle = {CC},
}

@inproceedings{AltidorRS12,
  title = {Java Wildcards Meet Definition-Site Variance},
  author = {John Altidor and Christoph Reichenbach and Yannis Smaragdakis},
  year = {2012},
  doi = {10.1007/978-3-642-31057-7_23},
  url = {http://dx.doi.org/10.1007/978-3-642-31057-7_23},
  researchr = {https://researchr.org/publication/AltidorRS12},
  cites = {0},
  citedby = {0},
  pages = {509-534},
  booktitle = {ECOOP},
}

@inproceedings{ReichenbachISAG10,
  title = {What can the GC compute efficiently?: a language for heap assertions at GC time},
  author = {Christoph Reichenbach and Neil Immerman and Yannis Smaragdakis and Edward Aftandilian and Samuel Z. Guyer},
  year = {2010},
  doi = {10.1145/1869459.1869482},
  url = {http://doi.acm.org/10.1145/1869459.1869482},
  researchr = {https://researchr.org/publication/ReichenbachISAG10},
  cites = {0},
  citedby = {0},
  pages = {256-269},
  booktitle = {OOPSLA},
}

@inproceedings{NarasimhanR16,
  title = {Copy and paste redeemed},
  author = {Krishna Narasimhan and Christoph Reichenbach},
  year = {2016},
  url = {http://subs.emis.de/LNI/Proceedings/Proceedings252/article7.html},
  researchr = {https://researchr.org/publication/NarasimhanR16},
  cites = {0},
  citedby = {0},
  pages = {61-62},
  booktitle = {se},
}

@inproceedings{ReichenbachCD09,
  title = {Program Metamorphosis},
  author = {Christoph Reichenbach and Devin Coughlin and Amer Diwan},
  year = {2009},
  doi = {10.1007/978-3-642-03013-0_18},
  url = {http://dx.doi.org/10.1007/978-3-642-03013-0_18},
  researchr = {https://researchr.org/publication/ReichenbachCD09},
  cites = {0},
  citedby = {0},
  pages = {394-418},
  booktitle = {ECOOP},
}

@inproceedings{LiRCS15,
  title = {Residual Investigation: Predictive and Precise Bug Detection},
  author = {Kaituo Li and Christoph Reichenbach and Christoph Csallner and Yannis Smaragdakis},
  year = {2015},
  researchr = {https://researchr.org/publication/LiRCS15},
  cites = {0},
  citedby = {0},
  pages = {133-134},
  booktitle = {se},
}

@article{HenkelRD08,
  title = {Developing and debugging algebraic specifications for Java classes},
  author = {Johannes Henkel and Christoph Reichenbach and Amer Diwan},
  year = {2008},
  doi = {10.1145/1363102.1363105},
  url = {http://doi.acm.org/10.1145/1363102.1363105},
  tags = {Java, algebraic specification, debugging,  algebra},
  researchr = {https://researchr.org/publication/HenkelRD08},
  cites = {0},
  citedby = {0},
  journal = {TOSEM},
  volume = {17},
  number = {3},
}

@inproceedings{LiRSDC13,
  title = {SEDGE: Symbolic example data generation for dataflow programs},
  author = {Kaituo Li and Christoph Reichenbach and Yannis Smaragdakis and Yanlei Diao and Christoph Csallner},
  year = {2013},
  doi = {10.1109/ASE.2013.6693083},
  url = {http://dx.doi.org/10.1109/ASE.2013.6693083},
  researchr = {https://researchr.org/publication/LiRSDC13},
  cites = {0},
  citedby = {0},
  pages = {235-245},
  booktitle = {ASE},
}

@inproceedings{BalldinR20,
  title = {A domain-specific language for filtering in application-level gateways},
  author = {Hampus Balldin and Christoph Reichenbach},
  year = {2020},
  doi = {10.1145/3425898.3426955},
  url = {https://doi.org/10.1145/3425898.3426955},
  researchr = {https://researchr.org/publication/BalldinR20},
  cites = {0},
  citedby = {0},
  pages = {111-123},
  booktitle = {GPCE},
}

@inproceedings{BurkePRR07,
  title = {Analysis of Imperative XML Programs},
  author = {Michael G. Burke and Igor Peshansky and Mukund Raghavachari and Christoph Reichenbach},
  year = {2007},
  doi = {10.1007/978-3-540-75987-4_15},
  url = {http://dx.doi.org/10.1007/978-3-540-75987-4_15},
  tags = {program analysis, XML, XML Schema, analysis},
  researchr = {https://researchr.org/publication/BurkePRR07},
  cites = {0},
  citedby = {0},
  pages = {216-230},
  booktitle = {DBPL},
}
@proceedings{pldi-2020soap,
  title = {Proceedings of the 9th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis, SOAP@PLDI 2020, London, UK, June 15, 2020},
  year = {2020},
  doi = {10.1145/3394451},
  url = {https://doi.org/10.1145/3394451},
  researchr = {https://researchr.org/publication/pldi-2020soap},
  cites = {0},
  citedby = {0},
  booktitle = {Proceedings of the 9th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis, SOAP@PLDI 2020, London, UK, June 15, 2020},
  conference = {PLDI},
  editor = {Paddy Krishnan and Christoph Reichenbach},
  publisher = {ACM},
  isbn = {978-1-4503-7997-7},
}

@proceedings{gpce-2019,
  title = {Proceedings of the 18th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, GPCE 2019, Athens, Greece, October 21-22, 2019},
  year = {2019},
  doi = {10.1145/3357765},
  url = {https://doi.org/10.1145/3357765},
  researchr = {https://researchr.org/publication/gpce-2019},
  cites = {0},
  citedby = {0},
  booktitle = {Proceedings of the 18th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, GPCE 2019, Athens, Greece, October 21-22, 2019},
  conference = {GPCE},
  editor = {Ina Schaefer and Christoph Reichenbach and Tijs van der Storm},
  publisher = {ACM},
  isbn = {978-1-4503-6980-0},
}