location_on Allen Center 591
I am a first year PhD student in the systems lab at University of Washington, advised
by Xi Wang.
Currently, I am working on Hyperkernel.
I also have a CV.
- Hyperkernel: Push-Button Verification of an OS Kernel. [pdf] [slides] [poster]
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.