Christian Lengauer

According to our database1, Christian Lengauer
  • authored at least 121 papers between 1981 and 2017.
  • has a "Dijkstra number"2 of three.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

2017
A Scala prototype to generate multigrid solver implementations for different problems and target multi-core platforms.
IJCSE, 2017

Special issue: Euro-Par 2016.
Concurrency and Computation: Practice and Experience, 2017

2016
Systems of Partial Differential Equations in ExaSlang.
Proceedings of the Software for Exascale Computing - SPPEXA 2013-2015, 2016

Special issue: Euro-Par 2015.
Concurrency and Computation: Practice and Experience, 2016

Redundancy Elimination in the ExaStencils Code Generator.
Proceedings of the Algorithms and Architectures for Parallel Processing, 2016

2015
Advanced Stencil-Code Engineering (Dagstuhl Seminar 15161).
Dagstuhl Reports, 2015

Special Issue: Euro-Par 2014.
Concurrency and Computation: Practice and Experience, 2015

Modeling and optimizing MapReduce programs.
Concurrency and Computation: Practice and Experience, 2015

Balancing precision and performance in structured merge.
Autom. Softw. Eng., 2015

Morpheus: Variability-Aware Refactoring in the Wild.
Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015

2014
Domain-Specific Optimization of Two Jacobi Smoother Kernels and Their Evaluation in the ECM Performance Model.
Parallel Processing Letters, 2014

Special issue: Euro-Par 2013.
Concurrency and Computation: Practice and Experience, 2014

ExaStencils: Advanced Stencil-Code Engineering.
Proceedings of the Euro-Par 2014: Parallel Processing Workshops, 2014

2013
Language-Independent and Automated Software Composition: The FeatureHouse Experience.
IEEE Trans. Software Eng., 2013

Special Issue: Euro-Par 2012.
Concurrency and Computation: Practice and Experience, 2013

Special Issue: Euro-Par 2011.
Concurrency and Computation: Practice and Experience, 2013

Scalable analysis of variable software.
Proceedings of the Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, 2013

The potential of polyhedral optimization: An empirical study.
Proceedings of the 2013 28th IEEE/ACM International Conference on Automated Software Engineering, 2013

2012
Preface to the special issue on feature-oriented software development (FOSD 2009).
Sci. Comput. Program., 2012

Polly - Performing Polyhedral Optimizations on a Low-Level Intermediate Representation.
Parallel Processing Letters, 2012

Structured merge with auto-tuning: balancing precision and performance.
Proceedings of the IEEE/ACM International Conference on Automated Software Engineering, 2012

2011
Owicki-Gries Method of Axiomatic Verification.
Proceedings of the Encyclopedia of Parallel Computing, 2011

Monitors, Axiomatic Verification of.
Proceedings of the Encyclopedia of Parallel Computing, 2011

Semantic Independence.
Proceedings of the Encyclopedia of Parallel Computing, 2011

Polyhedron Model.
Proceedings of the Encyclopedia of Parallel Computing, 2011

Feature-Oriented System Design and Engineering.
Int. J. Software and Informatics, 2011

Special Issue: Euro-Par 2010.
Concurrency and Computation: Practice and Experience, 2011

Special Issue: Euro-Par 2009.
Concurrency and Computation: Practice and Experience, 2011

Automatic detection of feature interactions using the Java modeling language: an experience report.
Proceedings of the Software Product Lines - 15th International Conference, 2011

Semistructured merge: rethinking merge in revision control systems.
Proceedings of the SIGSOFT/FSE'11 19th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-19) and ESEC'11: 13th European Software Engineering Conference (ESEC-13), 2011

2010
An algebraic foundation for automatic feature-based program synthesis.
Sci. Comput. Program., 2010

Type-Safe Feature-Oriented Product Lines
CoRR, 2010

Type safety for feature-oriented product lines.
Autom. Softw. Eng., 2010

Semistructured Merge in Revision Control Systems.
Proceedings of the Fourth International Workshop on Variability Modelling of Software-Intensive Systems, 2010

Detecting Dependences and Interactions in Feature-Oriented Design.
Proceedings of the IEEE 21st International Symposium on Software Reliability Engineering, 2010

An analysis of the variability in forty preprocessor-based software product lines.
Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering, 2010

Language-independent reference checking in software product lines.
Proceedings of the Second International Workshop on Feature-Oriented Software Development, 2010

2009
Special Issue: Euro-Par 2008.
Concurrency and Computation: Practice and Experience, 2009

Special Issue: Euro-Par 2007.
Concurrency and Computation: Practice and Experience, 2009

Feature (De)composition in Functional Programming.
Proceedings of the Software Composition, 8th International Conference, SC 2009, Zurich, 2009

Vergleich und Integration von Komposition und Annotation zur Implementierung von Produktlinien.
Proceedings of the Software Engineering 2009: Fachtagung des GI-Fachbereichs Softwaretechnik 02.-06.03. 2009 in Kaiserslautern, 2009

