Tony Hosking

Publication Activity (10 Years)

Years Active: 2015-2015
Publications (10 Years): 0

Top Topics

Garbage Collection

Java Virtual Machine

Object Oriented Databases

Space Efficient

Top Venues

Arch. Formal Proofs

Publications

Peter Gammie, Tony Hosking, Kai Engelhardt
Relaxing Safely: Verified On-the-Fly Garbage Collection for x86-TSO. Arch. Formal Proofs 2015 (2015)