publications:
- title: "Errata for  Discovering Documentation for Java Container Classes "
  author:
  - name: "Johannes Henkel"
    link: "https://researchr.org/alias/johannes-henkel"
  - name: "Christoph Reichenbach"
    link: "https://creichen.net"
  - name: "Amer Diwan"
    link: "https://researchr.org/alias/amer-diwan"
  year: "2008"
  doi: "http://doi.ieeecomputersociety.org/10.1109/TSE.2008.22"
  links:
    doi: "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"
  kind: "article"
  key: "HenkelRD08:0"
- title: "Analysis of imperative XML programs"
  author:
  - name: "Christoph Reichenbach"
    link: "https://creichen.net"
  - name: "Michael G. Burke"
    link: "https://researchr.org/alias/michael-g.-burke"
  - name: "Igor Peshansky"
    link: "https://researchr.org/alias/igor-peshansky"
  - name: "Mukund Raghavachari"
    link: "https://researchr.org/alias/mukund-raghavachari"
  year: "2009"
  doi: "http://dx.doi.org/10.1016/j.is.2009.03.013"
  links:
    doi: "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"
  kind: "article"
  key: "ReichenbachBPR09"
- title: "Copy and Paste Redeemed (T)"
  author:
  - name: "Krishna Narasimhan"
    link: "https://researchr.org/alias/krishna-narasimhan"
  - name: "Christoph Reichenbach"
    link: "https://creichen.net"
  year: "2015"
  doi: "http://dx.doi.org/10.1109/ASE.2015.39"
  links:
    doi: "http://dx.doi.org/10.1109/ASE.2015.39"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/kbse/NarasimhanR15"
  researchr: "https://researchr.org/publication/NarasimhanR15"
  cites: 0
  citedby: 0
  pages: "630-640"
  booktitle: "ASE"
  kind: "inproceedings"
  key: "NarasimhanR15"
- title: "PQL: A Purely-Declarative Java Extension for Parallel Programming"
  author:
  - name: "Christoph Reichenbach"
    link: "https://creichen.net"
  - name: "Yannis Smaragdakis"
    link: "https://researchr.org/alias/yannis-smaragdakis"
  - name: "Neil Immerman"
    link: "https://researchr.org/alias/neil-immerman"
  year: "2012"
  doi: "http://dx.doi.org/10.1007/978-3-642-31057-7_4"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-31057-7_4"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/ecoop/ReichenbachSI12"
  researchr: "https://researchr.org/publication/ReichenbachSI12"
  cites: 0
  citedby: 0
  pages: "53-78"
  booktitle: "ECOOP"
  kind: "inproceedings"
  key: "ReichenbachSI12"
- title: "Second-Order Constraints in Dynamic Invariant Inference"
  author:
  - name: "Kaituo Li"
    link: "https://researchr.org/alias/kaituo-li"
  - name: "Christoph Reichenbach"
    link: "https://creichen.net"
  - name: "Yannis Smaragdakis"
    link: "https://researchr.org/alias/yannis-smaragdakis"
  - name: "Michal Young"
    link: "https://researchr.org/alias/michal-young"
  year: "2014"
  links:
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/se/LiRSY14"
  researchr: "https://researchr.org/publication/LiRSY14"
  cites: 0
  citedby: 0
  pages: "93-94"
  booktitle: "se"
  kind: "inproceedings"
  key: "LiRSY14"
- title: "Interactive data representation migration: exploiting program dependence to aid program transformation"
  author:
  - name: "Krishna Narasimhan"
    link: "https://researchr.org/alias/krishna-narasimhan"
  - name: "Christoph Reichenbach"
    link: "https://creichen.net"
  - name: "Julia Lawall"
    link: "https://researchr.org/alias/julia-lawall"
  year: "2017"
  doi: "http://dl.acm.org/citation.cfm?id=3018890"
  links:
    doi: "http://dl.acm.org/citation.cfm?id=3018890"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/pepm/NarasimhanRL17"
  researchr: "https://researchr.org/publication/NarasimhanRL17"
  cites: 0
  citedby: 0
  pages: "47-58"
  booktitle: "PEPM"
  kind: "inproceedings"
  key: "NarasimhanRL17"
