Hyperkernel: Push-Button Verification of an OS Kernel. [slides]
Luke Nelson, Helgi Sigurbjarnarson, Kaiyuan Zhang, Dylan Johnson, James Bornholt, Emina Torlak, and Xi Wang
In Proceedings of the 26th ACM Symposium on Operating Systems Principles (SOSP), Shanghai, China, October 2017.
Push-Button Verification of File Systems via Crash Refinement. [slides] Best paper award.
Helgi Sigurbjarnarson, James Bornholt, Emina Torlak, and Xi Wang
In Proceedings of the 12th Symposium on Operating Systems Design and Implementation (OSDI), Savannah, GA, November 2016.
Enabling Space Elasticity in Storage Systems. Best Student Paper.
Helgi Sigurbjarnarson, Petur O Ragnarsson, Juncheng Yang, Ymir Vigfusson, and Mahesh Balakrishnan
In Proceedings of the 9th ACM International Systems and Storage Conference (SYSTOR), Haifa, Israel, June 2016.
Harmonium: Elastic Cloud Storage via File Motifs.
Helgi Sigurbjarnarson, Petur Orri Ragnarsson, Ymir Vigfusson, and Mahesh Balakrishnan
In Proceedings of the 6th USENIX Workshop on Hot Topics in Storage and File Systems (HotStorage), Philadelphia, PA, June 2014.