Concepedia

Helgi Sigurbjarnarson

HS

3

Publications

156

Citations

3

H-Index

2016

Active since

Affiliations

University of Washington(Current)

Helgi Sigurbjarnarson is an author at University of Washington specializing in system software, formal methods, and formal verification.

Top concepts

Publications per year

2016–2018

3

Publications

3

Hyperkernel

Luke Nelson, Helgi Sigurbjarnarson, Kaiyuan Zhang et al. · 2017 · 75 citations · Full text

, , +16

Push-button verification of file systems via crash refinement

Helgi Sigurbjarnarson, James Bornholt, Emina Torlak et al. · Operating Systems Design and Implementation · 2016 · 57 citations

, , +20

Nickel: a framework for design and verification of information flow control systems

Helgi Sigurbjarnarson, Luke Nelson, Bruno Castro-Karney et al. · Operating Systems Design and Implementation · 2018 · 24 citations

, , +26

Rows per page

1–3 of 3