Luke Nelson

According to our database, Luke Nelson authored at least 10 papers between 2017 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Recursive constructions for the higher Stasheff - Tamari orders in dimension three using the Outer Tamari and Tamari Block posets.

Luke Nelson, Kevin Treat

Discret. Math., March, 2024

2022

A formal foundation for symbolic evaluation with merging.

Sorawee Porncharoenwase, Luke Nelson, Xi Wang, Emina Torlak

Proc. ACM Program. Lang., 2022

The Tamari block lattice: An order on saturated chains in the Tamari lattice.

Luke Nelson, Kevin Treat

Discret. Math., 2022

2020

Noninterference specifications for secure systems.

Luke Nelson, James Bornholt, Arvind Krishnamurthy, Emina Torlak, Xi Wang

ACM SIGOPS Oper. Syst. Rev., 2020

Specification and verification in the field: Applying formal methods to BPF just-in-time compilers in the Linux kernel.

Luke Nelson, Jacob Van Geffen, Emina Torlak, Xi Wang

Proceedings of the 14th USENIX Symposium on Operating Systems Design and Implementation, 2020

Synthesizing JIT Compilers for In-Kernel DSLs.

Jacob Van Geffen, Luke Nelson, Isil Dillig, Xi Wang, Emina Torlak

Proceedings of the Computer Aided Verification - 32nd International Conference, 2020

2019

Scaling symbolic evaluation for automated verification of systems code with Serval.

Luke Nelson, James Bornholt, Ronghui Gu, Andrew Baumann, Emina Torlak, Xi Wang

Proceedings of the 27th ACM Symposium on Operating Systems Principles, 2019

2018

Nickel: A Framework for Design and Verification of Information Flow Control Systems.

Helgi Sigurbjarnarson, Luke Nelson, Bruno Castro-Karney, James Bornholt, Emina Torlak, Xi Wang

Proceedings of the 13th USENIX Symposium on Operating Systems Design and Implementation, 2018

2017

A recursion on maximal chains in the Tamari lattices.

Luke Nelson

Discret. Math., 2017

Hyperkernel: Push-Button Verification of an OS Kernel.

Luke Nelson, Helgi Sigurbjarnarson, Kaiyuan Zhang, Dylan Johnson, James Bornholt, Emina Torlak, Xi Wang

Proceedings of the 26th Symposium on Operating Systems Principles, 2017