Publications
The publications by the group of Prof. Lengauer are listed below.
Each title is an anchor to a file containing more detailed information
concerning the respective paper, including a BibTeX entry and links to the
paper's contents in various formats.
The list opens with general surveys and is divided
into four main topics our group has been engaged in:
Indented publications are partial or previous versions.
Notice: Copyrights to the following papers are held by the publishers.
Copies made available here are preprints. Please treat these materials in a way
consistent with the "fair use" provisions of appropriate copyright law.
Feature-Oriented Programming
Metaprogramming Parallelism
Surveys
LooPo
- LooPo-HOC: A Grid Component with Embedded Loop Parallelization [CoreGRID TR-0135]
(
Johannes Tomasoni,
Jan Dünnweber,
Sergei Gorlatch,
Michael Claßen,
Philipp Claßen,
Christian Lengauer
)
- Extending Loop Parallelization for the Grid to Largely Decentralized Communication [CoreGRID-IW 2008]
(
Michael Claßen,
Philipp Claßen,
Christian Lengauer
)
- Adapting Loop Parallelization to the Grid [CoreGRID TR-0138]
(
Michael Claßen,
Philipp Claßen,
Christian Lengauer,
Jan Dünnweber,
Sergei Gorlatch
)
- Loop Parallelization for a Grid Masterworker Framework [CoreGRID-IW 2007]
(
Eduardo Argollo,
Michael Claßen,
Philipp Claßen,
Martin Griebl
)
- Making a Taskfarm Component Parallelize Loops for the Grid [CoreGRID-IW 2006]
(
Jan Dünnweber,
Sergei Gorlatch,
Martin Griebl,
Christian Lengauer,
Eduardo Argollo
)
- Automatic Code Generation for Distributed Memory Architectures in the Polytope Model [HIPS 2006]
(
Michael Claßen,
Martin Griebl
)
- Automatic Parallelization of Loop Programs for Distributed Memory Architectures [Habilitation]
(
Martin Griebl
)
- Quantifier Elimination in Automatic Loop Parallelization [JSC 2006]
(
Armin Größlinger,
Martin Griebl,
Christian Lengauer
)
- Introducing Non-linear Parameters to the Polyhedron Model [CPC 2004]
(
Armin Größlinger,
Martin Griebl,
Christian Lengauer
)
- Polyhedral Loop Parallelization: The Fine Grain [CPC 2004]
(
Peter Faber,
Martin Griebl,
Christian Lengauer
)
- Space-Time Mapping and Tiling: A Helpful Combination [CCPE 2004]
(
Martin Griebl,
Peter Faber,
Christian Lengauer
)
- Replicated Placements in the Polyhedron Model [Euro-Par 2003]
(
Peter Faber,
Martin Griebl,
Christian Lengauer
)
- Forward Communication Only Placements and their Use for Parallel Program Construction [LCPC 2002]
(
Martin Griebl,
Paul A. Feautrier,
Armin Größlinger
)
- A Closer Look at Loop-Carried Code Placement [PARS 2001]
(
Peter Faber,
Martin Griebl,
Christian Lengauer
)
- Issues of the Automatic Generation of HPF Loop Programs [LCPC 2000]
(
Peter Faber,
Martin Griebl,
Christian Lengauer
)
- Index Set Splitting [IJPP 2000]
(
Martin Griebl,
Paul A. Feautrier,
Christian Lengauer
)
- Termination Detection in Parallel Loop Nests with
while Loops [Parallel Computing 99]
(
Max Geigl,
Martin Griebl,
Christian Lengauer
)
- Code Generation in the Polytope Model [PACT'98]
(
Martin Griebl,
Christian Lengauer,
Sabine Wetzel
)
- The Mechanical Parallelization of Loop Nests Containing while Loops [TechRep 9701 (Dissertation)]
(
Martin Griebl
)
- The Loop Parallelizer LooPo [CPC'96]
(
Martin Griebl,
Christian Lengauer
)
- Classifying Loops for Space-Time Mapping [Euro-Par'96]
(
Martin Griebl,
Christian Lengauer
)
- Generation of Synchronous Code for Automatic
Parallelization of while Loops [Euro-Par'95]
(
Martin Griebl,
Jean-François Collard
)
- A Communication Scheme for the Distributed Execution of Loop Nests
with while Loops [IJPP 95]
(
Martin Griebl,
Christian Lengauer
)
- On the Space-Time Mapping of WHILE-Loops [PPL 94]
(
Martin Griebl,
Christian Lengauer
)
HDC
- Transforming Rapid Prototypes to Efficient Parallel Programs [Springer 2002]
(
Christoph Herrmann,
Christian Lengauer
)
- A Transformational Approach which Combines Size Inference and Program Optimization [SAIG 2001]
(
Christoph Herrmann,
Christian Lengauer
)
- HDC: A Higher-Order Language for Divide-and-Conquer [PPL 2000]
(
Christoph Herrmann,
Christian Lengauer
)
- The Skeleton-Based Parallelization of Divide-and-Conquer Recursions [Logos 2000 (Dissertation)]
( Christoph Herrmann )
- The HDC Compiler Project [CPC 2000]
(
Christoph Herrmann,
Christian Lengauer
)
- Static Parallelization of Functional Programs:
Elimination of Higher-Order Functions & Optimized
Inlining [Euro-Par'99]
(
Christoph Herrmann,
Christian Lengauer,
Jan Laitenberger,
Christian Schaller
)
- A Compiler for HDC [TechRep 9907]
(
Christoph Herrmann,
Christian Lengauer,
Robert Günz,
Jan Laitenberger,
Christian Schaller
)
- Parallelization of Divide-and-Conquer by Translation to Nested Loops [JFP 99]
(
Christoph Herrmann, Christian Lengauer
)
- Size Inference of Nested Lists in Functional Programs [IFL'98]
(
Christoph Herrmann, Christian Lengauer )
- On the Space-Time Mapping of a Class of Divide-and-Conquer Recursions [PPL 96]
(
Christoph Herrmann, Christian Lengauer
)
PolyAPM
Flow Analysis
Survey
Programming with Collective Operations and Skeletons
- Towards Parallel Programming by Transformation:
The FAN Skeleton Framework [PAA 2001]
( Marco Aldinucci,
Sergei Gorlatch, Christian Lengauer, Susanna Pelagatti )
- Toward Formally-Based Design of Message Passing Programs [TSE 2000]
(
Sergei Gorlatch
)
- Skeletons and Transformations in an
Integrated Parallel Programming Environment [PaCT-99]
( Bruno Bacci,
Sergei Gorlatch, Christian Lengauer, Susanna Pelagatti )
- A Transformational Framework for Skeletal Programs: Overview and Case Study [IPPS/SPDP'99 Workshops]
( Sergei Gorlatch, Susanna Pelagatti )
-
Optimization Rules for Programming with Collective Operations
[IPPS/SPDP'99]
(
Sergei Gorlatch,
Christoph Wedler,
Christian Lengauer
)
- Programming with Divide-and-Conquer Skeletons:
An Application to FFT [JSC 98]
(
Sergei Gorlatch
)
- A Generic MPI Implementation for a Data-Parallel Skeleton:
Formal Derivation and Application to FFT [PPL 98]
(
Sergei Gorlatch, Holger Bischof
)
- (De)Composition Rules for Parallel Scan and Reduction [MPPM'97]
(
Sergei Gorlatch,
Christian Lengauer
)
Design by Transformation, Homomorphisms, and BMF
Linear Recursion
OSIDRIS
Christian Lengauer, 26.04.2006