Luke Nelson

Noninterference specifications for secure systems

Emina Torlak, Xi Wang, Luke Nelson, 2020, ACM SIGOPS Oper. Syst. Rev..

A recursion on maximal chains in the Tamari lattices

Luke Nelson, 2017, Discret. Math..

Hyperkernel: Push-Button Verification of an OS Kernel

Xi Wang, Emina Torlak, Luke Nelson, 2017, SOSP.

Addressing Parking Garage Vibrations for the Design of Research and Healthcare Facilities

Luke Nelson, Brad Pridham, Nick Walters, 2017 .