- title: "Discovering Documentation for Java Container Classes"
  author:
  - name: "Johannes Henkel"
    link: "https://researchr.org/alias/johannes-henkel"
  - name: "Christoph Reichenbach"
    link: "https://creichen.net"
  - name: "Amer Diwan"
    link: "https://researchr.org/alias/amer-diwan"
  year: "2007"
  doi: "http://doi.ieeecomputersociety.org/10.1109/TSE.2007.70705"
  links:
    doi: "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"
  kind: "article"
  key: "HenkelRD07"
- title: "Residual Investigation: Predictive and Precise Bug Detection"
  author:
  - name: "Kaituo Li"
    link: "https://researchr.org/alias/kaituo-li"
  - name: "Christoph Reichenbach"
    link: "https://creichen.net"
  - name: "Christoph Csallner"
    link: "https://researchr.org/alias/christoph-csallner"
  - name: "Yannis Smaragdakis"
    link: "https://researchr.org/alias/yannis-smaragdakis"
  year: "2014"
  doi: "http://doi.acm.org/10.1145/2656201"
  links:
    doi: "http://doi.acm.org/10.1145/2656201"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/tosem/LiRCS14"
  researchr: "https://researchr.org/publication/LiRCS14"
  cites: 0
  citedby: 0
  journal: "TOSEM"
  volume: "24"
  number: "2"
  pages: "7"
  kind: "article"
  key: "LiRCS14"
- title: "MetaDL: analysing Datalog in Datalog"
  author:
  - name: "Alexandru Dura"
    link: "https://researchr.org/alias/alexandru-dura"
  - name: "Hampus Balldin"
    link: "https://researchr.org/alias/hampus-balldin"
  - name: "Christoph Reichenbach"
    link: "https://creichen.net"
  year: "2019"
  doi: "https://doi.org/10.1145/3315568.3329970"
  links:
    doi: "https://doi.org/10.1145/3315568.3329970"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/pldi/DuraBR19"
  researchr: "https://researchr.org/publication/DuraBR19"
  cites: 0
  citedby: 0
  pages: "38-43"
  booktitle: "PLDI"
  kind: "inproceedings"
  key: "DuraBR19"
- title: "Opinion Polarity Identification of Movie Reviews"
  author:
  - name: "Franco Salvetti"
    link: "https://researchr.org/alias/franco-salvetti"
  - name: "Christoph Reichenbach"
    link: "https://creichen.net"
  - name: "Stephen Lewis"
    link: "https://researchr.org/alias/stephen-lewis"
  year: "2006"
  doi: "http://dx.doi.org/10.1007/1-4020-4102-0_23"
  links:
    doi: "http://dx.doi.org/10.1007/1-4020-4102-0_23"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/books/sp/06/SalvettiRL06"
  researchr: "https://researchr.org/publication/SalvettiRL06"
  cites: 0
  citedby: 0
  pages: "303-316"
  booktitle: "Computing Attitude and Affect in Text: Theory and Applications"
  editor:
  - name: "James G. Shanahan"
    link: "https://researchr.org/alias/james-g.-shanahan"
  - name: "Yan Qu"
    link: "https://researchr.org/alias/yan-qu"
  - name: "Janyce Wiebe"
    link: "https://researchr.org/alias/janyce-wiebe"
  volume: "20"
  series: "The Information Retrieval Series"
  publisher: "Springer"
  isbn: "978-1-4020-4102-0"
  kind: "incollection"
  key: "SalvettiRL06"
