Harmonium: Elastic Cloud Storage via File Motifs. - Helgi Sigurbjarnarson; Petur Orri Ragnarsson; Ymir Vigfusson; Mahesh Balakrishnan 001 (HotCloud, 2014)

Push-Button Verification of File Systems via Crash Refinement. - Helgi Sigurbjarnarson; James Bornholt; Emina Torlak; Xi Wang 005 (OSDI, 2016)

Enabling Space Elasticity in Storage Systems. - Helgi Sigurbjarnarson; Petur Orri Ragnarsson; Juncheng Yang; Ymir Vigfusson; Mahesh Balakrishnan 001 (SYSTOR, 2016)

Hyperkernel: Push-Button Verification of an OS Kernel. - Luke Nelson; Helgi Sigurbjarnarson; Kaiyuan Zhang 001; Dylan Johnson; James Bornholt; Emina Torlak; Xi Wang 005 (SOSP, 2017)

Push-Button Verification of File Systems via Crash Refinement. - Helgi Sigurbjarnarson; James Bornholt; Nicolas Christin; Lorrie Faith Cranor (USENIX ATC, 2017)

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 005 (OSDI, 2018)

Push-Button Verification of Systems Software. - Helgi Sigurbjarnarson (2020)