mail_outline lukenels location_on Allen Center 591 photo_camera Photo
I also have a CV.
Nickel: A Framework for Design and Verification of Information Flow Control Systems. [pdf]
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. [pdf]
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.