Relaxing Safely: Verified On-the-Fly Garbage Collection for x86-TSOby Peter Gammie, Tony Hosking and Kai Engelhardt13 Apr