Polyhedral AST Generation Is More Than Scanning Polyhedra

No abstract is available for this paper.

• Publication year

  2015

• Venue

  ACM Transactions on Programming Languages and Systems

• Publication date

  2015-07-15

• Fields of study

  Computer Science

• Identifiers
  DOI 10.1145/2743016
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Compiler Optimizations For Scalable Parallel Systems Languages Compilation Techniques And Run Time Systems

  2016cited by this paper
• Optimistic Delinearization of Parametrically Sized Arrays

  2015cited by this paper
• Integer Set Coalescing

  2015influential reference
• Hybrid Hexagonal/Classical Tiling for GPUs

  2014influential reference
• Non-affine Extensions to Polyhedral Code Generation

  2014cited by this paper
• Tiling and optimizing time-iterated computations over periodic domains

  2014influential reference
• Oil and Water Can Mix: An Integration of Polyhedral and AST-Based Transformations

  2014cited by this paper
• Oil and Water can mix ! Experiences with integrating Polyhedral and AST-based Transformations

  2013cited by this paper
• Polyhedral parallel code generation for CUDA

  2013influential reference
• A stencil compiler for short-vector SIMD architectures

  2013cited by this paper
• Improving polyhedral code generation for high-level synthesis

  2013influential reference
• Schedule Trees

  2013cited by this paper
• When polyhedral transformations meet SIMD code generation

  2013cited by this paper
• AlphaZ: A System for Design Space Exploration in the Polyhedral Model

  2012cited by this paper
• Polyhedra scanning revisited

  2012influential reference
• Polly - Performing Polyhedral Optimizations on a Low-Level Intermediate Representation

  2012cited by this paper
• Tiling stencil computations to maximize parallelism

  2012cited by this paper
• High-performance code generation for stencil computations on GPU architectures

  2012cited by this paper
• Polyhedral Extraction Tool

  2012cited by this paper
• Counting Affine Calculator and Applications

  2011cited by this paper
• Polyhedron Model

  2011cited by this paper
• isl: An Integer Set Library for the Polyhedral Model

  2010influential reference
• DynTile: Parametric tiled loop generation for parallel execution on multicore processors

  2010cited by this paper
• Equivalence checking of static affine programs using widening to handle recurrences

  2008cited by this paper
• Iterative optimization in the polyhedral model: part ii, multidimensional time

  2008cited by this paper
• A practical automatic polyhedral parallelizer and locality optimizer

  2008influential reference
• CHiLL : A Framework for Composing High-Level Loop Transformations

  2007cited by this paper
• Parameterized tiled loops for free

  2007cited by this paper
• Iterative Optimization in the Polyhedral Model: Part I, One-Dimensional Time

  2007cited by this paper
• Multi-level tiling: M for the price of one

  2007cited by this paper
• Polyhedral Code Generation in the Real World

  2006cited by this paper
• Semi-Automatic Composition of Loop Transformations for Deep Parallelism and Memory Hierarchies

  2006cited by this paper
• Code generation in the polyhedral model is easier than you think

  2004cited by this paper
• An Efficient Code Generation Technique for Tiled Iteration Spaces

  2003cited by this paper
• Achieving Scalable Locality with Time Skewing

  2002cited by this paper
• Register tiling in nonrectangular iteration spaces

  2002cited by this paper
• Loop Parallelization Algorithms

  2001cited by this paper
• Generation of Efficient Nested Loops from Polyhedra

  2000influential reference
• Index Set Splitting

  2000cited by this paper
• Parameterized Polyhedra and Their Vertices

  1997cited by this paper
• Iteration space slicing and its application to communication optimization

  1997cited by this paper
• A unifying framework for iteration reordering transformations

  1995cited by this paper
• Code generation for multiple mappings

  1995influential reference
• Static analysis of upper and lower bounds on dependences and parallelism

  1994cited by this paper
• An Exact Method for Analysis of Value-based Array Data Dependences

  1993cited by this paper
• Some efficient solutions to the affine scheduling problem. I. One-dimensional time

  1992cited by this paper
• Some efficient solutions to the affine scheduling problem. Part II. Multidimensional time

  1992cited by this paper
• Scanning polyhedra with DO loops

  1991cited by this paper
• Parametric integer programming

  1988cited by this paper

• ARACHNE: Optimizing Distributed Parallel Applications with Reduced Inter-Process Communication

  2025cites this paper
