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