Paper on the OCaml memory model and underlying theory at PLDI 2018
Bounding data races in space and timeStephen 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