Christian Lengauer

Armin Größlinger

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).

[BibT_eX]

[DOI]

Julia Lawall

Sci. Comput. Program., 2012

Polly - Performing Polyhedral Optimizations on a Low-Level Intermediate Representation.

[BibT_eX]

[DOI]

Tobias Grosser

Armin Größlinger

Parallel Process. Lett., 2012

Structured merge with auto-tuning: balancing precision and performance.

[BibT_eX]

[DOI]

Olaf Leßenich

Proceedings of the IEEE/ACM International Conference on Automated Software Engineering, 2012

2011

Owicki-Gries Method of Axiomatic Verification.

[BibT_eX]

[DOI]

Proceedings of the Encyclopedia of Parallel Computing, 2011

Monitors, Axiomatic Verification of.

[BibT_eX]

[DOI]

Proceedings of the Encyclopedia of Parallel Computing, 2011

Semantic Independence.

[BibT_eX]

[DOI]

Martin Fränzle

Proceedings of the Encyclopedia of Parallel Computing, 2011

Polyhedron Model.

[BibT_eX]

[DOI]

Paul Feautrier

Proceedings of the Encyclopedia of Parallel Computing, 2011

Feature-Oriented System Design and Engineering.

[BibT_eX]

[DOI]

Int. J. Softw. Informatics, 2011

Special Issue: Euro-Par 2010.

[BibT_eX]

[DOI]

Concurr. Comput. Pract. Exp., 2011

Special Issue: Euro-Par 2009.

[BibT_eX]

[DOI]

Concurr. Comput. Pract. Exp., 2011

Automatic detection of feature interactions using the Java modeling language: an experience report.

[BibT_eX]

[DOI]

Proceedings of the Software Product Lines - 15th International Conference, 2011

Semistructured merge: rethinking merge in revision control systems.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2010

Type-Safe Feature-Oriented Product Lines

[BibT_eX]

[DOI]

CoRR, 2010

Type safety for feature-oriented product lines.

[BibT_eX]

[DOI]

Autom. Softw. Eng., 2010

Semistructured Merge in Revision Control Systems.

[BibT_eX]

[DOI]

Proceedings of the Fourth International Workshop on Variability Modelling of Software-Intensive Systems, 2010

Detecting Dependences and Interactions in Feature-Oriented Design.

[BibT_eX]

[DOI]

Proceedings of the IEEE 21st International Symposium on Software Reliability Engineering, 2010

An analysis of the variability in forty preprocessor-based software product lines.

[BibT_eX]

[DOI]

Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering, 2010

Language-independent reference checking in software product lines.

[BibT_eX]

[DOI]

Proceedings of the Second International Workshop on Feature-Oriented Software Development, 2010

2009

Special Issue: Euro-Par 2008.

[BibT_eX]

[DOI]

Concurr. Comput. Pract. Exp., 2009

Special Issue: Euro-Par 2007.

[BibT_eX]

[DOI]

Concurr. Comput. Pract. Exp., 2009

Feature (De)composition in Functional Programming.

[BibT_eX]

[DOI]

Proceedings of the Software Composition - 8th International Conference, 2009

Vergleich und Integration von Komposition und Annotation zur Implementierung von Produktlinien.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the First International Workshop on Feature-Oriented Software Development, 2009

FEATUREHOUSE: Language-independent, automated software composition.

[BibT_eX]

[DOI]

Proceedings of the 31st International Conference on Software Engineering, 2009

2008

Superimposition: A Language-Independent Approach to Software Composition.

[BibT_eX]

[DOI]

Proceedings of the Software Composition - 7th International Symposium, 2008

Research challenges in the tension between features and services.

[BibT_eX]

[DOI]

Proceedings of the 2nd International Workshop on Systems Development in SOA Environments, 2008

Feature featherweight java: a calculus for feature-oriented programming and stepwise refinement.

[BibT_eX]

[DOI]

Proceedings of the Generative Programming and Component Engineering, 2008

LooPo-HOC: A Grid Component with Embedded Loop Parallelization.

[BibT_eX]

[DOI]

Proceedings of the Grid Computing, 2008

An Algebra for Features and Feature Composition.

[BibT_eX]

[DOI]

Proceedings of the Algebraic Methodology and Software Technology, 2008

2007

Costing stepwise refinements of parallel programs.

[BibT_eX]

[DOI]

Nils Ellmenreich

Comput. Lang. Syst. Struct., 2007

07361 Abstracts Collection -- Programming Models for Ubiquitous Parallelism.

[BibT_eX]

[DOI]

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

07361 Introduction -- Programming Models for Ubiquitous Parallelism.

[BibT_eX]

[DOI]

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

2006

Preface.

[BibT_eX]

[DOI]

Walid Taha

Sci. Comput. Program., 2006

Quantifier elimination in automatic loop parallelization.

[BibT_eX]

[DOI]

Armin Größlinger

