• Publications
  • Influence
Polly - Performing Polyhedral Optimizations on a Low-Level Intermediate Representation
TLDR
The polyhedral model for loop parallelization has proved to be an effective tool for advanced optimization and automatic parallelization of programs in higher-level languages. Expand
  • 246
  • 38
  • PDF
Strategies for product-line verification: Case studies and experiments
TLDR
We compare sample-based and family-based verification strategies with regard to verification performance and the ability to find defects. Expand
  • 148
  • 8
  • PDF
Type safety for feature-oriented product lines
TLDR
A feature-oriented decomposition enables a generator to create an executable program by composing feature code solely on the basis of the feature selection of a user—no other information needed. Expand
  • 119
  • 7
  • PDF
Quantifier elimination in automatic loop parallelization
TLDR
We present an application of quantifier elimination techniques in the automatic parallelization of nested loop programs in the polyhedron model. Expand
  • 15
  • 3
  • PDF
ExaStencils: Advanced Stencil-Code Engineering
TLDR
Project ExaStencils pursues a radically new approach to stencil-code engineering. Expand
  • 50
  • 2
  • PDF
Precise Management of Scratchpad Memories for Localising Array Accesses in Scientific Codes
TLDR
We present a method for computing precisely which memory cells are reused due to temporal locality of a certain class of codes, namely codes which can be modelled in the well-known polyhedron model. Expand
  • 32
  • 2
  • PDF
Type-Safe Feature-Oriented Product Lines
TLDR
A feature-oriented product line is a family of programs that share a common set of features. Expand
  • 14
  • 1
  • PDF
The potential of polyhedral optimization: An empirical study
TLDR
We analyzed a set of popular software systems, distributed across various application domains. Expand
  • 6
  • 1
  • PDF
Feature (De)composition in Functional Programming
TLDR
We explore the problem of crosscutting concerns in functional programming and propose two solutions based on feature orientation. Expand
  • 21
  • PDF
Forward Communication Only Placements and Their Use for Parallel Program Construction
TLDR
The context of this paper is automatic parallelization by the space-time mapping method. Expand
  • 20
...
1
2
3
...