lukenels.github.io - Luke Nelson

home > domains > lukenels.github.io

Example domain paragraphs

mail_outline lukenels location_on Allen Center 591 photo_camera Photo

I am a final-year PhD student in the UNSAT group and systems lab at University of Washington, advised by Xi Wang . Most recently, I have been working on Jitterbug , a framework for writing and verifying BPF JIT compilers in the Linux kernel, and Serval , a framework for building automated verifiers for systems code.

This is a link to my CV.

Links to lukenels.github.io (2)

• uwplse.org UW PLSE
• uwplse.github.io UW PLSE