Travis Hance
4 papers · 2020–2024 · 2 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓
🌉
Interdisciplinary Bridge
🧭
Keyword Pioneer
🌍
Conference Polyglot
(2)
🐝
Cross-Pollinator
(8)
🏆
Keyword Champion
(2)
Conferences
OSDI (3)
NSDI (1)
Top co-authors
Keywords
formal verification
(4)
distributed system
(2)
state machine
(2)
automated verification
(2)
invariant inference
(1)
protocol correctness
(1)
key-value store
(1)
inductive invariant
(1)
linear type
(1)
transition system
(1)
paxos protocol
(1)
concurrent programming
(1)
concurrent verification
(1)
ownership type
(1)
shared memory verification
(1)
theorem proving
(1)
dynamic frame
(1)
automated reasoning
(1)
safety verification
(1)
distributed protocol
(1)
Papers
Inductive Invariants That Spark Joy: Using Invariant Taxonomies to Streamline Distributed Protocol Proofs
OSDI 2024
Sharding the State Machine: Automated Modular Reasoning for Complex Concurrent Systems
OSDI 2023
Finding Invariants of Distributed Systems: It's a Small (Enough) World After All
NSDI 2021
Storage Systems are Distributed Systems (So Verify Them That Way!)
OSDI 2020