Data Race Freedom À La Mode

Aïna Linn Georges, Benjamin Peters, Laila Elbeheiry,Leo White,Stephen Dolan, Richard A. Eisenberg, Chris Casinghino,François Pottier,Derek Dreyer

Proc ACM Program Lang（2025）

Cited 0|Views4

Key words

Concurrency,Iris,OCaml,Rocq,data races,separation logic,type systems

AI Read Science

Must-Reading Tree

Example

Generate MRT to find the research sequence of this paper

Chat Paper

Summary is being generated by the instructions you defined