Reading, Writing and Relations
Abstract elided by the publisher.
Related papers
- Read/write factorizable programs JFP 2023
- Optimal stateless model checking under the release-acquire semantics OOPSLA 2018
- Programming with Managed Time Onward! 2014
- Concurrent Reading While Writing TOPLAS 1983
- Optimal stateless model checking for reads-from equivalence under sequential consistency OOPSLA 2019
- Synthesis of concurrent programs for an atomic read/write model of computation TOPLAS 2001
- Don't Write, but Return: Replacing Output Parameters with Algebraic Data Types in C-to-Rust Translation PLDI 2024
- Efficient Synchronization on Multiprocessors with Shared Memory TOPLAS 1988