FAST Extended Release
Abstract elided by the publisher.
Related papers
- Thread-Modular Analysis of Release-Acquire Concurrency SAS 2021
- Decidable Verification under Localized Release-Acquire Concurrency TACAS 2024
- Kite: efficient and available release consistency for the datacenter PPoPP 2020
- Verifying read-copy-update in a logic for weak memory PLDI 2015
- Register allocation and instruction scheduling in Unison CC 2016
- Cedar: A New Language for Expressive, Fast, Safe, and Analyzable Authorization OOPSLA 2024
- Big Atomics and Fast Hash Tables PPoPP 2025
- Scheduling time-constrained instructions on pipelined processors TOPLAS 2001