RobbyDBMS: a case study on hardware/software product line engineering.
Proceedings of the First International Workshop on Feature-Oriented Software Development, 2009

FEATUREHOUSE: Language-independent, automated software composition.
Proceedings of the 31st International Conference on Software Engineering, 2009

2008
Superimposition: A Language-Independent Approach to Software Composition.
Proceedings of the Software Composition, 7th International Symposium, 2008

Feature featherweight java: a calculus for feature-oriented programming and stepwise refinement.
Proceedings of the Generative Programming and Component Engineering, 2008

LooPo-HOC: A Grid Component with Embedded Loop Parallelization.
Proceedings of the Grid Computing, 2008

An Algebra for Features and Feature Composition.
Proceedings of the Algebraic Methodology and Software Technology, 2008

2007
Costing stepwise refinements of parallel programs.
Computer Languages, Systems & Structures, 2007

07361 Abstracts Collection -- Programming Models for Ubiquitous Parallelism.
Proceedings of the Programming Models for Ubiquitous Parallelism, 02.09. - 07.09.2007, 2007

07361 Introduction -- Programming Models for Ubiquitous Parallelism.
Proceedings of the Programming Models for Ubiquitous Parallelism, 02.09. - 07.09.2007, 2007

2006
Preface.
Sci. Comput. Program., 2006

Quantifier elimination in automatic loop parallelization.
J. Symb. Comput., 2006

A disciplined approach to aspect composition.
Proceedings of the 2006 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, 2006

Feature oriented refactoring of legacy applications.
Proceedings of the 28th International Conference on Software Engineering (ICSE 2006), 2006

2005
Quantifier Elimination in Automatic Loop Parallelization.
Proceedings of the Algorithmic Algebra and Logic. Proceedings of the A3L 2005, 2005

2004
Space-time mapping and tiling: a helpful combination.
Concurrency and Computation: Practice and Experience, 2004

2003
Replicated Placements in the Polyhedron Model.
Proceedings of the Euro-Par 2003. Parallel Processing, 2003

Program Optimization in the Domain of High-Performance Parallelism.
Proceedings of the Domain-Specific Program Generation, International Seminar, 2003

2002
Using Metaprogramming to Parallelize Functional Specifications.
Parallel Processing Letters, 2002

PolyAPM: Parallel Programming via Stepwise Refinement with Abstract Parallel Machines.
Proceedings of the Implementation of Functional Languages, 14th International Workshop, 2002

2001
On the parallel implementation of a generalized broadcast.
Parallel Algorithms Appl., 2001

Towards parallel programming by transformation: the FAN skeleton framework.
Parallel Algorithms Appl., 2001

High-performance Java - introduction.
Commun. ACM, 2001

A Transformational Approach which Combines Size Inference and Program Optimization.
Proceedings of the Semantics, 2001

Loop-Carried Code Placement.
Proceedings of the Euro-Par 2001: Parallel Processing, 2001

2000
HDC: A Higher-Order Language for Divide-and-Conquer.
Parallel Processing Letters, 2000

Index Set Splitting.
International Journal of Parallel Programming, 2000

Abstraction and Performance in the Design of Parallel Programs: An Overview of the SAT Approach.
Acta Inf., 2000

Issues of the Automatic Generation of HPF Loop Programs.
Proceedings of the Languages and Compilers for Parallel Computing, 2000

1999
Termination detection in parallel loop nests with while loops.
Parallel Computing, 1999

Parallelization of Divide-and-Conquer by Translation to Nested Loops.
J. Funct. Program., 1999

Skeletons and Transformations in an Integrated Parallel Programming Environment.
Proceedings of the Parallel Computing Technologies, 1999

Application of the Polytope Model to Functional Programs.
Proceedings of the Languages and Compilers for Parallel Computing, 1999

