Chris Hawblitzel
5 papers · 2014–2025 · 1 conference · across top CS/AI conferences
Achievements
Jump to papers ↓
🧭
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)
Papers
PoWER Never Corrupts: Tool-Agnostic Verification of Crash Consistency and Corruption Detection
OSDI 2025
VeriSMo: A Verified Security Module for Confidential VMs
OSDI 2024
Sharding the State Machine: Automated Modular Reasoning for Complex Concurrent Systems
OSDI 2023
Storage Systems are Distributed Systems (So Verify Them That Way!)
OSDI 2020
Ironclad Apps: End-to-End Security via Automated Full-System Verification
OSDI 2014