Bounding data races in space and time / Jun 2018
Paper on the OCaml memory model and underlying theory at PLDI 2018 with Stephen Dolan and KC Sivaramakrishnan. This work was crucial for multicore OCaml, defining the formal memory model that specifies what behaviors are legal for concurrent programs. The paper presented novel techniques for bounding data races in both space and time, providing the theoretical foundation needed to ensure multicore OCaml programs behave predictably while still achieving good performance on modern hardware.