publications:
- title: "Code Generation in the Polytope Model"
  author:
  - name: "Martin Griebl"
    link: "https://researchr.org/alias/martin-griebl"
  - name: "Christian Lengauer"
    link: "http://www.infosun.fim.uni-passau.de/cl/staff/lengauer/"
  - name: "Sabine Wetzel"
    link: "https://researchr.org/alias/sabine-wetzel"
  year: "1998"
  doi: "http://dlib.computer.org/conferen/pact/8591/pdf/85910106.pdf"
  links:
    doi: "http://dlib.computer.org/conferen/pact/8591/pdf/85910106.pdf"
  tags:
  - "meta-model"
  - "code generation"
  - "Meta-Environment"
  researchr: "https://researchr.org/publication/GrieblLW98"
  cites: 0
  citedby: 0
  pages: "106-111"
  booktitle: "IEEEpact"
  kind: "inproceedings"
  key: "GrieblLW98"
- title: "RobbyDBMS: a case study on hardware/software product line engineering"
  author:
  - name: "Jörg Liebig"
    link: "http://www.infosun.fim.uni-passau.de/cl/staff/liebig/"
  - name: "Sven  Apel"
    link: "http://www.infosun.fim.uni-passau.de/cl/staff/apel/"
  - name: "Christian Lengauer"
    link: "http://www.infosun.fim.uni-passau.de/cl/staff/lengauer/"
  - name: "Thomas Leich"
    link: "http://wwwiti.cs.uni-magdeburg.de/~leich"
  year: "2009"
  doi: "http://doi.acm.org/10.1145/1629716.1629729"
  links:
    doi: "http://doi.acm.org/10.1145/1629716.1629729"
  tags:
  - "case study"
  - "software engineering"
  - "software product line"
  - "product line"
  researchr: "https://researchr.org/publication/LiebigALL09"
  cites: 0
  citedby: 0
  pages: "63-68"
  booktitle: "MoDELS"
  kind: "inproceedings"
  key: "LiebigALL09"
- title: "A Methodology for Programming with Concurrency: An Informal Presentation"
  author:
  - name: "Christian Lengauer"
    link: "http://www.infosun.fim.uni-passau.de/cl/staff/lengauer/"
  - name: "Eric C. R. Hehner"
    link: "https://researchr.org/alias/eric-c.-r.-hehner"
  year: "1982"
  tags:
  - "C++"
  - "programming"
  researchr: "https://researchr.org/publication/LengauerH82"
  cites: 0
  citedby: 0
  journal: "SCP"
  volume: "2"
  number: "1"
  pages: "1-18"
  kind: "article"
  key: "LengauerH82"
- title: "Feature featherweight java: a calculus for feature-oriented programming and stepwise refinement"
  author:
  - name: "Sven  Apel"
    link: "http://www.infosun.fim.uni-passau.de/cl/staff/apel/"
  - name: "Christian Kästner"
    link: "http://wwwiti.cs.uni-magdeburg.de/~ckaestne/"
  - name: "Christian Lengauer"
    link: "http://www.infosun.fim.uni-passau.de/cl/staff/lengauer/"
  year: "2008"
  doi: "http://doi.acm.org/10.1145/1449913.1449931"
  links:
    doi: "http://doi.acm.org/10.1145/1449913.1449931"
  tags:
  - "object-oriented programming"
  - "Java"
  - "program analysis"
  - "Variability-Aware Analysis"
  - "refinement"
  - "analysis"
  - "programming"
  - "subject-oriented programming"
  - "context-aware"
  - "feature-oriented programming"
  researchr: "https://researchr.org/publication/ApelKL08"
  cites: 0
  citedby: 0
  pages: "101-112"
  booktitle: "GPCE"
  kind: "inproceedings"
  key: "ApelKL08"
- title: "Optimization Rules for Programming with Collective Operations"
  author:
  - name: "Sergei Gorlatch"
    link: "https://researchr.org/alias/sergei-gorlatch"
  - name: "Christoph Wedler"
    link: "https://researchr.org/alias/christoph-wedler"
  - name: "Christian Lengauer"
    link: "http://www.infosun.fim.uni-passau.de/cl/staff/lengauer/"
  year: "1999"
  doi: "http://computer.org/proceedings/ipps/0143/01430492abs.htm"
  links:
    doi: "http://computer.org/proceedings/ipps/0143/01430492abs.htm"
  tags:
  - "optimization"
  - "rule-based"
  - "rules"
  - "programming"
  - "program optimization"
  researchr: "https://researchr.org/publication/GorlatchWL99"
  cites: 0
  citedby: 0
  pages: "492-499"
  booktitle: "ipps"
  kind: "inproceedings"
  key: "GorlatchWL99"
- title: "Unimodularity Considered Non-Essential"
  author:
  - name: "Michael Barnett"
    link: "https://researchr.org/alias/michael-barnett"
  - name: "Christian Lengauer"
    link: "http://www.infosun.fim.uni-passau.de/cl/staff/lengauer/"
  year: "1992"
  researchr: "https://researchr.org/publication/BarnettL92"
  cites: 0
  citedby: 0
  pages: "659-664"
  booktitle: "conpar"
  kind: "inproceedings"
  key: "BarnettL92"
- title: "Loop Parallelization in the Polytope Model"
  author:
  - name: "Christian Lengauer"
    link: "http://www.infosun.fim.uni-passau.de/cl/staff/lengauer/"
  year: "1993"
  tags:
  - "meta-model"
  - "Meta-Environment"
  researchr: "https://researchr.org/publication/Lengauer93%3A0"
  cites: 0
  citedby: 0
  pages: "398-416"
  booktitle: "concur"
  kind: "inproceedings"
  key: "Lengauer93:0"
- title: "Semantic Independence"
  author:
  - name: "Eike Best"
    link: "https://researchr.org/alias/eike-best"
  - name: "Christian Lengauer"
    link: "http://www.infosun.fim.uni-passau.de/cl/staff/lengauer/"
  year: "1989"
  researchr: "https://researchr.org/publication/BestL89"
  cites: 0
  citedby: 0
  journal: "SCP"
  volume: "13"
  number: "1"
  pages: "23-50"
  kind: "article"
  key: "BestL89"
- title: "FeatureHouse: Language-independent, automated software composition"
  author:
  - name: "Sven  Apel"
    link: "http://www.infosun.fim.uni-passau.de/cl/staff/apel/"
  - name: "Christian Kästner"
    link: "http://wwwiti.cs.uni-magdeburg.de/~ckaestne/"
  - name: "Christian Lengauer"
    link: "http://www.infosun.fim.uni-passau.de/cl/staff/lengauer/"
  year: "2009"
  doi: "http://dx.doi.org/10.1109/ICSE.2009.5070523"
  links:
    doi: "http://dx.doi.org/10.1109/ICSE.2009.5070523"
  tags:
  - "FeatureHouse"
  - "fosd"
  - "composition"
  - "software composition"
  - "superimposition"
  - "physical separation"
  researchr: "https://researchr.org/publication/ApelKL09%3A0"
  cites: 0
  citedby: 0
  pages: "221-231"
  booktitle: "ICSE"
  kind: "inproceedings"
  key: "ApelKL09:0"
- title: "Replicated Placements in the Polyhedron Model"
  author:
  - name: "Peter Faber"
    link: "https://researchr.org/alias/peter-faber"
  - name: "Martin Griebl"
    link: "https://researchr.org/alias/martin-griebl"
  - name: "Christian Lengauer"
    link: "http://www.infosun.fim.uni-passau.de/cl/staff/lengauer/"
  year: "2003"
  doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2790&spage=303"
  links:
    doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2790&spage=303"
  tags:
  - "meta-model"
  - "Meta-Environment"
  researchr: "https://researchr.org/publication/FaberGL03"
  cites: 0
  citedby: 0
  pages: "303-308"
  booktitle: "europar"
  kind: "inproceedings"
  key: "FaberGL03"