- title: "Second-order constraints in dynamic invariant inference"
  author:
  - name: "Kaituo Li"
    link: "https://researchr.org/alias/kaituo-li"
  - name: "Christoph Reichenbach"
    link: "https://creichen.net"
  - name: "Yannis Smaragdakis"
    link: "https://researchr.org/alias/yannis-smaragdakis"
  - name: "Michal Young"
    link: "https://researchr.org/alias/michal-young"
  year: "2013"
  doi: "http://doi.acm.org/10.1145/2491411.2491457"
  links:
    doi: "http://doi.acm.org/10.1145/2491411.2491457"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/sigsoft/LiRSY13"
  researchr: "https://researchr.org/publication/LiRSY13"
  cites: 0
  citedby: 0
  pages: "103-113"
  booktitle: "FSE"
  kind: "inproceedings"
  key: "LiRSY13"
- title: "JBrainy: Micro-benchmarking Java Collections with Interference"
  author:
  - name: "Noric Couderc"
    link: "https://researchr.org/alias/noric-couderc"
  - name: "Emma Söderberg"
    link: "https://researchr.org/alias/emma-s%C3%B6derberg"
  - name: "Christoph Reichenbach"
    link: "https://creichen.net"
  year: "2020"
  doi: "https://doi.org/10.1145/3375555.3383760"
  links:
    doi: "https://doi.org/10.1145/3375555.3383760"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/wosp/CoudercSR20"
  researchr: "https://researchr.org/publication/CoudercSR20"
  cites: 0
  citedby: 0
  pages: "42-45"
  booktitle: "wosp"
  kind: "inproceedings"
  key: "CoudercSR20"
- title: "Cleaning up copy-paste clones with interactive merging"
  author:
  - name: "Krishna Narasimhan"
    link: "https://researchr.org/alias/krishna-narasimhan"
  - name: "Christoph Reichenbach"
    link: "https://creichen.net"
  - name: "Julia Lawall"
    link: "https://researchr.org/alias/julia-lawall"
  year: "2018"
  doi: "https://doi.org/10.1007/s10515-018-0238-5"
  links:
    doi: "https://doi.org/10.1007/s10515-018-0238-5"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/ase/NarasimhanRL18"
  researchr: "https://researchr.org/publication/NarasimhanRL18"
  cites: 0
  citedby: 0
  journal: "ASE"
  volume: "25"
  number: "3"
  pages: "627-673"
  kind: "article"
  key: "NarasimhanRL18"
- title: "Residual investigation: predictive and precise bug detection"
  author:
  - name: "Kaituo Li"
    link: "https://researchr.org/alias/kaituo-li"
  - name: "Christoph Reichenbach"
    link: "https://creichen.net"
  - name: "Christoph Csallner"
    link: "https://researchr.org/alias/christoph-csallner"
  - name: "Yannis Smaragdakis"
    link: "https://researchr.org/alias/yannis-smaragdakis"
  year: "2012"
  doi: "http://doi.acm.org/10.1145/2338965.2336789"
  links:
    doi: "http://doi.acm.org/10.1145/2338965.2336789"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/issta/LiRCS12"
  researchr: "https://researchr.org/publication/LiRCS12"
  cites: 0
  citedby: 0
  pages: "298-308"
  booktitle: "ISSTA"
  kind: "inproceedings"
  key: "LiRCS12"
- title: "A Backend Extension Mechanism for PQL/Java with Free Run-Time Optimisation"
  author:
  - name: "Hilmar Ackermann"
    link: "https://researchr.org/alias/hilmar-ackermann"
  - name: "Christoph Reichenbach"
    link: "https://creichen.net"
  - name: "Christian Müller"
    link: "https://researchr.org/alias/christian-m%C3%BCller"
  - name: "Yannis Smaragdakis"
    link: "https://researchr.org/alias/yannis-smaragdakis"
  year: "2015"
  doi: "http://dx.doi.org/10.1007/978-3-662-46663-6_6"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-662-46663-6_6"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/cc/AckermannRMS15"
  researchr: "https://researchr.org/publication/AckermannRMS15"
  cites: 0
  citedby: 0
  pages: "111-130"
  booktitle: "CC"
  kind: "inproceedings"
  key: "AckermannRMS15"
