A New Abstraction Framework for Affine Transformers
Abstract elided by the publisher.
Related papers
- MDPs as Distribution Transformers: Affine Invariant Synthesis for Safety Objectives CAV 2023
- Blocking and array contraction across arbitrarily nested loops using affine partitioning PPoPP 2001
- PLUTO+: near-complete modeling of affine transformations for parallelism and locality PPoPP 2015
- Maximizing Parallelism and Minimizing Synchronization with Affine Transforms POPL 1997
- The Pluto+ Algorithm: A Practical Approach for Parallelization and Locality Optimization of Affine Loop Nests TOPLAS 2016
- Abstract Domains of Affine Relations TOPLAS 2014
- Progressive Raising in Multi-level IR CGO 2021
- Equivalence checking of static affine programs using widening to handle recurrences TOPLAS 2012