- title: "Quantifier elimination in automatic loop parallelization"
  author:
  - name: "Armin Größlinger"
    link: "https://researchr.org/alias/armin-gr%C3%B6%C3%9Flinger"
  - name: "Martin Griebl"
    link: "https://researchr.org/alias/martin-griebl"
  - name: "Christian Lengauer"
    link: "http://www.infosun.fim.uni-passau.de/cl/staff/lengauer/"
  year: "2006"
  doi: "http://dx.doi.org/10.1016/j.jsc.2005.09.012"
  links:
    doi: "http://dx.doi.org/10.1016/j.jsc.2005.09.012"
  researchr: "https://researchr.org/publication/GrosslingerGL06"
  cites: 0
  citedby: 0
  journal: "JSC"
  volume: "41"
  number: "11"
  pages: "1206-1221"
  kind: "article"
  key: "GrosslingerGL06"
- title: "Special Issue: Euro-Par 2007"
  author:
  - name: "Luc Bougé"
    link: "https://researchr.org/alias/luc-boug%C3%A9"
  - name: "Christian Lengauer"
    link: "http://www.infosun.fim.uni-passau.de/cl/staff/lengauer/"
  year: "2009"
  doi: "http://dx.doi.org/10.1002/cpe.1390"
  links:
    doi: "http://dx.doi.org/10.1002/cpe.1390"
  researchr: "https://researchr.org/publication/BougeL09"
  cites: 0
  citedby: 0
  journal: "concurrency"
  volume: "21"
  number: "7"
  pages: "855-857"
  kind: "article"
  key: "BougeL09"
- title: "Skeletons and Transformations in an Integrated Parallel Programming Environment"
  author:
  - name: "Bruno Bacci"
    link: "https://researchr.org/alias/bruno-bacci"
  - name: "Sergei Gorlatch"
    link: "https://researchr.org/alias/sergei-gorlatch"
  - name: "Christian Lengauer"
    link: "http://www.infosun.fim.uni-passau.de/cl/staff/lengauer/"
  - name: "Susanna Pelagatti"
    link: "https://researchr.org/alias/susanna-pelagatti"
  year: "1999"
  doi: "http://link.springer.de/link/service/series/0558/bibs/1662/16620013.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/1662/16620013.htm"
  tags:
  - "model-to-model transformation"
  - "meta programming"
  - "meta-model"
  - "parallel programming"
  - "model transformation"
  - "programming"
  - "Meta-Environment"
  - "meta-objects"
  - "transformation"
  - "program transformation"
  researchr: "https://researchr.org/publication/BacciGLP99"
  cites: 0
  citedby: 0
  pages: "13-27"
  booktitle: "pact"
  kind: "inproceedings"
  key: "BacciGLP99"
- title: "Automatic Detection of Feature Interactions using the Java Modeling Language: An Experience Report"
  author:
  - name: "Scholz, Wolfgang"
    link: "https://researchr.org/alias/scholz%2C-wolfgang"
  - name: "Thomas Thüm"
    link: "http://www.ovgu.de/~tthuem/"
  - name: "Sven  Apel"
    link: "http://www.infosun.fim.uni-passau.de/cl/staff/apel/"
  - name: "Christian Lengauer"
    link: "http://www.infosun.fim.uni-passau.de/cl/staff/lengauer/"
  year: "2011"
  month: "AUG"
  abstract: "In the development of complex software systems, interactions between dierent program features increase the design complexity. Feature-oriented software development focuses on the representation and compositions of features. The implementation of features often cuts across object-oriented module boundaries and hence comprises interactions. The manual detection and treatment of feature interactions requires a deep knowledge of the implementation details of the features involved. Our goal is to detect interactions automatically using specications by means of design by contract and automated theorem proving. We provide a software tool that operates on programs in Java and the Java Modeling Language (JML). We discuss which kinds of feature interactions can be detected automatically with our tool and how to detect other kinds of interactions."
  links:
    "url": "http://wwwiti.cs.uni-magdeburg.de/iti_db/publikationen/ps/auto/STSL:FOSD11.pdf"
  tags:
  - "programming languages"
  - "interaction design"
  - "object-oriented programming"
  - "Java"
  - "operating system"
  - "meta programming"
  - "contracts"
  - "meta-model"
  - "modeling language"
  - "modeling"
  - "design complexity"
  - "language modeling"
  - "composition"
  - "language design"
  - "model-driven development"
  - "object-role modeling"
  - "subject-oriented programming"
  - "Meta-Environment"
  - "software contracts"
  - "design"
  - "feature-oriented programming"
  - "meta-objects"
  researchr: "https://researchr.org/publication/STAL%3AFOSD11"
  cites: 0
  citedby: 0
  booktitle: "Proceedings of the International SPLC Workshop Feature-Oriented Software Development (FOSD)"
  kind: "inproceedings"
  key: "STAL:FOSD11"
- title: "Abstraction and Performance in the Design of Parallel Programs: An Overview of the SAT Approach"
  author:
  - name: "Sergei Gorlatch"
    link: "https://researchr.org/alias/sergei-gorlatch"
  - name: "Christian Lengauer"
    link: "http://www.infosun.fim.uni-passau.de/cl/staff/lengauer/"
  year: "2000"
  doi: "http://link.springer.de/link/service/journals/00236/bibs/0036009/00360761.htm"
  links:
    doi: "http://link.springer.de/link/service/journals/00236/bibs/0036009/00360761.htm"
  tags:
  - "parallel programming"
  - "abstraction"
  - "design"
  - "systematic-approach"
  researchr: "https://researchr.org/publication/GorlatchL00"
  cites: 0
  citedby: 0
  journal: "ACTA"
  volume: "36"
  number: "9/10"
  pages: "761-803"
  kind: "article"
  key: "GorlatchL00"
- title: "07361 Introduction -- Programming Models for Ubiquitous Parallelism"
  author:
  - name: "David Chi-Leung Wong"
    link: "https://researchr.org/alias/david-chi-leung-wong"
  - name: "Albert Cohen"
    link: "https://researchr.org/alias/albert-cohen"
  - name: "María Jesús Garzarán"
    link: "https://researchr.org/alias/mar%C3%ADa-jes%C3%BAs-garzar%C3%A1n"
  - name: "Christian Lengauer"
    link: "http://www.infosun.fim.uni-passau.de/cl/staff/lengauer/"
  - name: "Samuel P. Midkiff"
    link: "https://researchr.org/alias/samuel-p.-midkiff"
  year: "2007"
  doi: "http://drops.dagstuhl.de/opus/volltexte/2008/1373"
  links:
    doi: "http://drops.dagstuhl.de/opus/volltexte/2008/1373"
  tags:
  - "programming"
  researchr: "https://researchr.org/publication/WongCGLM07"
  cites: 0
  citedby: 0
  booktitle: "Dagstuhl"
  kind: "inproceedings"
  key: "WongCGLM07"
- title: "Parallelisation of Divide-and-Conquer in the Bird-Meertens Formalism"
  author:
  - name: "Sergei Gorlatch"
    link: "https://researchr.org/alias/sergei-gorlatch"
  - name: "Christian Lengauer"
    link: "http://www.infosun.fim.uni-passau.de/cl/staff/lengauer/"
  year: "1995"
  researchr: "https://researchr.org/publication/GorlatchL95"
  cites: 0
  citedby: 0
  journal: "fac"
  volume: "7"
  number: "6"
  pages: "663-682"
  kind: "article"
  key: "GorlatchL95"
