Lift: a functional data-parallel IR for high-performance GPU code generation
No abstract available.
Related papers
- Mapping parallelism in a functional IR through constraint satisfaction: a case study on convolution for mobile GPUs CC 2022
- High performance stencil code generation with lift CGO 2018
- Verified lifting of stencil computations PLDI 2016
- Singe: leveraging warp specialization for high performance on GPUs PPoPP 2014
- Generating performance portable code using rewrite rules: from high-level functional expressions to high-performance OpenCL code ICFP 2015
- Kuiper: Correct and Efficient GPU Programming with Dependent Types and Separation Logic PLDI 2026
- Portable mapping of data parallel programs to OpenCL for heterogeneous systems CGO 2013
- A language for hierarchical data parallel design-space exploration on GPUs JFP 2016