Thread-Local Semantics and Its Efficient Sequential Abstractions for Race-Free Programs
Abstract elided by the publisher.
Related papers
- Bounding data races in space and time PLDI 2018
- RaceFree: an efficient multi-threading model for determinism PPoPP 2013
- Model Checking Race-Freedom When "Sequential Consistency for Data-Race-Free Programs" is Guaranteed CAV 2023
- Data Race Freedom à la Mode POPL 2025
- Formalizing and Checking Thread Refinement for Data-Race-Free Execution Models TACAS 2016
- The Design and Implementation of a Verification Technique for GPU Kernels TOPLAS 2015
- Dala: a simple capability-based dynamic language design for data race-freedom Onward! 2021
- Towards certified separate compilation for concurrent programs PLDI 2019