@inproceedings{Gammie_HE_15, publisher = {ACM}, doi = {10.1145/2737924.2738006}, month = jun, booktitle = {Proceedings of the 2015 ACM SIGPLAN Conference on Programming Language Design and Implementation}, paperurl = {https://trustworthy.systems/publications/nicta_full_text/8488.pdf}, year = {2015}, editor = {{Steve Blackburn}}, keywords = {formal verification, machine-checked proof, relaxed memory, tso}, title = {Relaxing Safely: Verified On-the-Fly Garbage Collection for x86-{TSO}}, pages = {11}, author = {Gammie, Peter and Hosking, Tony (Antony) and Engelhardt, Kai}, address = {Portland, Oregon, United States} }