Chris Hawblitzel -

Registered user since Thu 28 Jun 2018

Name:Chris Hawblitzel

Country:United States

Affiliation:Microsoft Research

Personal website: https://www.microsoft.com/en-us/research/people/chrishaw/

Contributions

2023

SPLASH

Author of Verus: Verifying Rust Programs using Linear Ghost Types within the OOPSLA-track

PriSC

Committee Member in Program Committee within the PriSC 2023-track

CPP

Committee Member in Program Committee within the CPP 2023-track

2022

SPLASH

Author of Linear types for large-scale systems verification within the OOPSLA-track

PLMW

Panelist of Mentoring Panel: Post-graduate Career Paths within the PLMW-track

2019

ESOP

Author of Meta-F*: Proof Automation with SMT, Tactics, and Metaprograms within the ESOP 2019-track

POPL

Author of A Verified, Efficient Embedding of a Verifiable Assembly Language within the Research Papers-track

CPP

2018

ML

Author of ML as a Tactic Language, Again within the ML 2018-track

2016

CPP

Committee Member in Program Committee within the CPP-track