I finished my Ph.D. in 2020 where I was a part of the UNSAT group and the Systems Lab at the Paul G. Allen School of Computer Science & Engineering at UW, advised by Xi Wang.
My past projects include Nickel, Hyperkernel and Yggdrasil.
I am currently at Lacework.
Nickel: A Framework for Design and Verification of Information Flow Control Systems.
[slides]
Helgi Sigurbjarnarson, Luke Nelson, Bruno Castro-Karney, James Bornholt, Emina Torlak, and Xi Wang
In Proceedings of the 13th USENIX Symposium on Operating Systems Design and Implementation (OSDI), Carlsbad, CA, October 2018.
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 USENIX 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.
Nickel: A Framework for Design and Verification of Information Flow Control Systems.
In Proceedings of the 13th Symposium on Operating Systems Design and Implementation (OSDI), Carlsbad, CA, October 2018. [slides]
Hyperkernel: Push-button verification of an OS Kernel.
In Proceedings of the 26th ACM Symposium on Operating Systems Principles (SOSP), Shanghai, China, October 2017 . [slides]
Push-Button Verification of File Systems via Crash Refinement.
2017 USENIX Annual Technical Conference, Best of the Rest, Santa Clara, CA, July 2017 . [slides]
Push-Button Verification of File Systems via Crash Refinement.
In Proceedings of the 12th Symposium on Operating Systems Design and Implementation (OSDI), Savannah, GA, November 2016 [slides]