Practical Permissions for Race-Free Parallelism
Abstract elided by the publisher.
Related papers
- Æminium: A Permission-Based Concurrent-by-Default Programming Language Approach TOPLAS 2014
- Permission accounting in separation logic POPL 2005
- Model Checking Race-Freedom When "Sequential Consistency for Data-Race-Free Programs" is Guaranteed CAV 2023
- Fence placement for legacy data-race-free programs via synchronization read detection PPoPP 2015
- FlowCert: Translation Validation for Asynchronous Dataflow via Dynamic Fractional Permissions OOPSLA 2024
- Thread contracts for safe parallelism PPoPP 2011
- Analyzing permission transfer channels for dynamically typed languages DLS 2021
- Provably space-efficient parallel functional programming POPL 2021