Roberto E. Lopez-Herrejon

J. Symb. Comput., 2006

A disciplined approach to aspect composition.

[BibT_eX]

[DOI]

Don S. Batory

Proceedings of the 2006 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, 2006

Feature oriented refactoring of legacy applications.

[BibT_eX]

[DOI]

Jia Liu

Don S. Batory

Proceedings of the 28th International Conference on Software Engineering (ICSE 2006), 2006

2004

Space-time mapping and tiling: a helpful combination.

[BibT_eX]

[DOI]

Concurr. Comput. Pract. Exp., 2004

2003

Replicated Placements in the Polyhedron Model.

[BibT_eX]

[DOI]

Proceedings of the Euro-Par 2003. Parallel Processing, 2003

Program Optimization in the Domain of High-Performance Parallelism.

[BibT_eX]

[DOI]

Proceedings of the Domain-Specific Program Generation, International Seminar, 2003

Transforming Rapid Prototypes to Efficient Parallel Programs.

[BibT_eX]

[DOI]

Proceedings of the Patterns and Skeletons for Parallel and Distributed Computing, 2003

2002

Using Metaprogramming to Parallelize Functional Specifications.

[BibT_eX]

[DOI]

Parallel Process. Lett., 2002

PolyAPM: Parallel Programming via Stepwise Refinement with Abstract Parallel Machines.

[BibT_eX]

[DOI]

Nils Ellmenreich

Proceedings of the Implementation of Functional Languages, 14th International Workshop, 2002

2001

On the parallel implementation of a generalized broadcast.

[BibT_eX]

[DOI]

Parallel Algorithms Appl., 2001

Towards parallel programming by transformation: the FAN skeleton framework.

[BibT_eX]

[DOI]

Parallel Algorithms Appl., 2001

High-performance Java - introduction.

[BibT_eX]

[DOI]

Cherri M. Pancake

Commun. ACM, 2001

A Transformational Approach which Combines Size Inference and Program Optimization.

[BibT_eX]

[DOI]

Proceedings of the Semantics, 2001

Loop-Carried Code Placement.

[BibT_eX]

[DOI]

Proceedings of the Euro-Par 2001: Parallel Processing, 2001

2000

HDC: A Higher-Order Language for Divide-and-Conquer.

[BibT_eX]

[DOI]

Parallel Process. Lett., 2000

Index Set Splitting.

[BibT_eX]

[DOI]

Paul Feautrier

Int. J. Parallel Program., 2000

Abstraction and Performance in the Design of Parallel Programs: An Overview of the SAT Approach.

[BibT_eX]

[DOI]

Acta Informatica, 2000

Issues of the Automatic Generation of HPF Loop Programs.

[BibT_eX]

[DOI]

Proceedings of the Languages and Compilers for Parallel Computing, 2000

1999

Termination detection in parallel loop nests with while loops.

[BibT_eX]

[DOI]

Max Geigl

Parallel Comput., 1999

Parallelization of Divide-and-Conquer by Translation to Nested Loops.

[BibT_eX]

[DOI]

J. Funct. Program., 1999

Skeletons and Transformations in an Integrated Parallel Programming Environment.

[BibT_eX]

[DOI]

Proceedings of the Parallel Computing Technologies, 1999

Application of the Polytope Model to Functional Programs.

[BibT_eX]

[DOI]

Nils Ellmenreich

Proceedings of the Languages and Compilers for Parallel Computing, 1999

Optimization Rules for Programming with Collective Operations.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Jan Laitenberger

Christian Schaller

Proceedings of the Euro-Par '99 Parallel Processing, 5th International Euro-Par Conference, Toulouse, France, August 31, 1999

1998

On Linear List Recursion in Parallel.

[BibT_eX]

[DOI]

Acta Informatica, 1998

Code Generation in the Polytope Model.

[BibT_eX]

[DOI]

Sabine Wetzel

Proceedings of the 1998 International Conference on Parallel Architectures and Compilation Techniques, 1998

1997

The Static Parallelization of Loops and Recursions.

[BibT_eX]

[DOI]

J. Supercomput., 1997

Transformation of Divide & Conquer to Nested Parallel Loops.

[BibT_eX]

[DOI]

Proceedings of the Programming Languages: Implementations, 1997

Parallel Implementations of Combinations of Broadcast, Reduction and Scan.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Christoph Armin Herrmann

Parallel Process. Lett., 1996

The Loop Parallelizer LooPo-Announcement.

[BibT_eX]

[DOI]

Proceedings of the Languages and Compilers for Parallel Computing, 1996

Classifying Loops for Space-Time Mapping.

[BibT_eX]

[DOI]

Proceedings of the Euro-Par '96 Parallel Processing, 1996

(Objects + Concurrency) & Reusability - A Proposal to Circumvent the Inheritance Anomaly.

[BibT_eX]

[DOI]

Proceedings of the ECOOP'96, 1996

