Chris Hawblitzel
5 papers
· 2014–2025
· 1 conference
· across top CS/AI conferences
Achievements
🧭
Keyword Pioneer
🏃
Academic Marathon
(11)
🐝
Cross-Pollinator
(9)
🌉
Interdisciplinary Bridge
Conferences
OSDI (5)
Top co-authors
Research topics
Keywords
formal verification
(4)
automated verification
(2)
persistent memory
(1)
storage system
(1)
state machine
(1)
crash consistency
(1)
key-value store
(1)
hoare logic
(1)
linear type
(1)
transition system
(1)
corruption detection
(1)
memory safety
(1)
rust programming language
(1)
confidential virtual machine
(1)
secure information flow
(1)
concurrent programming
(1)
concurrent verification
(1)
ownership type
(1)
shared memory verification
(1)
dynamic frame
(1)