ACM Programming Language Design and Implementation, PLDI 2015

Article Details
Title: Relaxing safely: verified on-the-fly garbage collection for x86-TSO
Article URLs:
Alternative Article URLs:
Authors: Peter Gammie
  • NICTA, Australia
Antony L. Hosking
  • Purdue U, USA
  • NICTA, Australia
Kai Engelhardt
  • UNSW
  • NICTA, Australia
Sharing: Research produced artifacts
Verification: Authors have verified information
Artifact Evaluation Badge:
Artifacts for some papers are reviewed by an artifact evaluation, reproducibility, or similarly named committee. This is one such paper that passed review.
Artifact URLs:
Artifact Correspondence Email Addresses:
NSF Award Numbers: 1161237, 1408896
DBLP Key: conf/pldi/GammieHE15
Author Comments:

Discuss this paper and its artifacts below