Not registered as user yet
Name: Chris Hawblitzel
Bio: My interests include programming languages, operating systems, and security. I am particularly interested in the use of safe programming languages as operating systems, and I have worked to integrate features traditionally associated with operating systems into safe programming language environments.
Affiliation: Microsoft Research
Personal website: http://chrishawblitzel.net/
POPL 2016 Activities
View general profile