Helgi Sigurbjarnarson

Publication Activity (10 Years)

Years Active: 2014-2018
Publications (10 Years): 5

Top Topics

Information Flow

Top Venues

USENIX Annual Technical Conference

Publications

Helgi Sigurbjarnarson, Luke Nelson, Bruno Castro-Karney, James Bornholt, Emina Torlak, Xi Wang
Nickel: A Framework for Design and Verification of Information Flow Control Systems. OSDI (2018)
Luke Nelson, Helgi Sigurbjarnarson, Kaiyuan Zhang, Dylan Johnson, James Bornholt, Emina Torlak, Xi Wang
Hyperkernel: Push-Button Verification of an OS Kernel. SOSP (2017)
Helgi Sigurbjarnarson, James Bornholt, Nicolas Christin, Lorrie Faith Cranor
Push-Button Verification of File Systems via Crash Refinement. USENIX Annual Technical Conference (2017)
Helgi Sigurbjarnarson, James Bornholt, Emina Torlak, Xi Wang
Push-Button Verification of File Systems via Crash Refinement. OSDI (2016)
Helgi Sigurbjarnarson, Petur Orri Ragnarsson, Juncheng Yang, Ymir Vigfusson, Mahesh Balakrishnan
Enabling Space Elasticity in Storage Systems. SYSTOR (2016)
Helgi Sigurbjarnarson, Petur Orri Ragnarsson, Ymir Vigfusson, Mahesh Balakrishnan
Harmonium: Elastic Cloud Storage via File Motifs. HotCloud (2014)