Bounding data races in space and time
Stephen Dolan, KC Sivaramakrishnan and Anil Madhavapeddy.
Paper in the proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation.
No abstract available
#
1st Jun 2018
papers
conference
fp
memory
multicore
ocaml
systems
papersRelated News
- Bounding data races in space and time / Jun 2018