Quarantining Weakness - Compositional Reasoning under Relaxed Memory Models (Extended Abstract).

Radha Jagadeesan, Gustavo Petri, Corin Pitcher, James Riely

Browse the full ESOP paper archive.