Luke Nelson

Publication Activity (10 Years)

Years Active: 2017-2024
Publications (10 Years): 10

Top Topics

Information Flow

Lattice Vector Quantization

Top Venues

Proc. ACM Program. Lang.

Publications

Luke Nelson, Kevin Treat
Recursive constructions for the higher Stasheff - Tamari orders in dimension three using the Outer Tamari and Tamari Block posets. Discret. Math. 347 (3) (2024)
Sorawee Porncharoenwase, Luke Nelson, Xi Wang, Emina Torlak
A formal foundation for symbolic evaluation with merging. Proc. ACM Program. Lang. 6 (POPL) (2022)
Luke Nelson, Kevin Treat
The Tamari block lattice: An order on saturated chains in the Tamari lattice. Discret. Math. 345 (9) (2022)
Jacob Van Geffen, Luke Nelson, Isil Dillig, Xi Wang, Emina Torlak
Synthesizing JIT Compilers for In-Kernel DSLs. CAV (2) (2020)
Luke Nelson, James Bornholt, Arvind Krishnamurthy, Emina Torlak, Xi Wang
Noninterference specifications for secure systems. ACM SIGOPS Oper. Syst. Rev. 54 (1) (2020)
Luke Nelson, Jacob Van Geffen, Emina Torlak, Xi Wang
Specification and verification in the field: Applying formal methods to BPF just-in-time compilers in the Linux kernel. OSDI (2020)
Luke Nelson, James Bornholt, Ronghui Gu, Andrew Baumann, Emina Torlak, Xi Wang
Scaling symbolic evaluation for automated verification of systems code with Serval. SOSP (2019)
Helgi Sigurbjarnarson, Luke Nelson, Bruno Castro-Karney, James Bornholt, Emina Torlak, Xi Wang
Nickel: A Framework for Design and Verification of Information Flow Control Systems. OSDI (2018)
Luke Nelson, Helgi Sigurbjarnarson, Kaiyuan Zhang, Dylan Johnson, James Bornholt, Emina Torlak, Xi Wang
Hyperkernel: Push-Button Verification of an OS Kernel. SOSP (2017)
Luke Nelson
A recursion on maximal chains in the Tamari lattices. Discret. Math. 340 (4) (2017)