• Tempo: Compiled Dynamic Deep Learning with Symbolic Dependence Graphs

  2025cites this paper
• SpaceFusion: Advanced Deep Learning Operator Fusion via Space-Mapping Graph

  2025cites this paper
• (De/Re)-Composition of Data-Parallel Computations via Multi-Dimensional Homomorphisms

  2024cites this paper
• Employing polyhedral methods to optimize stencils on FPGAs with stencil-specific caches, data reuse, and wide data bursts

  2024cites this paper
• A Holistic Approach to Automatic Mixed-Precision Code Generation and Tuning for Affine Programs

  2024influential citation
• A Priori Loop Nest Normalization: Automatic Loop Scheduling in Complex Applications

  2024cites this paper
• TSCompiler: efficient compilation framework for dynamic-shape models

  2024cites this paper
• Modeling the Interplay between Loop Tiling and Fusion in Optimizing Compilers Using Affine Relations

  2023influential citation
• CustomHalide – A new plugin of clang for loop optimization

  2023cites this paper
• End-to-end translation validation for the halide language

  2022cites this paper
• POLSCA: Polyhedral High-Level Synthesis with Compiler Transformations

  2022cites this paper
• Parallelizing Neural Network Models Effectively on GPU by Implementing Reductions Atomically

  2022influential citation
• Automatically Generating High-performance Matrix Multiplication Kernels on the Latest Sunway Processor

  2022cites this paper
• Autotuning Convolutions Is Easier Than You Think

  2022cites this paper
• Polyhedral Specification and Code Generation of Sparse Tensor Contraction with Co-iteration

  2022cites this paper
• Efficient convolution optimisation by composing micro-kernels

  2022cites this paper
• Optimizing GPU Deep Learning Operators with Polyhedral Scheduling Constraint Injection

  2022cites this paper
• Composable and Modular Code Generation in MLIR: A Structured and Retargetable Approach to Tensor Compiler Construction

  2022cites this paper
• Verified code generation for the polyhedral model

  2021influential citation
• Polygeist: Affine C in MLIR

  2021cites this paper
• Phism: Polyhedral High-Level Synthesis in MLIR

  2021cites this paper
• Tile size selection of affine programs for GPGPUs using polyhedral cross-compilation

  2021cites this paper
• Revisiting split tiling for stencil computations in polyhedral compilation

  2021influential citation
• PICO

  2021influential citation
• Polygeist: Raising C to Polyhedral MLIR

  2021influential citation
• A Case Study in Representing Scientific Applications (GeoAc) Using the Sparse Polyhedral Framework

  2021cites this paper
• AKG: automatic kernel generation for neural processing units using polyhedral transformations

  2021influential citation
• Iterative Schedule Optimization for Parallelization in the Polyhedron Model

  2020cites this paper
• Autotuning for Automatic Parallelization on Heterogeneous Systems

  2020cites this paper
• Fast linear programming through transprecision computing on small and sparse data

  2020cites this paper
• Automatic Thread Block Size Selection Strategy in GPU Parallel Code Generation

  2020cites this paper
• Optimizing the Memory Hierarchy by Compositing Automatic Transformations on Computations and Data

  2020influential citation
• Efficient hierarchical online-autotuning: a case study on polyhedral accelerator mapping

  2019cites this paper
• Polyhedral Dataflow Graphs

  2019influential citation
• Polyhedral Compilation for Multi-dimensional Stream Processing

  2019cites this paper
• A programming language based on recurrence equations and polyhedral compilation for stream processing

  2019influential citation
• Flextended Tiles

  2019cites this paper
• Polyhedral Model Guided Automatic GPU Cache Exploitation Framework

  2019cites this paper
• A Structured Grid Solver with Polyhedral+Dataflow Representation

  2019cites this paper
• Polyhedral Compilation: Applications,Approximations and GPU-specific Optimizations

  2018cites this paper
• Transitive Closure Based Schedule of Loop Nest Statement Instances

  2018cites this paper
• Analytical Cost Metrics : Days of Future Past

  2018cites this paper
• Visual Program Manipulation in the Polyhedral Model

  2018cites this paper
• Polyhedral expression propagation

  2018cites this paper
• Speeding up Iterative Polyhedral Schedule Optimization with Surrogate Performance Models

  2018influential citation
• Towards Automatic Parallelization of Stream Processing Applications

  2018cites this paper
• Diesel: DSL for linear algebra and neural net computations on GPUs

  2018cites this paper