- title: "A Transformational Approach which Combines Size Inference and Program Optimization"
  author:
  - name: "Christoph A. Herrmann"
    link: "https://researchr.org/alias/christoph-a.-herrmann"
  - name: "Christian Lengauer"
    link: "http://www.infosun.fim.uni-passau.de/cl/staff/lengauer/"
  year: "2001"
  doi: "http://link.springer.de/link/service/series/0558/bibs/2196/21960199.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/2196/21960199.htm"
  tags:
  - "optimization"
  - "program optimization"
  - "systematic-approach"
  - "transformation"
  - "program transformation"
  researchr: "https://researchr.org/publication/HerrmannL01%3A0"
  cites: 0
  citedby: 0
  pages: "199-218"
  booktitle: "saig"
  kind: "inproceedings"
  key: "HerrmannL01:0"
- title: "On Scanning Space-Time Mapped While Loops"
  author:
  - name: "Martin Griebl"
    link: "https://researchr.org/alias/martin-griebl"
  - name: "Christian Lengauer"
    link: "http://www.infosun.fim.uni-passau.de/cl/staff/lengauer/"
  year: "1994"
  researchr: "https://researchr.org/publication/GrieblL94%3A0"
  cites: 0
  citedby: 0
  pages: "677-688"
  booktitle: "conpar"
  kind: "inproceedings"
  key: "GrieblL94:0"
- title: "Type-Safe Feature-Oriented Product Lines"
  author:
  - name: "Sven  Apel"
    link: "http://www.infosun.fim.uni-passau.de/cl/staff/apel/"
  - name: "Christian Kästner"
    link: "http://wwwiti.cs.uni-magdeburg.de/~ckaestne/"
  - name: "Armin Gr{\\\"o}{\\ss}linger"
    link: "https://researchr.org/alias/armin-gr%7B%5Eb%22o%7D%7B%5Ebss%7Dlinger"
  - name: "Christian Lengauer"
    link: "http://www.infosun.fim.uni-passau.de/cl/staff/lengauer/"
  year: "2009"
  month: "JUN"
  abstract: "A feature-oriented product line is a family of programs that share a common set of features. A feature implements a stakeholder?s requirement, represents a design decision and configuration option and, when added to a program, involves the introduction of new structures, such as classes and methods, and the refinement of existing ones, such as extending methods. With feature-oriented decomposition, programs can be generated, solely on the basis of a user?s selection of features, by the composition of the corresponding feature code. A key challenge of feature-oriented product line engineering is how to guarantee the correctness of an entire feature-oriented product line, i.e., of all of the member programs generated from different combinations of features. As the number of valid feature combinations grows progressively with the number of features, it is not feasible to check all individual programs. The only feasible approach is to have a type system check the entire code base of the feature-oriented product line. We have developed such a type system on the basis of a formal model of a feature-oriented Java-like language. We demonstrate that the type system ensures that every valid program of a feature-oriented product line is well-typed and that the type system is complete."
  tags:
  - "programming languages"
  - "object-oriented programming"
  - "rule-based"
  - "Java"
  - "program analysis"
  - "completeness"
  - "meta programming"
  - "model checking"
  - "meta-model"
  - "modeling language"
  - "Variability-Aware Analysis"
  - "refinement"
  - "language engineering"
  - "language modeling"
  - "composition"
  - "analysis"
  - "language design"
  - "type system"
  - "requirements engineering"
  - "model-driven engineering"
  - "object-role modeling"
  - "type checking"
  - "subject-oriented programming"
  - "context-aware"
  - "Meta-Environment"
  - "safe composition"
  - "design"
  - "product line"
  - "systematic-approach"
  - "feature-oriented programming"
  researchr: "https://researchr.org/publication/AKGL%3APassau09"
  cites: 0
  citedby: 0
  institution: "Department of Informatics and Mathematics, University of Passau"
  number: "MIP-0909"
  address: "Germany"
  kind: "techreport"
  key: "AKGL:Passau09"
- title: "The Loop Parallelizer LooPo-Announcement"
  author:
  - name: "Martin Griebl"
    link: "https://researchr.org/alias/martin-griebl"
  - name: "Christian Lengauer"
    link: "http://www.infosun.fim.uni-passau.de/cl/staff/lengauer/"
  year: "1996"
  researchr: "https://researchr.org/publication/GrieblL96%3A0"
  cites: 0
  citedby: 0
  pages: "603-604"
  booktitle: "lcpc"
  kind: "inproceedings"
  key: "GrieblL96:0"
- title: "The Synthesis of Systolic Programs"
  author:
  - name: "Michael Barnett"
    link: "https://researchr.org/alias/michael-barnett"
  - name: "Christian Lengauer"
    link: "http://www.infosun.fim.uni-passau.de/cl/staff/lengauer/"
  year: "1991"
  researchr: "https://researchr.org/publication/BarnettL91%3A0"
  cites: 0
  citedby: 0
  pages: "309-325"
  booktitle: "hlppp"
  kind: "inproceedings"
  key: "BarnettL91:0"
- title: "An Implemented Method for Incremmental Systolic Design"
  author:
  - name: "Chua-Huang Huang"
    link: "https://researchr.org/alias/chua-huang-huang"
  - name: "Christian Lengauer"
    link: "http://www.infosun.fim.uni-passau.de/cl/staff/lengauer/"
  year: "1987"
  tags:
  - "design"
  researchr: "https://researchr.org/publication/HuangL87%3A0"
  cites: 0
  citedby: 0
  pages: "160-177"
  booktitle: "parle"
  kind: "inproceedings"
  key: "HuangL87:0"
- title: "A Mechanically Certified Theorem about Optimal Concurrency of Sorting Networks"
  author:
  - name: "Christian Lengauer"
    link: "http://www.infosun.fim.uni-passau.de/cl/staff/lengauer/"
  - name: "Chua-Huang Huang"
    link: "https://researchr.org/alias/chua-huang-huang"
  year: "1986"
  researchr: "https://researchr.org/publication/LengauerH86"
  cites: 0
  citedby: 0
  pages: "307-317"
  booktitle: "POPL"
  kind: "inproceedings"
  key: "LengauerH86"
- title: "On Index Set Splitting"
  author:
  - name: "Martin Griebl"
    link: "https://researchr.org/alias/martin-griebl"
  - name: "Paul Feautrier"
    link: "https://researchr.org/alias/paul-feautrier"
  - name: "Christian Lengauer"
    link: "http://www.infosun.fim.uni-passau.de/cl/staff/lengauer/"
  year: "1999"
  doi: "http://www.computer.org/proceedings/pact/0425/04250274abs.htm"
  links:
    doi: "http://www.computer.org/proceedings/pact/0425/04250274abs.htm"
  researchr: "https://researchr.org/publication/GrieblFL99"
  cites: 0
  citedby: 0
  pages: "274-282"
  booktitle: "IEEEpact"
  kind: "inproceedings"
  key: "GrieblFL99"
- title: "An Algebra for Features and Feature Composition"
  author:
  - name: "Sven  Apel"
    link: "http://www.infosun.fim.uni-passau.de/cl/staff/apel/"
  - name: "Christian Lengauer"
    link: "http://www.infosun.fim.uni-passau.de/cl/staff/lengauer/"
  - name: "Bernhard Möller"
    link: "https://researchr.org/alias/bernhard-m%C3%B6ller"
  - name: "Christian Kästner"
    link: "http://wwwiti.cs.uni-magdeburg.de/~ckaestne/"
  year: "2008"
  doi: "http://dx.doi.org/10.1007/978-3-540-79980-1_4"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-540-79980-1_4"
  tags:
  - "composition"
  - " algebra"
  researchr: "https://researchr.org/publication/ApelLMK08"
  cites: 0
  citedby: 0
  pages: "36-50"
  booktitle: "amast"
  kind: "inproceedings"
  key: "ApelLMK08"
