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.

翻译：程序综合、超级优化及数组编程中的许多技术需要对通用程序进行并行展开。传统上，GPU虽然能够处理特定领域的并行任务，但在此类工作负载中却未得到充分利用。基于这一契机，我们提出了一种高度并行的虚拟机，并通过评估数百万个并发数组程序来测试其性能，观察到相对于串行评估最高可达$147\times$的加速比。