Christian Lengauer - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

2011

Automatic Detection of Feature Interactions using the Java Modeling Language: An Experience ReportScholz, Wolfgang, Thomas Thüm, Sven Apel, Christian Lengauer. In Proceedings of the International SPLC Workshop Feature-Oriented Software Development (FOSD). 2011:

2009

Vergleich und Integration von Komposition und Annotation zur Implementierung von ProduktlinienSven Apel, Christian Kästner, Christian Lengauer. se 2009: 101-112

FeatureHouse: Language-independent, automated software compositionSven Apel, Christian Kästner, Christian Lengauer. ICSE 2009: 221-231 [doi]

Feature (De)composition in Functional ProgrammingSven Apel, Christian Kästner, Armin Größlinger, Christian Lengauer. In Proceedings of the 8th International Conference on Software Composition (SC). 2009: [doi]

Type-Safe Feature-Oriented Product LinesSven Apel, Christian Kästner, Armin Gr{\"o}{\ss}linger, Christian Lengauer. Technical Report MIP-0909, 2009.

Special Issue: Euro-Par 2007Luc Bougé, Christian Lengauer. concurrency, 21(7):855-857, 2009. [doi]

RobbyDBMS: a case study on hardware/software product line engineeringJörg Liebig, Sven Apel, Christian Lengauer, Thomas Leich. MoDELS 2009: 63-68 [doi]

2008

An Algebra for Features and Feature CompositionSven Apel, Christian Lengauer, Bernhard Möller, Christian Kästner. amast 2008: 36-50 [doi]

Feature featherweight java: a calculus for feature-oriented programming and stepwise refinementSven Apel, Christian Kästner, Christian Lengauer. GPCE 2008: 101-112 [doi]

Superimposition: A Language-Independent Approach to Software CompositionSven Apel, Christian Lengauer. SC 2008: 20-35 [doi]

2007

07361 Introduction -- Programming Models for Ubiquitous ParallelismDavid Chi-Leung Wong, Albert Cohen, María Jesús Garzarán, Christian Lengauer, Samuel P. Midkiff. dagstuhl 2008: [doi]

07361 Abstracts Collection -- Programming Models for Ubiquitous ParallelismDavid Chi-Leung Wong, Albert Cohen, María Jesús Garzarán, Christian Lengauer, Samuel P. Midkiff. dagstuhl 2008: [doi]

2006

2004

Space-time mapping and tiling: a helpful combinationMartin Griebl, Peter Faber, Christian Lengauer. concurrency, 16(2-3):221-246, 2004. [doi]

2003

Replicated Placements in the Polyhedron ModelPeter Faber, Martin Griebl, Christian Lengauer. europar 2003: 303-308 [doi]

Program Optimization in the Domain of High-Performance ParallelismChristian Lengauer. dagstuhl 2004: 73-91 [doi]

2002

PolyAPM: Parallel Programming via Stepwise Refinement with Abstract Parallel MachinesNils Ellmenreich, Christian Lengauer. IFL 2003: 118-133 [doi]

Using Metaprogramming to Parallelize Functional SpecificationsChristoph A. Herrmann, Christian Lengauer. ppl, 12(2):193-210, 2002. [doi]

2001

2000

Issues of the Automatic Generation of HPF Loop ProgramsPeter Faber, Martin Griebl, Christian Lengauer. lcpc 2001: 359-362 [doi]

Abstraction and Performance in the Design of Parallel Programs: An Overview of the SAT ApproachSergei Gorlatch, Christian Lengauer. ACTA, 36(9/10):761-803, 2000. [doi]

Index Set SplittingMartin Griebl, Paul Feautrier, Christian Lengauer. ijpp, 28(6):607-631, 2000.

HDC: A Higher-Order Language for Divide-and-ConquerChristoph A. Herrmann, Christian Lengauer. ppl, 10(2/3):239-250, 2000.

1999

Skeletons and Transformations in an Integrated Parallel Programming EnvironmentBruno Bacci, Sergei Gorlatch, Christian Lengauer, Susanna Pelagatti. pact 1999: 13-27 [doi]

Application of the Polytope Model to Functional ProgramsNils Ellmenreich, Christian Lengauer, Martin Griebl. lcpc 2000: 219-235 [doi]

Termination detection in parallel loop nests with while loopsMax Geigl, Martin Griebl, Christian Lengauer. pc, 25(12):1489-1510, 1999.

Optimization Rules for Programming with Collective OperationsSergei Gorlatch, Christoph Wedler, Christian Lengauer. ipps 1999: 492-499 [doi]

On Index Set SplittingMartin Griebl, Paul Feautrier, Christian Lengauer. IEEEpact 1999: 274-282 [doi]

Parallelization of Divide-and-Conquer by Translation to Nested LoopsChristoph A. Herrmann, Christian Lengauer. JFP, 9(3):279-310, 1999.

Static Parallelization of Functional Programs: Elimination of Higher-Order Functions & Optimized InliningChristoph A. Herrmann, Jan Laitenberger, Christian Lengauer, Christian Schaller. europar 1999: 930-934 [doi]

1998

Code Generation in the Polytope ModelMartin Griebl, Christian Lengauer, Sabine Wetzel. IEEEpact 1998: 106-111 [doi]

On Linear List Recursion in ParallelChristoph Wedler, Christian Lengauer. ACTA, 35(10):875-909, 1998. [doi]

1997

Transformation of Divide & Conquer to Nested Parallel LoopsChristoph A. Herrmann, Christian Lengauer. plilp 1997: 95-109

The Static Parallelization of Loops and RecursionsChristian Lengauer, Sergei Gorlatch, Christoph A. Herrmann. tjs, 11(4):333-353, 1997. [doi]

Euro-Par 97 Parallel Processing, Third International Euro-Par Conference, Passau, Germany, August 26-29, 1997, ProceedingsChristian Lengauer, Martin Griebl, Sergei Gorlatch, editors, Volume 1300 of Lecture Notes in Computer Science, Springer, 1997.

1996

1995

Parallelisation of Divide-and-Conquer in the Bird-Meertens FormalismSergei Gorlatch, Christian Lengauer. fac, 7(6):663-682, 1995.

Modal-µ-Maude: Specification and Properties of Concurrent ObjectsUlrike Lechner, Christian Lengauer. dagstuhl 1995: 43-62

1994

Systematic Development of an SPMD Implementation Schema for Mutually Recursive Divide-and-Conquer SpecificationsSergei Gorlatch, Christian Lengauer. ipps 1994: 368-375

On the Space-Time Mapping of While-LoopsMartin Griebl, Christian Lengauer. ppl, 4:221-232, 1994.

On Scanning Space-Time Mapped While LoopsMartin Griebl, Christian Lengauer. conpar 1994: 677-688

An Object-Oriented Airport: Specification and Refinement in MaudeUlrike Lechner, Christian Lengauer, Martin Wirsing. compass 1995: 351-367

1993

A Systolizing Compilation Scheme for Nested Loops with Linear BoundsMichael Barnett, Christian Lengauer. mcmaster 1993: 374-398

Loop Parallelization in the Polytope ModelChristian Lengauer. concur 1993: 398-416

1992

Unimodularity and the Prallelization of LoopsMichael Barnett, Christian Lengauer. ppl, 2:273-281, 1992.

Unimodularity Considered Non-EssentialMichael Barnett, Christian Lengauer. conpar 1992: 659-664

A systolic array for pyramidal algorithmsChristian Lengauer, Jingling Xue. vlsisp, 4(1):89, 1992. [doi]

1991

1990

The Projection of Systolic ProgramsChristian Lengauer, Jeff W. Sanders. fac, 2(3):273-293, 1990.

Wie kann man imperative Programme auf eine Systolisierung vorbereiten?Christian Lengauer. gi 1990: 527-536

Code Generation for a Systolic ComputerChristian Lengauer. SPE, 20(3):261-282, 1990.

1989

1987

The Derivation of Systolic Implementations of ProgramsChua-Huang Huang, Christian Lengauer. ACTA, 24(6):595-632, 1987.

An Implemented Method for Incremmental Systolic DesignChua-Huang Huang, Christian Lengauer. parle 1987: 160-177

1986

A Mechanically Certified Theorem about Optimal Concurrency of Sorting NetworksChristian Lengauer, Chua-Huang Huang. POPL 1986: 307-317

1985

On the Role of Automated Theorem Proving in the Compile-Time Derivation of ConcurrencyChristian Lengauer. JAR, 1(1):75-101, 1985.

1984

The Static Derivation of Concurrency and its Mechanzed CertificationChristian Lengauer, Chua-Huang Huang. concur 1985: 131-150

1982

A Methodology for Programming with Concurrency: The FormalismChristian Lengauer. SCP, 2(1):19-52, 1982.

A Methodology for Programming with Concurrency: An Informal PresentationChristian Lengauer, Eric C. R. Hehner. SCP, 2(1):1-18, 1982.

1981

A methodolgy for programming with concurrencyChristian Lengauer, Eric C. R. Hehner. conpar 1981: 259-270