# Bounding data races in space and time

*2018-06-01 — paper*

Authors: Stephen Dolan, KC Sivaramakrishnan, Anil Madhavapeddy







No abstract available






DOI: 10.1145/3192366.3192421
Classification: full
Venue: Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation
URL: https://dl.acm.org/doi/10.1145/3192366.3192421
Projects: OCaml Labs

## Related

- [Bounding data races in space and time](https://anil.recoil.org/notes/2018-pldi-memorymodel-1) (note, 2018-06-01)
- [OCaml Labs](https://anil.recoil.org/projects/ocamllabs) (project, 2012-01-01)

---
Canonical: https://anil.recoil.org/papers/2018-pldi-memorymodel
Type: paper
License: CC BY 4.0 <https://creativecommons.org/licenses/by/4.0/>
Tags: memory, systems, fp, ocaml, multicore, conference, ocamllabs