Emina Torlak
3 papers
· 2016–2020
· 1 conference
· across top CS/AI conferences
Achievements
🧭
Keyword Pioneer
🐝
Cross-Pollinator
(8)
🌉
Interdisciplinary Bridge
🐣
Hot Topic Early Bird
🌱
Topic Pioneer
📈
Trend Setter
Conferences
OSDI (3)
Top co-authors
Research topics
Keywords
formal verification
(2)
information flow control
(1)
covert channel
(1)
smt solver
(1)
linux kernel
(1)
file system
(1)
smt solving
(1)
satisfiability modulo theories
(1)
crash refinement
(1)
just-in-time compiler
(1)
file system verification
(1)
journaling file system
(1)
formal methods
(1)
counterexample debugging
(1)