Concepedia

Luke Nelson

LN

5

Publications

204

Citations

5

H-Index

2017

Active since

Affiliations

University of Washington(Current)

Luke Nelson is an author at University of Washington specializing in formal verification, formal methods, and verification.

Top concepts

EngineeringVerificationFormal MethodsComputer ScienceSoftware AnalysisFormal VerificationSystem SoftwareProgram AnalysisSoftware DesignSystems Engineering

Publications per year

2017–2022

5

Publications

5

Hyperkernel

Luke Nelson, Helgi Sigurbjarnarson, Kaiyuan Zhang et al. · 2017 · 75 citations · Full text

Engineering, Verification, Computer Architecture +16

Scaling symbolic evaluation for automated verification of systems code with Serval

Luke Nelson, James Bornholt, Ronghui Gu et al. · 2019 · 74 citations · Full text

Program Checking, Engineering, Verification +24

Nickel: a framework for design and verification of information flow control systems

Helgi Sigurbjarnarson, Luke Nelson, Bruno Castro-Karney et al. · Operating Systems Design and Implementation · 2018 · 24 citations

Engineering, Information Security, Verification +26

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 et al. · Operating Systems Design and Implementation · 2020 · 20 citations

Engineering, Verification, Software Engineering +18

A formal foundation for symbolic evaluation with merging

Sorawee Porncharoenwase, Luke Nelson, Xi Wang et al. · Proceedings of the ACM on Programming Languages · 2022 · 11 citations · Full text

Symbolic Evaluators, Engineering, Verification +18

Rows per page

1–5 of 5