• Sign in
  • Sign up
conf.researchr.org / Chris Hawblitzel
  • ETAPS 2019 profile
  • ICFP 2018 profile
  • PLDI 2022 profile
  • PLDI 2025 profile
  • POPL 2016 profile
  • POPL 2019 profile
  • POPL 2023 profile
  • SPLASH 2022 profile
  • SPLASH 2023 profile
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

2025

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

  • Committee Member in Program Committee within the CPP 2019-track
  • Session Chair of Research Papers: Program Verification (part of CPP 2019)

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
Share
xSun 22 Jun 22:16
using conf.researchr.org (v1.69.0)
Support page
Sign Up