@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 = {IEEE Trans. Software Eng.},
  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 = {Inf. Syst.},
  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 = {30th IEEE/ACM International Conference on Automated Software Engineering, ASE 2015, Lincoln, NE, USA, November 9-13, 2015},
  editor = {Myra B. Cohen and Lars Grunske and Michael Whalen},
  publisher = {IEEE},
  isbn = {978-1-5090-0025-8},
}

@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 2012 - Object-Oriented Programming - 26th European Conference, Beijing, China, June 11-16, 2012. Proceedings},
  editor = {James Noble},
  volume = {7313},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-31056-0},
}

@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 = {Software Engineering 2014, Fachtagung des GI-Fachbereichs Softwaretechnik, 25. Februar - 28. Februar 2014, Kiel, Deutschland},
  editor = {Wilhelm Hasselbring and Nils Christian Ehmke},
  volume = {227},
  series = {LNI},
  publisher = {GI},
  isbn = {978-388579-621-3},
}

@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 = {Proceedings of the 2017 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, PEPM 2017, Paris, France, January 18-20, 2017},
  editor = {Ulrik Pagh Schultz and Jeremy Yallop},
  publisher = {ACM},
  isbn = {978-1-4503-4721-1},
}

@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 = {IEEE Trans. Software Eng.},
  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 = {ACM Transactions on Software Engineering Methodology},
  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 = {Proceedings of the 8th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis, SOAP@PLDI 2019, Phoenix, AZ, USA, June 22, 2019},
  editor = {Neville Grech and Thierry Lavoie},
  publisher = {ACM},
  isbn = {978-1-4503-6720-2},
}

@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 = {Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, ESEC/FSE'13, Saint Petersburg, Russian Federation, August 18-26, 2013},
  editor = {Bertrand Meyer and Luciano Baresi and Mira Mezini},
  publisher = {ACM},
  isbn = {978-1-4503-2237-9},
}

@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 = {Companion of the 2020 ACM/SPEC International Conference on Performance Engineering, ICPE 2020, Edmonton, AB, Canada, April 20-24, 2020},
  editor = {José Nelson Amaral and Anne Koziolek and Catia Trubiani and Alexandru Iosup},
  publisher = {ACM},
  isbn = {978-1-4503-7109-4},
}

@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 = {Automated Software Engineering},
  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 = {International Symposium on Software Testing and Analysis, ISSTA 2012, Minneapolis, MN, USA, July 15-20, 2012},
  editor = {Mats Per Erik Heimdahl and Zhendong Su},
  publisher = {ACM},
  isbn = {978-1-4503-1454-1},
}

@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 = {Compiler Construction - 24th International Conference, CC 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015. Proceedings},
  editor = {Björn Franke},
  volume = {9031},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-662-46662-9},
}

@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 2012 - Object-Oriented Programming - 26th European Conference, Beijing, China, June 11-16, 2012. Proceedings},
  editor = {James Noble},
  volume = {7313},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-31056-0},
}

@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 = {Proceedings of the 25th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2010},
  editor = {William R. Cook and Siobhán Clarke and Martin C. Rinard},
  address = {Reno/Tahoe, Nevada},
  publisher = {ACM},
  isbn = {978-1-4503-0203-6},
}

@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 = {Software Engineering 2016, Fachtagung des GI-Fachbereichs Softwaretechnik, 23.-26. Februar 2016, Wien, Österreich},
  editor = {Jens Knoop and Uwe Zdun},
  volume = {252},
  series = {LNI},
  publisher = {GI},
  isbn = {978-388579-646-6},
}

@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 2009 - Object-Oriented Programming, 23rd European Conference, Genoa, Italy, July 6-10, 2009. Proceedings},
  editor = {Sophia Drossopoulou},
  volume = {5653},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-03012-3},
}

@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 = {Software Engineering & Management 2015, Multikonferenz der GI-Fachbereiche Softwaretechnik (SWT) und Wirtschaftsinformatik (WI), FA WI-MAW, 17. März - 20. März 2015, Dresden, Germany},
  editor = {Uwe Aßmann and Birgit Demuth and Thorsten Spitta and Georg Püschel and Ronny Kaiser},
  volume = {239},
  series = {LNI},
  publisher = {GI},
  isbn = {978-3-88579-633-6},
}

@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 = {ACM Transactions on Software Engineering Methodology},
  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 = {2013 28th IEEE/ACM International Conference on Automated Software Engineering, ASE 2013, Silicon Valley, CA, USA, November 11-15, 2013},
  publisher = {IEEE},
}

@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 '20: Proceedings of the 19th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, Virtual Event, USA, November 16-17, 2020},
  editor = {Martin Erwig and Jeff Gray},
  publisher = {ACM},
  isbn = {978-1-4503-8174-1},
}

@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 = {Database Programming Languages, 11th International Symposium, DBPL 2007, Vienna, Austria, September 23-24, 2007, Revised Selected Papers},
  editor = {Marcelo Arenas and Michael I. Schwartzbach},
  volume = {4797},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-75986-7},
}
@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},
}