1995

A communication scheme for the distributed execution of loop nests with while loops.

[BibT_eX]

[DOI]

Int. J. Parallel Program., 1995

Parallelisation of Divide-and-Conquer in the Bird-Meertens Formalism.

[BibT_eX]

[DOI]

Formal Aspects Comput., 1995

Modal-µ-Maude: Specification and Properties of Concurrent Objects.

[BibT_eX]

Ulrike Lechner

Proceedings of the Object Orientation with Parallelism and Persistence (the book grow out of a Dagstuhl Seminar in April 1995), 1995

1994

On the Space-Time Mapping of While-Loops.

[BibT_eX]

[DOI]

Parallel Process. Lett., 1994

Systematic Development of an SPMD Implementation Schema for Mutually Recursive Divide-and-Conquer Specifications.

[BibT_eX]

[DOI]

Proceedings of the 8th International Symposium on Parallel Processing, 1994

On Scanning Space-Time Mapped While Loops.

[BibT_eX]

[DOI]

Proceedings of the Parallel Processing: CONPAR 94, 1994

An Object-Oriented Airport: Specification and Refinement in Maude.

[BibT_eX]

[DOI]

Ulrike Lechner

Martin Wirsing

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.

[BibT_eX]

[DOI]

Proceedings of the Functional Programming, 1993

Loop Parallelization in the Polytope Model.

[BibT_eX]

[DOI]

Proceedings of the CONCUR '93, 1993

1992

Unimodularity and the Prallelization of Loops.

[BibT_eX]

[DOI]

Parallel Process. Lett., 1992

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

[BibT_eX]

[DOI]

Jingling Xue

Integr., 1992

Unimodularity Considered Non-Essential.

[BibT_eX]

[DOI]

Proceedings of the Parallel Processing: CONPAR 92, 1992

1991

A systolic array for pyramidal algorithms.

[BibT_eX]

[DOI]

Jingling Xue

J. VLSI Signal Process., 1991

On Denotational versus Predicative Semantics.

[BibT_eX]

[DOI]

Manfred Broy

J. Comput. Syst. Sci., 1991

Towards Systolizing Compilation.

[BibT_eX]

[DOI]

Duncan G. Hudson III

Distributed Comput., 1991

A Systolizing Compilation Scheme: Abstract.

[BibT_eX]

Proceedings of the International Conference on Parallel Processing, 1991

The Synthesis of Systolic Programs.

[BibT_eX]

[DOI]

Proceedings of the Research Directions in High-Level Parallel Programming Languages, 1991

Specifying control signals for one-dimensional systolic arrays by uniform recurrence equations.

[BibT_eX]

Jingling Xue

Proceedings of the Algorithms and Parallel VLSI Architectures II, 1991

1990

Code Generation for a Systolic Computer.

[BibT_eX]

[DOI]

Softw. Pract. Exp., 1990

The Projection of Systolic Programs.

[BibT_eX]

[DOI]

Jeff W. Sanders

Formal Aspects Comput., 1990

Wie kann man imperative Programme auf eine Systolisierung vorbereiten?

[BibT_eX]

[DOI]

Proceedings of the GI, 1990

1989

Semantic Independence.

[BibT_eX]

[DOI]

Eike Best

Sci. Comput. Program., 1989

An Incremental Mechanical Development of Systolic Solutions to the Algebraic Path Problem.

[BibT_eX]

[DOI]

Acta Informatica, 1989

Towards Systolizing Compilation: An Overview.

[BibT_eX]

[DOI]

Proceedings of the PARLE '89: Parallel Architectures and Languages Europe, 1989

A Mechanically Derived Systolic Implementation of Pyramid Initialization.

[BibT_eX]

[DOI]

Bikash Sabata

Farshid Arman

Proceedings of the Hardware Specification, 1989

1987

The Derivation of Systolic Implementations of Programs.

[BibT_eX]

[DOI]

Acta Informatica, 1987

An Implemented Method for Incremmental Systolic Design.

[BibT_eX]

[DOI]

Proceedings of the PARLE, 1987

1986

The automated proof of a trace transformation for a bitonic sort.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 1986

A Mechanically Certified Theorem about Optimal Concurrency of Sorting Networks.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

J. Autom. Reason., 1985

1984

The Static Derivation of Concurrency and its Mechanzed Certification.

[BibT_eX]

[DOI]

Proceedings of the Seminar on Concurrency, 1984

1982

A methodology for programming with concurrency.

[BibT_eX]

[DOI]

PhD thesis, 1982

A Methodology for Programming with Concurrency: An Informal Presentation.

[BibT_eX]

[DOI]

Eric C. R. Hehner

Sci. Comput. Program., 1982

A Methodology for Programming with Concurrency: The Formalism.

[BibT_eX]

[DOI]

Sci. Comput. Program., 1982

1981

A methodolgy for programming with concurrency.

[BibT_eX]

[DOI]