Generating an Efficient Compiler for a Data Parallel Language from a Denotational Specification
No abstract available.
Related papers
- Denotational Semantics as a Specification of Code Generators PLDI 1982
- Experience with an Experimental Compiler Generator Based on Denotational Semantics PLDI 1982
- Sparse computation data dependence simplification for efficient compiler-generated inspectors PLDI 2019
- Compiling data-parallel Datalog CC 2021
- Exploitation of APL Data Parallelism on a Shared-memory MIMD Machine PPoPP 1991
- MatchBox: A Semantic Foundation for Data Plane Portability PLDI 2026
- An Equational Language for Data-Parallelism PPoPP 1993
- Dynamic compilation of data-parallel kernels for vector processors CGO 2012