Biblio

Export 4 results:
Filters: Author is Helgi Sigurbjarnarson  [Clear All Filters]
2018
Sigurbjarnarson H, Nelson L, Castro-Karney B, Bornholt J, Torlak E, Wang X.  2018.  Nickel: A Framework for Design and Verification of Information Flow Control Systems. 13th {USENIX} Symposium on Operating Systems Design and Implementation ({OSDI} 18). :287--305.
2017
Sigurbjarnarson H, Bornholt J, Christin N, Cranor LFaith.  2017.  Push-Button Verification of File Systems via Crash Refinement. 2017 {USENIX} Annual Technical Conference ({USENIX} {ATC} 17).
2016
Sigurbjarnarson H, Bornholt J, Torlak E, Wang X.  2016.  Push-Button Verification of File Systems via Crash Refinement. 12th {USENIX} Symposium on Operating Systems Design and Implementation ({OSDI} 16). :1--16.
2014
Sigurbjarnarson H, Ragnarsson POrri, Vigfusson Y, Balakrishnan M.  2014.  Harmonium: Elastic Cloud Storage via File Motifs. 6th {USENIX} Workshop on Hot Topics in Storage and File Systems (HotStorage 14).