- title: "Towards Systolizing Compilation"
  author:
  - name: "Christian Lengauer"
    link: "http://www.infosun.fim.uni-passau.de/cl/staff/lengauer/"
  - name: "Michael Barnett"
    link: "https://researchr.org/alias/michael-barnett"
  - name: "Duncan G. Hudson III"
    link: "https://researchr.org/alias/duncan-g.-hudson-iii"
  year: "1991"
  researchr: "https://researchr.org/publication/LengauerBH91"
  cites: 0
  citedby: 0
  journal: "dc"
  volume: "5"
  pages: "7-24"
  kind: "article"
  key: "LengauerBH91"
- title: "A methodolgy for programming with concurrency"
  author:
  - name: "Christian Lengauer"
    link: "http://www.infosun.fim.uni-passau.de/cl/staff/lengauer/"
  - name: "Eric C. R. Hehner"
    link: "https://researchr.org/alias/eric-c.-r.-hehner"
  year: "1981"
  tags:
  - "C++"
  - "programming"
  researchr: "https://researchr.org/publication/LengauerH81"
  cites: 0
  citedby: 0
  pages: "259-270"
  booktitle: "conpar"
  kind: "inproceedings"
  key: "LengauerH81"
- title: "Unimodularity and the Prallelization of Loops"
  author:
  - name: "Michael Barnett"
    link: "https://researchr.org/alias/michael-barnett"
  - name: "Christian Lengauer"
    link: "http://www.infosun.fim.uni-passau.de/cl/staff/lengauer/"
  year: "1992"
  researchr: "https://researchr.org/publication/BarnettL92%3A0"
  cites: 0
  citedby: 0
  journal: "ppl"
  volume: "2"
  pages: "273-281"
  kind: "article"
  key: "BarnettL92:0"
- title: "A Systolizing Compilation Scheme for Nested Loops with Linear Bounds"
  author:
  - name: "Michael Barnett"
    link: "https://researchr.org/alias/michael-barnett"
  - name: "Christian Lengauer"
    link: "http://www.infosun.fim.uni-passau.de/cl/staff/lengauer/"
  year: "1993"
  researchr: "https://researchr.org/publication/BarnettL93"
  cites: 0
  citedby: 0
  pages: "374-398"
  booktitle: "mcmaster"
  kind: "inproceedings"
  key: "BarnettL93"
- title: "Application of the Polytope Model to Functional Programs"
  author:
  - name: "Nils Ellmenreich"
    link: "https://researchr.org/alias/nils-ellmenreich"
  - name: "Christian Lengauer"
    link: "http://www.infosun.fim.uni-passau.de/cl/staff/lengauer/"
  - name: "Martin Griebl"
    link: "https://researchr.org/alias/martin-griebl"
  year: "1999"
  doi: "http://link.springer.de/link/service/series/0558/bibs/1863/18630219.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/1863/18630219.htm"
  tags:
  - "functional programming"
  researchr: "https://researchr.org/publication/EllmenreichLG99"
  cites: 0
  citedby: 0
  pages: "219-235"
  booktitle: "lcpc"
  kind: "inproceedings"
  key: "EllmenreichLG99"
- title: "PolyAPM: Parallel Programming via Stepwise Refinement with Abstract Parallel Machines"
  author:
  - name: "Nils Ellmenreich"
    link: "https://researchr.org/alias/nils-ellmenreich"
  - name: "Christian Lengauer"
    link: "http://www.infosun.fim.uni-passau.de/cl/staff/lengauer/"
  year: "2002"
  doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2670&spage=118"
  links:
    doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2670&spage=118"
  tags:
  - "refinement"
  - "parallel programming"
  - "programming"
  - "abstract machine"
  researchr: "https://researchr.org/publication/EllmenreichL02"
  cites: 0
  citedby: 0
  pages: "118-133"
  booktitle: "IFL"
  kind: "inproceedings"
  key: "EllmenreichL02"
- title: "A systolic array for pyramidal algorithms"
  author:
  - name: "Christian Lengauer"
    link: "http://www.infosun.fim.uni-passau.de/cl/staff/lengauer/"
  - name: "Jingling Xue"
    link: "https://researchr.org/alias/jingling-xue"
  year: "1991"
  doi: "http://dx.doi.org/10.1007/BF00925834"
  links:
    doi: "http://dx.doi.org/10.1007/BF00925834"
  researchr: "https://researchr.org/publication/LengauerX91"
  cites: 0
  citedby: 0
  journal: "vlsisp"
  volume: "3"
  number: "3"
  pages: "237-257"
  kind: "article"
  key: "LengauerX91"
- title: "Modal-µ-Maude: Specification and Properties of Concurrent Objects"
  author:
  - name: "Ulrike Lechner"
    link: "https://researchr.org/alias/ulrike-lechner"
  - name: "Christian Lengauer"
    link: "http://www.infosun.fim.uni-passau.de/cl/staff/lengauer/"
  year: "1995"
  tags:
  - "meta-model"
  - "Meta-Environment"
  - "meta-objects"
  researchr: "https://researchr.org/publication/LechnerL95"
  cites: 0
  citedby: 0
  pages: "43-62"
  booktitle: "Dagstuhl"
  kind: "inproceedings"
  key: "LechnerL95"
- title: "Index Set Splitting"
  author:
  - name: "Martin Griebl"
    link: "https://researchr.org/alias/martin-griebl"
  - name: "Paul Feautrier"
    link: "https://researchr.org/alias/paul-feautrier"
  - name: "Christian Lengauer"
    link: "http://www.infosun.fim.uni-passau.de/cl/staff/lengauer/"
  year: "2000"
  researchr: "https://researchr.org/publication/GrieblFL00"
  cites: 0
  citedby: 0
  journal: "ijpp"
  volume: "28"
  number: "6"
  pages: "607-631"
  kind: "article"
  key: "GrieblFL00"
- title: "Termination detection in parallel loop nests with while loops"
  author:
  - name: "Max Geigl"
    link: "https://researchr.org/alias/max-geigl"
  - name: "Martin Griebl"
    link: "https://researchr.org/alias/martin-griebl"
  - name: "Christian Lengauer"
    link: "http://www.infosun.fim.uni-passau.de/cl/staff/lengauer/"
  year: "1999"
  tags:
  - "termination"
  researchr: "https://researchr.org/publication/GeiglGL99"
  cites: 0
  citedby: 0
  journal: "pc"
  volume: "25"
  number: "12"
  pages: "1489-1510"
  kind: "article"
  key: "GeiglGL99"
- title: "Superimposition: A Language-Independent Approach to Software Composition"
  author:
  - name: "Sven  Apel"
    link: "http://www.infosun.fim.uni-passau.de/cl/staff/apel/"
  - name: "Christian Lengauer"
    link: "http://www.infosun.fim.uni-passau.de/cl/staff/lengauer/"
  year: "2008"
  doi: "http://dx.doi.org/10.1007/978-3-540-78789-1_2"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-540-78789-1_2"
  tags:
  - "composition"
  - "systematic-approach"
  researchr: "https://researchr.org/publication/ApelL08"
  cites: 0
  citedby: 0
  pages: "20-35"
  booktitle: "SC"
  kind: "inproceedings"
  key: "ApelL08"
- title: "Static Parallelization of Functional Programs: Elimination of Higher-Order Functions & Optimized Inlining"
  author:
  - name: "Christoph A. Herrmann"
    link: "https://researchr.org/alias/christoph-a.-herrmann"
  - name: "Jan Laitenberger"
    link: "https://researchr.org/alias/jan-laitenberger"
  - name: "Christian Lengauer"
    link: "http://www.infosun.fim.uni-passau.de/cl/staff/lengauer/"
  - name: "Christian Schaller"
    link: "https://researchr.org/alias/christian-schaller"
  year: "1999"
  doi: "http://link.springer.de/link/service/series/0558/bibs/1685/16850930.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/1685/16850930.htm"
  tags:
  - "optimization"
  - "functional programming"
  - "parallel programming"
  - "program optimization"
  researchr: "https://researchr.org/publication/HerrmannLLS99"
  cites: 0
  citedby: 0
  pages: "930-934"
  booktitle: "europar"
  kind: "inproceedings"
  key: "HerrmannLLS99"
