Travis Hance
4 papers
· 2020–2024
· 2 conferences
· across top CS/AI conferences
Achievements
🌉
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)