Automatic Verification of Determinism for Structured Parallel Programs
Abstract elided by the publisher.
Related papers
- Verifying Array Properties in Pure Data-Parallel Programs PLDI 2026
- Automatic parallelization of pure method calls via conditional future synthesis OOPSLA 2016
- Pricing Python parallelism: a dynamic language cost model for heterogeneous platforms DLS 2020
- Automatic Array Alignment in Data-Parallel Programs POPL 1993
- Recurrence Analysis for Automatic Parallelization of Subscripted Subscripts PPoPP 2024
- Enhancing locality for recursive traversals of recursive structures OOPSLA 2011
- RACECAR: a heuristic for automatic function specialization on multi-core heterogeneous systems PPoPP 2012
- Deciding memory safety for single-pass heap-manipulating programs POPL 2020