- title: "The Static Parallelization of Loops and Recursions"
  author:
  - name: "Christian Lengauer"
    link: "http://www.infosun.fim.uni-passau.de/cl/staff/lengauer/"
  - name: "Sergei Gorlatch"
    link: "https://researchr.org/alias/sergei-gorlatch"
  - name: "Christoph A. Herrmann"
    link: "https://researchr.org/alias/christoph-a.-herrmann"
  year: "1997"
  doi: "http://dx.doi.org/10.1023/A:1007904422322"
  links:
    doi: "http://dx.doi.org/10.1023/A:1007904422322"
  researchr: "https://researchr.org/publication/LengauerGH97"
  cites: 0
  citedby: 0
  journal: "tjs"
  volume: "11"
  number: "4"
  pages: "333-353"
  kind: "article"
  key: "LengauerGH97"
- title: "Transformation of Divide & Conquer to Nested Parallel Loops"
  author:
  - name: "Christoph A. Herrmann"
    link: "https://researchr.org/alias/christoph-a.-herrmann"
  - name: "Christian Lengauer"
    link: "http://www.infosun.fim.uni-passau.de/cl/staff/lengauer/"
  year: "1997"
  tags:
  - "transformation"
  researchr: "https://researchr.org/publication/HerrmannL97"
  cites: 0
  citedby: 0
  pages: "95-109"
  booktitle: "plilp"
  kind: "inproceedings"
  key: "HerrmannL97"
- title: "On the Space-Time Mapping of a Class of Divide-and-Conquer Recursions"
  author:
  - name: "Christoph Armin Herrmann"
    link: "https://researchr.org/alias/christoph-armin-herrmann"
  - name: "Christian Lengauer"
    link: "http://www.infosun.fim.uni-passau.de/cl/staff/lengauer/"
  year: "1996"
  doi: "http://dx.doi.org/10.1142/S0129626496000479"
  links:
    doi: "http://dx.doi.org/10.1142/S0129626496000479"
  researchr: "https://researchr.org/publication/HerrmannL96"
  cites: 0
  citedby: 0
  journal: "ppl"
  volume: "6"
  number: "4"
  pages: "525-537"
  kind: "article"
  key: "HerrmannL96"
- title: "On the parallel implementation of a generalized broadcast"
  author:
  - name: "Christoph Wedler"
    link: "https://researchr.org/alias/christoph-wedler"
  - name: "Christian Lengauer"
    link: "http://www.infosun.fim.uni-passau.de/cl/staff/lengauer/"
  year: "2001"
  researchr: "https://researchr.org/publication/WedlerL01"
  cites: 0
  citedby: 0
  journal: "paapp"
  volume: "16"
  number: "1"
  pages: "65-82"
  kind: "article"
  key: "WedlerL01"
- title: "Towards parallel programming by transformation: the FAN skeleton framework"
  author:
  - name: "Marco Aldinucci"
    link: "https://researchr.org/alias/marco-aldinucci"
  - name: "Sergei Gorlatch"
    link: "https://researchr.org/alias/sergei-gorlatch"
  - name: "Christian Lengauer"
    link: "http://www.infosun.fim.uni-passau.de/cl/staff/lengauer/"
  - name: "Susanna Pelagatti"
    link: "https://researchr.org/alias/susanna-pelagatti"
  year: "2001"
  tags:
  - "parallel programming"
  - "programming"
  - "transformation"
  - "program transformation"
  researchr: "https://researchr.org/publication/AldinucciGLP01"
  cites: 0
  citedby: 0
  journal: "paapp"
  volume: "16"
  number: "2-3"
  pages: "87-121"
  kind: "article"
  key: "AldinucciGLP01"
- title: "High-performance Java - introduction"
  author:
  - name: "Cherri M. Pancake"
    link: "https://researchr.org/alias/cherri-m.-pancake"
  - name: "Christian Lengauer"
    link: "http://www.infosun.fim.uni-passau.de/cl/staff/lengauer/"
  year: "2001"
  tags:
  - "Java"
  researchr: "https://researchr.org/publication/PancakeL01"
  cites: 0
  citedby: 0
  journal: "CACM"
  volume: "44"
  number: "10"
  pages: "98-101"
  kind: "article"
  key: "PancakeL01"
- title: "A Systolizing Compilation Scheme: Abstract"
  author:
  - name: "Michael Barnett"
    link: "https://researchr.org/alias/michael-barnett"
  - name: "Christian Lengauer"
    link: "http://www.infosun.fim.uni-passau.de/cl/staff/lengauer/"
  year: "1991"
  researchr: "https://researchr.org/publication/BarnettL91"
  cites: 0
  citedby: 0
  pages: "296-297"
  booktitle: "icpp"
  kind: "inproceedings"
  key: "BarnettL91"
- title: "A systolic array for pyramidal algorithms"
  author:
  - name: "Christian Lengauer"
    link: "http://www.infosun.fim.uni-passau.de/cl/staff/lengauer/"
  - name: "Jingling Xue"
    link: "https://researchr.org/alias/jingling-xue"
  year: "1992"
  doi: "http://dx.doi.org/10.1007/BF00930620"
  links:
    doi: "http://dx.doi.org/10.1007/BF00930620"
  researchr: "https://researchr.org/publication/LengauerX92"
  cites: 0
  citedby: 0
  journal: "vlsisp"
  volume: "4"
  number: "1"
  pages: "89"
  kind: "article"
  key: "LengauerX92"
- title: "Program Optimization in the Domain of High-Performance Parallelism"
  author:
  - name: "Christian Lengauer"
    link: "http://www.infosun.fim.uni-passau.de/cl/staff/lengauer/"
  year: "2003"
  doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3016&spage=73"
  links:
    doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3016&spage=73"
  tags:
  - "optimization"
  - "program optimization"
  researchr: "https://researchr.org/publication/Lengauer03"
  cites: 0
  citedby: 0
  pages: "73-91"
  booktitle: "Dagstuhl"
  kind: "inproceedings"
  key: "Lengauer03"
- title: "Parallelization of Divide-and-Conquer by Translation to Nested Loops"
  author:
  - name: "Christoph A. Herrmann"
    link: "https://researchr.org/alias/christoph-a.-herrmann"
  - name: "Christian Lengauer"
    link: "http://www.infosun.fim.uni-passau.de/cl/staff/lengauer/"
  year: "1999"
  tags:
  - "translation"
  researchr: "https://researchr.org/publication/HerrmannL99"
  cites: 0
  citedby: 0
  journal: "JFP"
  volume: "9"
  number: "3"
  pages: "279-310"
  kind: "article"
  key: "HerrmannL99"
- title: "Loop-Carried Code Placement"
  author:
  - name: "Peter Faber"
    link: "https://researchr.org/alias/peter-faber"
  - name: "Martin Griebl"
    link: "https://researchr.org/alias/martin-griebl"
  - name: "Christian Lengauer"
    link: "http://www.infosun.fim.uni-passau.de/cl/staff/lengauer/"
  year: "2001"
  doi: "http://link.springer.de/link/service/series/0558/bibs/2150/21500230.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/2150/21500230.htm"
  researchr: "https://researchr.org/publication/FaberGL01"
  cites: 0
  citedby: 0
  pages: "230-234"
  booktitle: "europar"
  kind: "inproceedings"
  key: "FaberGL01"
