mail_outline lukenels location_on Allen Center 591 photo_camera Photo
I am a third-year PhD student in the UNSAT group and systems lab at University of Washington, advised by Xi Wang. I am currently working on Serval, a framework for building automated verifiers for systems code.
I also have a CV.
Scaling symbolic evaluation for automated verification of systems code with Serval. [pdf] Best paper award Distinguished artifact award
Luke Nelson, James Bornholt, Ronghui Gu, Andrew Baumann, Emina Torlak, and Xi Wang.
In Proceedings of the 27th ACM Symposium on Operating Systems Principles (SOSP), Huntsville, Ontario, Canada, October 2019.
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.
Developing security monitors on RISC-V: Case studies on HiFive Unleashed. [pdf]
Luke Nelson and Xi Wang.
Technical Report UW-CSE-2019-11-21, University of Washington, November 2019.
A note on verifying information flow control systems with Nickel. [pdf]
Helgi Sigurbjarnarson, Luke Nelson, Bruno Castro-Karney, James Bornholt, Emina Torlak, and Xi Wang.
Technical Report UW-CSE-2019-10-01, University of Washington, October 2019.