Concurrent Separation Logic for Pipelined Parallelization
Abstract elided by the publisher.
Related papers
- Orchestrating Interactions Among Parallel Computations PLDI 1993
- DisLog: A Separation Logic for Disentanglement POPL 2024
- FastForward for efficient pipeline parallelism: a cache-optimized concurrent lock-free queue PPoPP 2008
- On algebraic abstractions for concurrent separation logics POPL 2021
- A Separation Logic for Parallel Time Complexity with Work and Span Credits ICFP 2026
- Zoo: A Framework for the Verification of Concurrent OCaml 5 Programs using Separation Logic POPL 2026
- PulseCore: An Impredicative Concurrent Separation Logic for Dependently Typed Programs PLDI 2025
- Parallel complexity analysis with temporal session types ICFP 2018