Bounding data races in space and time

Stephen Dolan, KC Sivaramakrishnan, and Anil Madhavapeddy. In Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation. .Stephen DolanKC SivaramakrishnanAnil Madhavapeddy

#memory#systems#fp#ocaml#multicore#conference#ocamllabs
Bounding data races in space and time

Abstract

No abstract available

Related

Bounding data races in space and timeJun 2018
Paper on the OCaml memory model and underlying theory presented at PLDI 2018.
OCaml LabsJan 2012