Exploitation of GPUs for the Parallelisation of Probably Parallel Legacy Code
Abstract elided by the publisher.
Related papers
- Modernizing parallel code with pattern analysis PPoPP 2021
- GPU Acceleration of Bounded Model Checking with ParaFROST CAV 2021
- Accelerating Sparse Algebra with Program Synthesis CC 2026
- Janus: Statically-Driven and Profile-Guided Automatic Dynamic Binary Parallelisation CGO 2019
- Constructing Virtual Architectures on a Tiled Processor CGO 2006
- The next mainstream programming language: a game developer's perspective POPL 2006
- Software Pipelined Execution of Stream Programs on GPUs CGO 2009
- Lambda calculus with algebraic simplification for reduction parallelisation: Extended study JFP 2021