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

Share
xFri 19 Aug 12:19
using conf.researchr.org (v1.56.0)
Support page
Sign Up