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 2023	Committee Member in Program Committee within the CPP 2023-track
PLMW	Panelist of Mentoring Panel: Post-graduate Career Paths within the PLMW-track
SPLASH 2022	Author of Linear types for large-scale systems verification within the OOPSLA-track
CPP 2019	Committee Member in Program Committee within the CPP 2019-track Session Chair of Research Papers: Program Verification (part of CPP 2019)
ESOP 2019	Author of Meta-F*: Proof Automation with SMT, Tactics, and Metaprograms within the ESOP 2019-track
POPL 2019	Author of A Verified, Efficient Embedding of a Verifiable Assembly Language within the Research Papers-track
ML 2018	Author of ML as a Tactic Language, Again within the ML 2018-track
CPP 2016	Committee Member in Program Committee within the CPP-track