Parallel associative reductions in halide
No abstract available.
Related papers
- Halide: a language and compiler for optimizing parallelism, locality, and recomputation in image processing pipelines PLDI 2013
- Distributed Halide PPoPP 2016
- Parallelizing Complex Scans and Reductions PLDI 1994
- Speculative parallelization of partial reduction variables CGO 2010
- HaliVer: Deductive Verification and Scheduling Languages Join Forces TACAS 2024
- Lambda calculus with algebraic simplification for reduction parallelization by equational reasoning ICFP 2019
- The undecidability of associativity and commutativity analysis TOPLAS 2002
- Lambda calculus with algebraic simplification for reduction parallelisation: Extended study JFP 2021