menu

Home
Topics
Download
Help
Statistics
About

Contribution

Tony Hosking

https://www.cs.purdue.edu/homes/hosking/

This is an unofficial reimagining of the Archive of Formal Proofs

2015

Relaxing Safely: Verified On-the-Fly Garbage Collection for x86-TSO
by Peter Gammie, Tony Hosking and Kai Engelhardt

13 Apr