- title: "Classifying Loops for Space-Time Mapping"
  author:
  - name: "Martin Griebl"
    link: "https://researchr.org/alias/martin-griebl"
  - name: "Christian Lengauer"
    link: "http://www.infosun.fim.uni-passau.de/cl/staff/lengauer/"
  year: "1996"
  researchr: "https://researchr.org/publication/GrieblL96"
  cites: 0
  citedby: 0
  pages: "467-474"
  booktitle: "europar"
  kind: "inproceedings"
  key: "GrieblL96"
- title: "On the Space-Time Mapping of While-Loops"
  author:
  - name: "Martin Griebl"
    link: "https://researchr.org/alias/martin-griebl"
  - name: "Christian Lengauer"
    link: "http://www.infosun.fim.uni-passau.de/cl/staff/lengauer/"
  year: "1994"
  researchr: "https://researchr.org/publication/GrieblL94"
  cites: 0
  citedby: 0
  journal: "ppl"
  volume: "4"
  pages: "221-232"
  kind: "article"
  key: "GrieblL94"
- title: "The Derivation of Systolic Implementations of Programs"
  author:
  - name: "Chua-Huang Huang"
    link: "https://researchr.org/alias/chua-huang-huang"
  - name: "Christian Lengauer"
    link: "http://www.infosun.fim.uni-passau.de/cl/staff/lengauer/"
  year: "1987"
  researchr: "https://researchr.org/publication/HuangL87"
  cites: 0
  citedby: 0
  journal: "ACTA"
  volume: "24"
  number: "6"
  pages: "595-632"
  kind: "article"
  key: "HuangL87"
- title: "Using Metaprogramming to Parallelize Functional Specifications"
  author:
  - name: "Christoph A. Herrmann"
    link: "https://researchr.org/alias/christoph-a.-herrmann"
  - name: "Christian Lengauer"
    link: "http://www.infosun.fim.uni-passau.de/cl/staff/lengauer/"
  year: "2002"
  doi: "http://dx.doi.org/10.1142/S0129626402000926"
  links:
    doi: "http://dx.doi.org/10.1142/S0129626402000926"
  researchr: "https://researchr.org/publication/HerrmannL02"
  cites: 0
  citedby: 0
  journal: "ppl"
  volume: "12"
  number: "2"
  pages: "193-210"
  kind: "article"
  key: "HerrmannL02"
- title: "Code Generation for a Systolic Computer"
  author:
  - name: "Christian Lengauer"
    link: "http://www.infosun.fim.uni-passau.de/cl/staff/lengauer/"
  year: "1990"
  tags:
  - "code generation"
  researchr: "https://researchr.org/publication/Lengauer90"
  cites: 0
  citedby: 0
  journal: "SPE"
  volume: "20"
  number: "3"
  pages: "261-282"
  kind: "article"
  key: "Lengauer90"
- title: "Systematic Development of an SPMD Implementation Schema for Mutually Recursive Divide-and-Conquer Specifications"
  author:
  - name: "Sergei Gorlatch"
    link: "https://researchr.org/alias/sergei-gorlatch"
  - name: "Christian Lengauer"
    link: "http://www.infosun.fim.uni-passau.de/cl/staff/lengauer/"
  year: "1994"
  tags:
  - "XML"
  - "XML Schema"
  - "systematic-approach"
  researchr: "https://researchr.org/publication/GorlatchL94"
  cites: 0
  citedby: 0
  pages: "368-375"
  booktitle: "ipps"
  kind: "inproceedings"
  key: "GorlatchL94"
- title: "Issues of the Automatic Generation of HPF Loop Programs"
  author:
  - name: "Peter Faber"
    link: "https://researchr.org/alias/peter-faber"
  - name: "Martin Griebl"
    link: "https://researchr.org/alias/martin-griebl"
  - name: "Christian Lengauer"
    link: "http://www.infosun.fim.uni-passau.de/cl/staff/lengauer/"
  year: "2000"
  doi: "http://link.springer.de/link/service/series/0558/bibs/2017/20170359.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/2017/20170359.htm"
  researchr: "https://researchr.org/publication/FaberGL00"
  cites: 0
  citedby: 0
  pages: "359-362"
  booktitle: "lcpc"
  kind: "inproceedings"
  key: "FaberGL00"
- title: "Specifying control signals for one-dimensional systolic arrays by uniform recurrence equations"
  author:
  - name: "Jingling Xue"
    link: "https://researchr.org/alias/jingling-xue"
  - name: "Christian Lengauer"
    link: "http://www.infosun.fim.uni-passau.de/cl/staff/lengauer/"
  year: "1991"
  researchr: "https://researchr.org/publication/XueL91"
  cites: 0
  citedby: 0
  pages: "181-186"
  booktitle: "ccc"
  kind: "inproceedings"
  key: "XueL91"
- title: "A Methodology for Programming with Concurrency: The Formalism"
  author:
  - name: "Christian Lengauer"
    link: "http://www.infosun.fim.uni-passau.de/cl/staff/lengauer/"
  year: "1982"
  tags:
  - "programming"
  researchr: "https://researchr.org/publication/Lengauer82%3A1"
  cites: 0
  citedby: 0
  journal: "SCP"
  volume: "2"
  number: "1"
  pages: "19-52"
  kind: "article"
  key: "Lengauer82:1"
- title: "(Objects + Concurrency) & Reusability - A Proposal to Circumvent the Inheritance Anomaly"
  author:
  - name: "Ulrike Lechner"
    link: "https://researchr.org/alias/ulrike-lechner"
  - name: "Christian Lengauer"
    link: "http://www.infosun.fim.uni-passau.de/cl/staff/lengauer/"
  - name: "Friederike Nickl"
    link: "https://researchr.org/alias/friederike-nickl"
  - name: "Martin Wirsing"
    link: "https://researchr.org/alias/martin-wirsing"
  year: "1996"
  doi: "http://link.springer.de/link/service/series/0558/bibs/1098/10980232.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/1098/10980232.htm"
  tags:
  - "meta-model"
  - "reuse"
  - "Meta-Environment"
  - "meta-objects"
  researchr: "https://researchr.org/publication/LechnerLNW96"
  cites: 0
  citedby: 0
  pages: "232-247"
  booktitle: "ECOOP"
  kind: "inproceedings"
  key: "LechnerLNW96"
- title: "Space-time mapping and tiling: a helpful combination"
  author:
  - name: "Martin Griebl"
    link: "https://researchr.org/alias/martin-griebl"
  - name: "Peter Faber"
    link: "https://researchr.org/alias/peter-faber"
  - name: "Christian Lengauer"
    link: "http://www.infosun.fim.uni-passau.de/cl/staff/lengauer/"
  year: "2004"
  doi: "http://dx.doi.org/10.1002/cpe.772"
  links:
    doi: "http://dx.doi.org/10.1002/cpe.772"
  researchr: "https://researchr.org/publication/GrieblFL04"
  cites: 0
  citedby: 0
  journal: "concurrency"
  volume: "16"
  number: "2-3"
  pages: "221-246"
  kind: "article"
  key: "GrieblFL04"
- title: "Feature oriented refactoring of legacy applications"
  author:
  - name: "Jia Liu"
    link: "https://researchr.org/alias/jia-liu"
  - name: "Don S. Batory"
    link: "http://www.cs.utexas.edu/~dsb/"
  - name: "Christian Lengauer"
    link: "http://www.infosun.fim.uni-passau.de/cl/staff/lengauer/"
  year: "2006"
  doi: "http://doi.acm.org/10.1145/1134303"
  links:
    doi: "http://doi.acm.org/10.1145/1134303"
  tags:
  - "refactoring"
  researchr: "https://researchr.org/publication/LiuBL06"
  cites: 0
  citedby: 0
  pages: "112-121"
  booktitle: "ICSE"
  kind: "inproceedings"
  key: "LiuBL06"
