Abstraction of Arrays Based on Non Contiguous Partitions
Abstract elided by the publisher.
Related papers
- Verifying Array Properties in Pure Data-Parallel Programs PLDI 2026
- Task mapping stencil computations for non-contiguous allocations PPoPP 2014
- Carrier Arrays: An Idiom-Preserving Extension to APL POPL 1981
- Z-rays: divide arrays and conquer speed and flexibility PLDI 2010
- An Array Allocation Scheme for Energy Reduction in Partitioned Memory Architectures CC 2007
- Blocking and array contraction across arbitrarily nested loops using affine partitioning PPoPP 2001
- Non-disjunctive Numerical Domain for Array Predicate Abstraction ESOP 2008
- A combination framework for tracking partition sizes POPL 2009