Aïna Linn Georges

Data Race Freedom à la Mode

2025 · Proceedings of the ACM on Programming Languages

We present DRFCaml, an extension of OCaml’s type system that guarantees data race freedom for multithreaded OCaml programs while retaining backward compatibility with existing sequential OCaml code. We build on recent work of Lorenzen et …