Relaxing Safely: Verified On-the-Fly Garbage Collection for x86-TSO by Peter Gammie, Tony Hosking and Kai Engelhardt Apr 13