Relaxing safely: verified on-the-fly garbage collection for x86-TSO

Peter Gammie, Antony L. Hosking, Kai Engelhardt. Relaxing safely: verified on-the-fly garbage collection for x86-TSO. In David Grove, Steve Blackburn, editors, Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation, Portland, OR, USA, June 15-17, 2015. pages 99-109, ACM, 2015. [doi]

Abstract

Abstract is missing.