Helgi Sigurbjarnarson

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2020
Push-Button Verification of Systems Software.
PhD thesis, 2020

2018
Nickel: A Framework for Design and Verification of Information Flow Control Systems.
Proceedings of the 13th USENIX Symposium on Operating Systems Design and Implementation, 2018

2017
Push-Button Verification of File Systems via Crash Refinement.
Proceedings of the 2017 USENIX Annual Technical Conference, 2017

Hyperkernel: Push-Button Verification of an OS Kernel.
Proceedings of the 26th Symposium on Operating Systems Principles, 2017

2016
Enabling Space Elasticity in Storage Systems.
Proceedings of the 9th ACM International on Systems and Storage Conference, 2016

Push-Button Verification of File Systems via Crash Refinement.
Proceedings of the 12th USENIX Symposium on Operating Systems Design and Implementation, 2016

2014
Harmonium: Elastic Cloud Storage via File Motifs.
Proceedings of the 6th USENIX Workshop on Hot Topics in Cloud Computing, 2014


  Loading...