Sequential reasoning for optimizing compilers under weak memory concurrency.

Minki Cho, Sung-Hwan Lee, Dongjae Lee, Chung-Kil Hur, Ori Lahav

Browse the full PLDI paper archive.