Relaxing safely: verified on-the-fly garbage collection for x86-TSO.

Peter Gammie, Antony L. Hosking, Kai Engelhardt

Browse the full PLDI paper archive.