• Tensor Comprehensions: Framework-Agnostic High-Performance Machine Learning Abstractions

  2018cites this paper
• A polyhedral compilation framework for loops with dynamic data-dependent bounds

  2018cites this paper
• Tuning iteration space slicing based tiled multi-core code implementing Nussinov’s RNA folding

  2018cites this paper
• A Combined Language and Polyhedral Approach for Heterogeneous Parallelism. (Une Approche Combinée Langage-Polyédrique pour la Programmation Parallèle Hétérogène)

  2018cites this paper
• Generation of parallel synchronization-free tiled code

  2018influential citation
• Declarative Transformations in the Polyhedral Model

  2018cites this paper
• Iterative Schedule Optimization for Parallelization in the Polyhedron Model

  2017cites this paper
• MELHORANDO O ALCANCE DE OTIMIZAÇÕES DE CÓDIGO ATRAVÉS DE ANÁLISE HÍBRIDA DE INTERVALOS DE ACESSO À MEMÓRIA

  2017cites this paper
• Optimistic loop optimization

  2017cites this paper
• Lifting Barriers Using Parallel Polyhedral Regions

  2017cites this paper
• Optimizing numerical code by means of the transitive closure of dependence graphs

  2017cites this paper
• Optimized two-level parallelization for GPU accelerators using the polyhedral model

  2017cites this paper
• Analysis and Optimization of Scientific Applications through Set and Relation Abstractions

  2017cites this paper
• A general compilation algorithm to parallelize and optimize counted loops with dynamic data-dependent bounds

  2017cites this paper
• Supernode Transformation On Parallel Systems With Distributed Memory – An Analytical Approach

  2017cites this paper
• Splitting Polyhedra to Generate More Efficient Code

  2017cites this paper
• Compiling and Optimizing OpenMP 4.X Programs to OpenCL and SPIR

  2017cites this paper
• Adaptation automatique et semi-automatique des optimisations de programmes. (Automatic and Semi-Automatic Adaptation of Program Optimizations)

  2016cites this paper
• Live-range reordering

  2016cites this paper
• A Survey of Loop Parallelization: Models, Approaches, and Recent Developments

  2016cites this paper
• Synchronization-Free Automatic Parallelization for Arbitrarily Nested Affine Loops

  2016cites this paper
• Polly-ACC Transparent compilation to heterogeneous hardware

  2016influential citation
• Programming Embedded Manycore : Refinement and Optimizing Compilation of a Parallel Action Language for Hierarchical State Machines. (Programmation de systèmes embarqués many-core : Raffinement et compilation optimisante d'un langage d'action parallèle pour machines à états hiérarchiques)

  2016cites this paper
• Input space splitting for OpenCL

  2016cites this paper
• Loopy: Programmable and Formally Verified Loop Transformations

  2016cites this paper
• Loop Nest Tiling for Image Processing and Communication Applications

  2016cites this paper
• Improving tiling, reducing compilation time, and extending the scope of polyhedral compilation. (Amélioration du tuilage, réduction du temps de compilation, et extension de l'utilisabilité de la compilation polyédrique)

  2015cites this paper
• Combining Polyhedral and AST Transformations in CHiLL

  2015influential citation
• Runtime pointer disambiguation

  2015cites this paper
• Visual Program Manipulation in the Polyhedral Model

  year unknowncites this paper
• Visual Program Manipulation in the Polyhedral Model

  year unknowncites this paper
• Parallelizing Neural Network Models E ! ectively on GPU by Implementing Reductions Atomically

  year unknowninfluential citation
• Visual Program Manipulation in the Polyhedral Model

  year unknowncites this paper
• Visual Program Manipulation in the Polyhedral Model

  year unknowncites this paper
• Visual Program Manipulation in the Polyhedral Model

  year unknowncites this paper
• Efficient convolution optimisation by composing micro-kernels

  year unknowncites this paper
• Visual Program Manipulation in the Polyhedral Model

  year unknowncites this paper
• Visual Program Manipulation in the Polyhedral Model

  year unknowncites this paper
• A Polyhedral Compilation Library with Explicit Disequality Constraints

  year unknowncites this paper
• Visual Program Manipulation in the Polyhedral Model

  year unknowncites this paper
• Visual Program Manipulation in the Polyhedral Model

  year unknowncites this paper
• Abstraction raising in MLIR

  year unknowncites this paper