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

2026

Dafny

Author of Tunable Automation in Automated Program Verification within the Dafny 2026-track

PLDI

Author of [TOPLAS] Project Everest: Perspectives from Developing Industrial-Grade High-Assurance Software within the PLDI Research Papers-track

2025

SPLASH

Author of AutoVerus: Automated Proof Generation for Rust Code within the OOPSLA-track

PLDI

Committee Member in PLDI Review Committee within the PLDI Research Papers-track

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 Family Workshop

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

2016

CPP

Committee Member in Program Committee within the CPP-track