- title: "Java Wildcards Meet Definition-Site Variance"
  author:
  - name: "John Altidor"
    link: "https://researchr.org/alias/john-altidor"
  - name: "Christoph Reichenbach"
    link: "https://creichen.net"
  - name: "Yannis Smaragdakis"
    link: "https://researchr.org/alias/yannis-smaragdakis"
  year: "2012"
  doi: "http://dx.doi.org/10.1007/978-3-642-31057-7_23"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-31057-7_23"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/ecoop/AltidorRS12"
  researchr: "https://researchr.org/publication/AltidorRS12"
  cites: 0
  citedby: 0
  pages: "509-534"
  booktitle: "ECOOP"
  kind: "inproceedings"
  key: "AltidorRS12"
- title: "What can the GC compute efficiently?: a language for heap assertions at GC time"
  author:
  - name: "Christoph Reichenbach"
    link: "https://creichen.net"
  - name: "Neil Immerman"
    link: "https://researchr.org/alias/neil-immerman"
  - name: "Yannis Smaragdakis"
    link: "http://smaragd.org"
  - name: "Edward Aftandilian"
    link: "https://researchr.org/alias/edward-aftandilian"
  - name: "Samuel Z. Guyer"
    link: "https://researchr.org/alias/samuel-z.-guyer"
  year: "2010"
  doi: "http://doi.acm.org/10.1145/1869459.1869482"
  links:
    doi: "http://doi.acm.org/10.1145/1869459.1869482"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/oopsla/ReichenbachISAG10"
  researchr: "https://researchr.org/publication/ReichenbachISAG10"
  cites: 0
  citedby: 0
  pages: "256-269"
  booktitle: "OOPSLA"
  kind: "inproceedings"
  key: "ReichenbachISAG10"
- title: "Copy and paste redeemed"
  author:
  - name: "Krishna Narasimhan"
    link: "https://researchr.org/alias/krishna-narasimhan"
  - name: "Christoph Reichenbach"
    link: "https://creichen.net"
  year: "2016"
  doi: "http://subs.emis.de/LNI/Proceedings/Proceedings252/article7.html"
  links:
    doi: "http://subs.emis.de/LNI/Proceedings/Proceedings252/article7.html"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/se/NarasimhanR16"
  researchr: "https://researchr.org/publication/NarasimhanR16"
  cites: 0
  citedby: 0
  pages: "61-62"
  booktitle: "se"
  kind: "inproceedings"
  key: "NarasimhanR16"
- title: "Program Metamorphosis"
  author:
  - name: "Christoph Reichenbach"
    link: "https://creichen.net"
  - name: "Devin Coughlin"
    link: "https://researchr.org/alias/devin-coughlin"
  - name: "Amer Diwan"
    link: "https://researchr.org/alias/amer-diwan"
  year: "2009"
  doi: "http://dx.doi.org/10.1007/978-3-642-03013-0_18"
  links:
    doi: "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"
  kind: "inproceedings"
  key: "ReichenbachCD09"
- title: "Residual Investigation: Predictive and Precise Bug Detection"
  author:
  - name: "Kaituo Li"
    link: "https://researchr.org/alias/kaituo-li"
  - name: "Christoph Reichenbach"
    link: "https://creichen.net"
  - name: "Christoph Csallner"
    link: "https://researchr.org/alias/christoph-csallner"
  - name: "Yannis Smaragdakis"
    link: "https://researchr.org/alias/yannis-smaragdakis"
  year: "2015"
  links:
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/se/LiRCS15"
  researchr: "https://researchr.org/publication/LiRCS15"
  cites: 0
  citedby: 0
  pages: "133-134"
  booktitle: "se"
  kind: "inproceedings"
  key: "LiRCS15"
