Helgi Sigurbjarnarson

According to our database, Helgi Sigurbjarnarson authored at least 7 papers between 2014 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2020

Push-Button Verification of Systems Software.

Helgi Sigurbjarnarson

PhD thesis, 2020

2018

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

Helgi Sigurbjarnarson, Luke Nelson, Bruno Castro-Karney, James Bornholt, Emina Torlak, Xi Wang

Proceedings of the 13th USENIX Symposium on Operating Systems Design and Implementation, 2018

2017

Push-Button Verification of File Systems via Crash Refinement.

Helgi Sigurbjarnarson, James Bornholt, Nicolas Christin, Lorrie Faith Cranor

Proceedings of the 2017 USENIX Annual Technical Conference, 2017

Hyperkernel: Push-Button Verification of an OS Kernel.

Luke Nelson, Helgi Sigurbjarnarson, Kaiyuan Zhang, Dylan Johnson, James Bornholt, Emina Torlak, Xi Wang

Proceedings of the 26th Symposium on Operating Systems Principles, 2017

2016

Enabling Space Elasticity in Storage Systems.

Helgi Sigurbjarnarson, Petur Orri Ragnarsson, Juncheng Yang, Ymir Vigfusson, Mahesh Balakrishnan

Proceedings of the 9th ACM International on Systems and Storage Conference, 2016

Push-Button Verification of File Systems via Crash Refinement.

Helgi Sigurbjarnarson, James Bornholt, Emina Torlak, Xi Wang

Proceedings of the 12th USENIX Symposium on Operating Systems Design and Implementation, 2016

2014

Harmonium: Elastic Cloud Storage via File Motifs.

Helgi Sigurbjarnarson, Petur Orri Ragnarsson, Ymir Vigfusson, Mahesh Balakrishnan

Proceedings of the 6th USENIX Workshop on Hot Topics in Cloud Computing, 2014