James Bornholt
3 papers
· 2016–2024
· 1 conference
· across top CS/AI conferences
Achievements
🐝
Cross-Pollinator
(8)
🧭
Keyword Pioneer
🏃
Academic Marathon
(8)
🌉
Interdisciplinary Bridge
🐣
Hot Topic Early Bird
🌱
Topic Pioneer
📈
Trend Setter
Conferences
OSDI (3)
Top co-authors
Research topics
Keywords
file system
(2)
formal verification
(2)
information flow control
(1)
covert channel
(1)
smt solver
(1)
persistent memory
(1)
crash consistency
(1)
type system
(1)
smt solving
(1)
satisfiability modulo theories
(1)
typestate pattern
(1)
compile-time verification
(1)
crash refinement
(1)
file system verification
(1)
journaling file system
(1)
counterexample debugging
(1)
rust compiler
(1)