- title: "Feature (De)composition in Functional Programming"
  author:
  - name: "Sven  Apel"
    link: "http://www.infosun.fim.uni-passau.de/cl/staff/apel/"
  - name: "Christian Kästner"
    link: "http://wwwiti.cs.uni-magdeburg.de/~ckaestne/"
  - name: "Armin Größlinger"
    link: "https://researchr.org/alias/armin-gr%C3%B6%C3%9Flinger"
  - name: "Christian Lengauer"
    link: "http://www.infosun.fim.uni-passau.de/cl/staff/lengauer/"
  year: "2009"
  month: "JUL"
  doi: "10.1007/978-3-642-02655-3_3"
  abstract: "The separation of concerns is a fundamental principle in software engineering. Crosscutting concerns are concerns that do not align with hierarchical and block decomposition supported by mainstream programming languages. In the past, crosscutting concerns have been studied mainly in the context of object orientation. Feature orientation is a novel programming paradigm that supports the (de)composition of crosscutting concerns in a system with a hierarchical block structure. By means of two case studies we explore the problem of crosscutting concerns in functional programming and propose two solutions based on feature orientation."
  links:
    "url": "http://www.springerlink.com/content/m0q4530571t18042/"
  tags:
  - "programming languages"
  - "object-oriented programming"
  - "FeatureHouse"
  - "fosd"
  - "rule-based"
  - "meta programming"
  - "case study"
  - "separation of concerns"
  - "language engineering"
  - "software language engineering"
  - "composition"
  - "functional programming"
  - "Haskell"
  - "software engineering"
  - "programming paradigms"
  - "programming"
  - "subject-oriented programming"
  - "context-aware"
  - "Meta-Environment"
  - "feature-oriented programming"
  - "meta-objects"
  - "CIDE"
  researchr: "https://researchr.org/publication/AKGL%3ASC09"
  cites: 0
  citedby: 0
  booktitle: "Proceedings of the 8th International Conference on Software Composition (SC)"
  kind: "inproceedings"
  key: "AKGL:SC09"
- title: "HDC: A Higher-Order Language for Divide-and-Conquer"
  author:
  - name: "Christoph A. Herrmann"
    link: "https://researchr.org/alias/christoph-a.-herrmann"
  - name: "Christian Lengauer"
    link: "http://www.infosun.fim.uni-passau.de/cl/staff/lengauer/"
  year: "2000"
  researchr: "https://researchr.org/publication/HerrmannL00"
  cites: 0
  citedby: 0
  journal: "ppl"
  volume: "10"
  number: "2/3"
  pages: "239-250"
  kind: "article"
  key: "HerrmannL00"
- title: "Vergleich und Integration von Komposition und Annotation zur Implementierung von Produktlinien"
  author:
  - name: "Sven  Apel"
    link: "http://www.infosun.fim.uni-passau.de/cl/staff/apel/"
  - name: "Christian Kästner"
    link: "http://wwwiti.cs.uni-magdeburg.de/~ckaestne/"
  - name: "Christian Lengauer"
    link: "http://www.infosun.fim.uni-passau.de/cl/staff/lengauer/"
  year: "2009"
  tags:
  - "FeatureHouse"
  - "fosd"
  - "CIDE"
  researchr: "https://researchr.org/publication/ApelKL09"
  cites: 0
  citedby: 0
  pages: "101-112"
  booktitle: "se"
  kind: "inproceedings"
  key: "ApelKL09"
- title: "A Mechanically Derived Systolic Implementation of Pyramid Initialization"
  author:
  - name: "Christian Lengauer"
    link: "http://www.infosun.fim.uni-passau.de/cl/staff/lengauer/"
  - name: "Bikash Sabata"
    link: "https://researchr.org/alias/bikash-sabata"
  - name: "Farshid Arman"
    link: "https://researchr.org/alias/farshid-arman"
  year: "1989"
  researchr: "https://researchr.org/publication/LengauerSA89"
  cites: 0
  citedby: 0
  pages: "90-105"
  booktitle: "msiw"
  kind: "inproceedings"
  key: "LengauerSA89"
- title: "On Denotational versus Predicative Semantics"
  author:
  - name: "Manfred Broy"
    link: "https://researchr.org/alias/manfred-broy"
  - name: "Christian Lengauer"
    link: "http://www.infosun.fim.uni-passau.de/cl/staff/lengauer/"
  year: "1991"
  tags:
  - "semantics"
  - "denotational semantics"
  researchr: "https://researchr.org/publication/BroyL91"
  cites: 0
  citedby: 0
  journal: "jcss"
  volume: "42"
  number: "1"
  pages: "1-29"
  kind: "article"
  key: "BroyL91"
- title: "An Incremental Mechanical Development of Systolic Solutions to the Algebraic Path Problem"
  author:
  - name: "Chua-Huang Huang"
    link: "https://researchr.org/alias/chua-huang-huang"
  - name: "Christian Lengauer"
    link: "http://www.infosun.fim.uni-passau.de/cl/staff/lengauer/"
  year: "1989"
  tags:
  - " algebra"
  - "incremental"
  researchr: "https://researchr.org/publication/HuangL89a"
  cites: 0
  citedby: 0
  journal: "ACTA"
  volume: "27"
  number: "2"
  pages: "97-124"
  kind: "article"
  key: "HuangL89a"
- title: "The Static Derivation of Concurrency and its Mechanzed Certification"
  author:
  - name: "Christian Lengauer"
    link: "http://www.infosun.fim.uni-passau.de/cl/staff/lengauer/"
  - name: "Chua-Huang Huang"
    link: "https://researchr.org/alias/chua-huang-huang"
  year: "1984"
  tags:
  - "certification"
  researchr: "https://researchr.org/publication/LengauerH84"
  cites: 0
  citedby: 0
  pages: "131-150"
  booktitle: "concur"
  kind: "inproceedings"
  key: "LengauerH84"
- title: "On the Role of Automated Theorem Proving in the Compile-Time Derivation of Concurrency"
  author:
  - name: "Christian Lengauer"
    link: "http://www.infosun.fim.uni-passau.de/cl/staff/lengauer/"
  year: "1985"
  tags:
  - "compiler"
  researchr: "https://researchr.org/publication/Lengauer85"
  cites: 0
  citedby: 0
  journal: "JAR"
  volume: "1"
  number: "1"
  pages: "75-101"
  kind: "article"
  key: "Lengauer85"
- title: "Towards Systolizing Compilation: An Overview"
  author:
  - name: "Christian Lengauer"
    link: "http://www.infosun.fim.uni-passau.de/cl/staff/lengauer/"
  year: "1989"
  researchr: "https://researchr.org/publication/Lengauer89"
  cites: 0
  citedby: 0
  pages: "253-272"
  booktitle: "parle"
  kind: "inproceedings"
  key: "Lengauer89"
- title: "07361 Abstracts Collection -- Programming Models for Ubiquitous Parallelism"
  author:
  - name: "David Chi-Leung Wong"
    link: "https://researchr.org/alias/david-chi-leung-wong"
  - name: "Albert Cohen"
    link: "https://researchr.org/alias/albert-cohen"
  - name: "María Jesús Garzarán"
    link: "https://researchr.org/alias/mar%C3%ADa-jes%C3%BAs-garzar%C3%A1n"
  - name: "Christian Lengauer"
    link: "http://www.infosun.fim.uni-passau.de/cl/staff/lengauer/"
  - name: "Samuel P. Midkiff"
    link: "https://researchr.org/alias/samuel-p.-midkiff"
  year: "2007"
  doi: "http://drops.dagstuhl.de/opus/volltexte/2008/1377"
  links:
    doi: "http://drops.dagstuhl.de/opus/volltexte/2008/1377"
  tags:
  - "programming"
  researchr: "https://researchr.org/publication/WongCGLM07a"
  cites: 0
  citedby: 0
  booktitle: "Dagstuhl"
  kind: "inproceedings"
  key: "WongCGLM07a"
