Helgi Sigurbjarnarson

2 papers · 2016–2018 · 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 (2)

Top co-authors

James Bornholt (2) Xi Wang (2) Emina Torlak (2) Awarded Best Paper (1) Luke Nelson (1) Bruno Castro-Karney (1)

Research topics

Keywords

formal verification (2) information flow control (1) covert channel (1) smt solver (1) file system (1) smt solving (1) satisfiability modulo theories (1) crash refinement (1) file system verification (1) journaling file system (1) counterexample debugging (1)

Papers

Nickel: A Framework for Design and Verification of Information Flow Control Systems OSDI 2018

Push-Button Verification of File Systems via Crash Refinement OSDI 2016