Optimization Rules for Programming with Collective Operations.
Proceedings of the 13th International Parallel Processing Symposium / 10th Symposium on Parallel and Distributed Processing (IPPS / SPDP '99), 1999

Static Parallelization of Functional Programs: Elimination of Higher-Order Functions & Optimized Inlining.
Proceedings of the Euro-Par '99 Parallel Processing, 5th International Euro-Par Conference, Toulouse, France, August 31, 1999

On Index Set Splitting.
Proceedings of the 1999 International Conference on Parallel Architectures and Compilation Techniques, 1999

1998
On Linear List Recursion in Parallel.
Acta Inf., 1998

Code Generation in the Polytope Model.
Proceedings of the 1998 International Conference on Parallel Architectures and Compilation Techniques, 1998

1997
The Static Parallelization of Loops and Recursions.
The Journal of Supercomputing, 1997

Transformation of Divide & Conquer to Nested Parallel Loops.
Proceedings of the Programming Languages: Implementations, 1997

Parallel Implementations of Combinations of Broadcast, Reduction and Scan.
Proceedings of the International Symposium on Software Engineering for Parallel and Distributed Systems, 1997

1996
On the Space-Time Mapping of a Class of Divide-and-Conquer Recursions.
Parallel Processing Letters, 1996

The Loop Parallelizer LooPo-Announcement.
Proceedings of the Languages and Compilers for Parallel Computing, 1996

Classifying Loops for Space-Time Mapping.
Proceedings of the Euro-Par '96 Parallel Processing, 1996

(Objects + Concurrency) & Reusability - A Proposal to Circumvent the Inheritance Anomaly.
Proceedings of the ECOOP'96, 1996

1995
A communication scheme for the distributed execution of loop nests with while loops.
International Journal of Parallel Programming, 1995

Parallelisation of Divide-and-Conquer in the Bird-Meertens Formalism.
Formal Asp. Comput., 1995

Modal-µ-Maude: Specification and Properties of Concurrent Objects.
Object Orientation with Parallelism and Persistence, 1995

1994
On the Space-Time Mapping of While-Loops.
Parallel Processing Letters, 1994

Systematic Development of an SPMD Implementation Schema for Mutually Recursive Divide-and-Conquer Specifications.
Proceedings of the 8th International Symposium on Parallel Processing, 1994

On Scanning Space-Time Mapped While Loops.
Proceedings of the Parallel Processing: CONPAR 94, 1994

An Object-Oriented Airport: Specification and Refinement in Maude.
Proceedings of the Recent Trends in Data Type Specification, 10th Workshop on Specification of Abstract Data Types Joint with the 5th COMPASS Workshop, S. Margherita, Italy, May 30, 1994

1993
A Systolizing Compilation Scheme for Nested Loops with Linear Bounds.
Proceedings of the Functional Programming, 1993

Loop Parallelization in the Polytope Model.
Proceedings of the CONCUR '93, 1993

1992
A systolic array for pyramidal algorithms.
VLSI Signal Processing, 1992

Unimodularity and the Prallelization of Loops.
Parallel Processing Letters, 1992

The synthesis of control signals for one-dimensional systolic arrays.
Integration, 1992

Unimodularity Considered Non-Essential.
Proceedings of the Parallel Processing: CONPAR 92, 1992

1991
A systolic array for pyramidal algorithms.
VLSI Signal Processing, 1991

On Denotational versus Predicative Semantics.
J. Comput. Syst. Sci., 1991

Towards Systolizing Compilation.
Distributed Computing, 1991

A Systolizing Compilation Scheme: Abstract.
Proceedings of the International Conference on Parallel Processing, 1991

The Synthesis of Systolic Programs.
Proceedings of the Research Directions in High-Level Parallel Programming Languages, 1991

Specifying control signals for one-dimensional systolic arrays by uniform recurrence equations.
Proceedings of the Algorithms and Parallel VLSI Architectures II, 1991

1990
Code Generation for a Systolic Computer.
Softw., Pract. Exper., 1990

The Projection of Systolic Programs.
Formal Asp. Comput., 1990

Wie kann man imperative Programme auf eine Systolisierung vorbereiten?
Proceedings of the GI, 1990

1989
Semantic Independence.
Sci. Comput. Program., 1989

An Incremental Mechanical Development of Systolic Solutions to the Algebraic Path Problem.
Acta Inf., 1989

Towards Systolizing Compilation: An Overview.
Proceedings of the PARLE '89: Parallel Architectures and Languages Europe, 1989

A Mechanically Derived Systolic Implementation of Pyramid Initialization.
Proceedings of the Hardware Specification, 1989

The Projection of Systolic Programs.
Proceedings of the Mathematics of Program Construction, 1989

1987
The Derivation of Systolic Implementations of Programs.
Acta Inf., 1987

An Implemented Method for Incremmental Systolic Design.
Proceedings of the PARLE, 1987

1986
The automated proof of a trace transformation for a bitonic sort.
Theor. Comput. Sci., 1986

A Mechanically Certified Theorem about Optimal Concurrency of Sorting Networks.
Proceedings of the Conference Record of the Thirteenth Annual ACM Symposium on Principles of Programming Languages, 1986

1985
On the Role of Automated Theorem Proving in the Compile-Time Derivation of Concurrency.
J. Autom. Reasoning, 1985

1984
The Static Derivation of Concurrency and its Mechanzed Certification.
Proceedings of the Seminar on Concurrency, 1984

1982
A Methodology for Programming with Concurrency: An Informal Presentation.
Sci. Comput. Program., 1982

A Methodology for Programming with Concurrency: The Formalism.
Sci. Comput. Program., 1982

1981
A methodolgy for programming with concurrency.
Proceedings of the CONPAR 81: Conference on Analysing Problem Classes and Programming for Parallel Computing, 1981


  Loading...