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

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Peter Gammie' in GoogleThis author has not been identified. Look up 'Antony L. Hosking' in GoogleThis author has not been identified. Look up 'Kai Engelhardt' in Google

runs on WebDSL