Track papers across labs, topics, and trends.
Search papers, labs, and topics across Lattice.
This paper introduces a virtual machine designed for the parallel execution of general-purpose programs, specifically targeting workloads common in program synthesis, superoptimization, and array programming. The VM leverages GPUs to achieve significant speedups by evaluating millions of concurrent array programs. Benchmarks demonstrate up to 147x speedup compared to serial evaluation, highlighting the potential for GPU acceleration in these traditionally CPU-bound tasks.
Unleashing the power of GPUs on program synthesis and superoptimization yields a staggering 147x speedup, proving that these traditionally CPU-bound tasks can be massively accelerated.
Many techniques in program synthesis, superoptimization, and array programming require parallel rollouts of general-purpose programs. GPUs, while capable targets for domain-specific parallelism, are traditionally underutilized by such workloads. Motivated by this opportunity, we introduce a pleasingly parallel virtual machine and benchmark its performance by evaluating millions of concurrent array programs, observing speedups up to $147\times$ relative to serial evaluation.