Paper on the OCaml memory model and underlying theory at PLDI 2018
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. URL (dl.acm.org) DOI BIB PDF
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.
URL (dl.acm.org) DOI BIB PDF
Anil Madhavapeddy, Professor of Planetary Computing
papers