Relaxing safely: verified on-the-fly garbage collection for x86-TSO
-
- Peter Gammie
- NICTA, Australia
-
- Antony L. Hosking
- Purdue University, USA / NICTA, Australia
-
- Kai Engelhardt
- UNSW, Australia / NICTA, Australia
Journal
-
- Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation
-
Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation 2015-06-03
ACM