Automatic Parallelization with Separation Logic
Abstract elided by the publisher.
Related papers
- Automatic Parallelization and Optimization of Programs by Proof Rewriting SAS 2009
- Concurrent Separation Logic for Pipelined Parallelization SAS 2010
- Automatically Generating Secure Wrappers for SGX Enclaves from Separation Logic Specifications APLAS 2017
- Proof-Directed Parallelization Synthesis by Separation Logic TOPLAS 2013
- Automatic cyclic termination proofs for recursive procedures in separation logic CPP 2017
- Automatic Heap-Memory Diagrams for Separation-Logic Proofs CAV 2026
- A Separation Logic for Parallel Time Complexity with Work and Span Credits ICFP 2026
- Speculative separation for privatization and reductions PLDI 2012