Registered user since Thu 30 Apr 2015

Name:Kai Engelhardt
Bio:

recovering ex-academic (UNSW and NICTA/data61)

Country:Australia
Affiliation:Ghost Locomotion

Contributions

PLDI 2015 Author of Relaxing Safely: Verified On-the-Fly Garbage Collection for x86-TSO within the Research Papers-track