Tony Hosking

Homepages 🌐

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

Entries

2015

Relaxing Safely: Verified On-the-Fly Garbage Collection for x86-TSO

by Peter Gammie 🌐, Tony Hosking 🌐 and Kai Engelhardt

Apr 13