homeAnil Madhavapeddy, Professor of Planetary Computing

Bounding data races in space and time

Paper on the OCaml memory model and underlying theory at PLDI 2018

# 1st Jun 2018 iconpapers conference fp memory multicore ocaml systems