There is nothing wrong with out-of-thin-air: compiler optimization and memory models.

Clark Verbrugge, Allan Kielstra, Yi Zhang

Browse the full PLDI paper archive.