- title: "Preface"
  author:
  - name: "Christian Lengauer"
    link: "http://www.infosun.fim.uni-passau.de/cl/staff/lengauer/"
  - name: "Walid Taha"
    link: "http://www.cs.rice.edu/~taha/"
  year: "2006"
  doi: "http://dx.doi.org/10.1016/j.scico.2006.05.001"
  links:
    doi: "http://dx.doi.org/10.1016/j.scico.2006.05.001"
  researchr: "https://researchr.org/publication/LengauerT06"
  cites: 0
  citedby: 0
  journal: "SCP"
  volume: "62"
  number: "1"
  pages: "1-2"
  kind: "article"
  key: "LengauerT06"
- title: "The Projection of Systolic Programs"
  author:
  - name: "Christian Lengauer"
    link: "http://www.infosun.fim.uni-passau.de/cl/staff/lengauer/"
  - name: "Jeff W. Sanders"
    link: "https://researchr.org/alias/jeff-w.-sanders"
  year: "1989"
  researchr: "https://researchr.org/publication/LengauerS89"
  cites: 0
  citedby: 0
  pages: "307-324"
  booktitle: "mpc"
  kind: "inproceedings"
  key: "LengauerS89"
- title: "On Linear List Recursion in Parallel"
  author:
  - name: "Christoph Wedler"
    link: "https://researchr.org/alias/christoph-wedler"
  - name: "Christian Lengauer"
    link: "http://www.infosun.fim.uni-passau.de/cl/staff/lengauer/"
  year: "1998"
  doi: "http://link.springer.de/link/service/journals/00236/bibs/8035010/80350875.htm"
  links:
    doi: "http://link.springer.de/link/service/journals/00236/bibs/8035010/80350875.htm"
  researchr: "https://researchr.org/publication/WedlerL98"
  cites: 0
  citedby: 0
  journal: "ACTA"
  volume: "35"
  number: "10"
  pages: "875-909"
  kind: "article"
  key: "WedlerL98"
- title: "An Object-Oriented Airport: Specification and Refinement in Maude"
  author:
  - name: "Ulrike Lechner"
    link: "https://researchr.org/alias/ulrike-lechner"
  - name: "Christian Lengauer"
    link: "http://www.infosun.fim.uni-passau.de/cl/staff/lengauer/"
  - name: "Martin Wirsing"
    link: "https://researchr.org/alias/martin-wirsing"
  year: "1994"
  tags:
  - "meta-model"
  - "refinement"
  - "Meta-Environment"
  - "meta-objects"
  researchr: "https://researchr.org/publication/LechnerLW94"
  cites: 0
  citedby: 0
  pages: "351-367"
  booktitle: "compass"
  kind: "inproceedings"
  key: "LechnerLW94"
- title: "Wie kann man imperative Programme auf eine Systolisierung vorbereiten?"
  author:
  - name: "Christian Lengauer"
    link: "http://www.infosun.fim.uni-passau.de/cl/staff/lengauer/"
  year: "1990"
  researchr: "https://researchr.org/publication/Lengauer90%3A0"
  cites: 0
  citedby: 0
  pages: "527-536"
  booktitle: "gi"
  kind: "inproceedings"
  key: "Lengauer90:0"
- title: "The Projection of Systolic Programs"
  author:
  - name: "Christian Lengauer"
    link: "http://www.infosun.fim.uni-passau.de/cl/staff/lengauer/"
  - name: "Jeff W. Sanders"
    link: "https://researchr.org/alias/jeff-w.-sanders"
  year: "1990"
  researchr: "https://researchr.org/publication/LengauerS90"
  cites: 0
  citedby: 0
  journal: "fac"
  volume: "2"
  number: "3"
  pages: "273-293"
  kind: "article"
  key: "LengauerS90"
- title: "A disciplined approach to aspect composition"
  author:
  - name: "Roberto E. Lopez-Herrejon"
    link: "https://researchr.org/alias/roberto-e.-lopez-herrejon"
  - name: "Don S. Batory"
    link: "http://www.cs.utexas.edu/~dsb/"
  - name: "Christian Lengauer"
    link: "http://www.infosun.fim.uni-passau.de/cl/staff/lengauer/"
  year: "2006"
  doi: "http://doi.acm.org/10.1145/1111542.1111554"
  links:
    doi: "http://doi.acm.org/10.1145/1111542.1111554"
  tags:
  - "composition"
  - "e-science"
  - "systematic-approach"
  researchr: "https://researchr.org/publication/Lopez-HerrejonBL06"
  cites: 0
  citedby: 0
  pages: "68-77"
  booktitle: "PEPM"
  kind: "inproceedings"
  key: "Lopez-HerrejonBL06"
- title: "Euro-Par  97 Parallel Processing, Third International Euro-Par Conference, Passau, Germany, August 26-29, 1997, Proceedings"
  year: "1997"
  researchr: "https://researchr.org/publication/europar%3A1997"
  cites: 0
  citedby: 0
  booktitle: "Euro-Par  97 Parallel Processing, Third International Euro-Par Conference, Passau, Germany, August 26-29, 1997, Proceedings"
  conference: "europar"
  editor:
  - name: "Christian Lengauer"
    link: "http://www.infosun.fim.uni-passau.de/cl/staff/lengauer/"
  - name: "Martin Griebl"
    link: "https://researchr.org/alias/martin-griebl"
  - name: "Sergei Gorlatch"
    link: "https://researchr.org/alias/sergei-gorlatch"
  volume: "1300"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-63440-1"
  kind: "proceedings"
  key: "europar:1997"
- title: "Domain-Specific Program Generation, International Seminar, Dagstuhl Castle, Germany, March 23-28, 2003, Revised Papers"
  year: "2004"
  researchr: "https://researchr.org/publication/dagstuhl%3A2003dspg"
  cites: 0
  citedby: 0
  booktitle: "Domain-Specific Program Generation, International Seminar, Dagstuhl Castle, Germany, March 23-28, 2003, Revised Papers"
  conference: "Dagstuhl"
  editor:
  - name: "Christian Lengauer"
    link: "http://www.infosun.fim.uni-passau.de/cl/staff/lengauer/"
  - name: "Don S. Batory"
    link: "http://www.cs.utexas.edu/~dsb/"
  - name: "Charles Consel"
    link: "https://researchr.org/alias/charles-consel"
  - name: "Martin Odersky"
    link: "http://lampwww.epfl.ch/~odersky/"
  volume: "3016"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-22119-0"
  kind: "proceedings"
  key: "dagstuhl:2003dspg"
- title: "Programming Models for Ubiquitous Parallelism, 02.09. - 07.09.2007"
  year: "2008"
  tags:
  - "programming"
  researchr: "https://researchr.org/publication/dagstuhl%3A2007P7361"
  cites: 0
  citedby: 0
  booktitle: "Programming Models for Ubiquitous Parallelism, 02.09. - 07.09.2007"
  conference: "Dagstuhl"
  editor:
  - name: "Albert Cohen"
    link: "https://researchr.org/alias/albert-cohen"
  - name: "María Jesús Garzarán"
    link: "https://researchr.org/alias/mar%C3%ADa-jes%C3%BAs-garzar%C3%A1n"
  - name: "Christian Lengauer"
    link: "http://www.infosun.fim.uni-passau.de/cl/staff/lengauer/"
  - name: "Samuel P. Midkiff"
    link: "https://researchr.org/alias/samuel-p.-midkiff"
  volume: "07361"
  series: "Dagstuhl Seminar Proceedings"
  publisher: "Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany"
  kind: "proceedings"
  key: "dagstuhl:2007P7361"