Blogs (1) >>
POPL 2019
Sun 13 - Sat 19 January 2019 Cascais, Portugal
POPL 2019 (series) / Chris Hawblitzel
Chris Hawblitzel

Registered user since Thu 28 Jun 2018

Name:Chris Hawblitzel
Affiliation:Microsoft Research
Personal website:https://www.microsoft.com/en-us/research/people/chrishaw/

Contributions

CPP 2019 Committee Member in Program Committee within the CPP 2019-track
Session Chair of Research Papers: Program Verification (part of CPP 2019)
POPL 2019 A Verified, Efficient Embedding of a Verifiable Assembly Language
Show activities from other conferences

POPL 2019-profile
View general profile