Parallelism in a Region Inference Context at PLDI 2023
19 June 2023
Our paper Parallelism in a Region Inference Context, with Troels Henriksen, was accepted for presentation at PLDI 2023 in Orlando on June 19.
How can a compiler safely manage memory regions when several computations run at once? We introduce fork-join parallelism for MLKit and an analysis that determines which regions need protection during parallel execution. The compiler uses information about program effects to make those decisions automatically. The paper develops the underlying type system and its soundness argument, and benchmarks show that this approach can use multiple CPU cores effectively in higher-order functional programs.