- title: "Developing and debugging algebraic specifications for Java classes"
  author:
  - name: "Johannes Henkel"
    link: "https://researchr.org/alias/johannes-henkel"
  - name: "Christoph Reichenbach"
    link: "https://creichen.net"
  - name: "Amer Diwan"
    link: "https://researchr.org/alias/amer-diwan"
  year: "2008"
  doi: "http://doi.acm.org/10.1145/1363102.1363105"
  links:
    doi: "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"
  kind: "article"
  key: "HenkelRD08"
- title: "SEDGE: Symbolic example data generation for dataflow programs"
  author:
  - name: "Kaituo Li"
    link: "https://researchr.org/alias/kaituo-li"
  - name: "Christoph Reichenbach"
    link: "https://creichen.net"
  - name: "Yannis Smaragdakis"
    link: "https://researchr.org/alias/yannis-smaragdakis"
  - name: "Yanlei Diao"
    link: "https://researchr.org/alias/yanlei-diao"
  - name: "Christoph Csallner"
    link: "https://researchr.org/alias/christoph-csallner"
  year: "2013"
  doi: "http://dx.doi.org/10.1109/ASE.2013.6693083"
  links:
    doi: "http://dx.doi.org/10.1109/ASE.2013.6693083"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/kbse/LiRSDC13"
  researchr: "https://researchr.org/publication/LiRSDC13"
  cites: 0
  citedby: 0
  pages: "235-245"
  booktitle: "ASE"
  kind: "inproceedings"
  key: "LiRSDC13"
- title: "A domain-specific language for filtering in application-level gateways"
  author:
  - name: "Hampus Balldin"
    link: "https://researchr.org/alias/hampus-balldin"
  - name: "Christoph Reichenbach"
    link: "https://creichen.net"
  year: "2020"
  doi: "https://doi.org/10.1145/3425898.3426955"
  links:
    doi: "https://doi.org/10.1145/3425898.3426955"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/gpce/BalldinR20"
  researchr: "https://researchr.org/publication/BalldinR20"
  cites: 0
  citedby: 0
  pages: "111-123"
  booktitle: "GPCE"
  kind: "inproceedings"
  key: "BalldinR20"
- title: "Analysis of Imperative XML Programs"
  author:
  - name: "Michael G. Burke"
    link: "https://researchr.org/alias/michael-g.-burke"
  - name: "Igor Peshansky"
    link: "https://researchr.org/alias/igor-peshansky"
  - name: "Mukund Raghavachari"
    link: "https://researchr.org/alias/mukund-raghavachari"
  - name: "Christoph Reichenbach"
    link: "https://creichen.net"
  year: "2007"
  doi: "http://dx.doi.org/10.1007/978-3-540-75987-4_15"
  links:
    doi: "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"
  kind: "inproceedings"
  key: "BurkePRR07"
- 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: "https://doi.org/10.1145/3394451"
  links:
    doi: "https://doi.org/10.1145/3394451"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/pldi/2020soap"
  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:
  - name: "Paddy Krishnan"
    link: "https://researchr.org/alias/paddy-krishnan"
  - name: "Christoph Reichenbach"
    link: "https://creichen.net"
  publisher: "ACM"
  isbn: "978-1-4503-7997-7"
  kind: "proceedings"
  key: "pldi-2020soap"
- 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: "https://doi.org/10.1145/3357765"
  links:
    doi: "https://doi.org/10.1145/3357765"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/gpce/2019"
  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:
  - name: "Ina Schaefer"
    link: "https://researchr.org/alias/ina-schaefer"
  - name: "Christoph Reichenbach"
    link: "https://creichen.net"
  - name: "Tijs van der Storm"
    link: "https://researchr.org/alias/tijs-van-der-storm"
  publisher: "ACM"
  isbn: "978-1-4503-6980-0"
  kind: "proceedings"
  key: "gpce-2019"