| {Push-Button} Verification of File Systems via Crash Refinement H Sigurbjarnarson, J Bornholt, E Torlak, X Wang 12th USENIX Symposium on Operating Systems Design and Implementation (OSDI …, 2016 | 163 | 2016 |
| Hyperkernel: Push-button verification of an OS kernel L Nelson, H Sigurbjarnarson, K Zhang, D Johnson, J Bornholt, E Torlak, ... Proceedings of the 26th Symposium on Operating Systems Principles, 252-269, 2017 | 153 | 2017 |
| Nickel: A framework for design and verification of information flow control systems H Sigurbjarnarson, L Nelson, B Castro-Karney, J Bornholt, E Torlak, ... 13th USENIX Symposium on Operating Systems Design and Implementation (OSDI …, 2018 | 73 | 2018 |
| Enabling space elasticity in storage systems H Sigurbjarnarson, PO Ragnarsson, J Yang, Y Vigfusson, M Balakrishnan Proceedings of the 9th ACM International on Systems and Storage Conference, 1-11, 2016 | 6 | 2016 |
| Harmonium: Elastic cloud storage via file motifs H Sigurbjarnarson, PO Ragnarsson, Y Vigfusson, M Balakrishnan 6th USENIX Workshop on Hot Topics in Storage and File Systems (HotStorage 14), 2014 | 5 | 2014 |
| Push-Button Verification of Systems Software H Sigurbjarnarson University of Washington, 2020 | | 2020 |
| A note on verifying information flow control systems with Nickel H Sigurbjarnarson, L Nelson, B Castro-Karney, J Bornholt, E Torlak, ... | | 2019 |
| Push-Button Verification of File Systems H Sigurbjarnarson | | 2016 |
| Nickel H Sigurbjarnarson | | |
