Luke Nelson

2 papers · 2018–2020 · 1 conference · across top CS/AI conferences

Achievements

🧭 Keyword Pioneer 🐝 Cross-Pollinator (8) 🌉 Interdisciplinary Bridge 🐣 Hot Topic Early Bird 📈 Trend Setter

Conferences

OSDI (2)

Top co-authors

Xi Wang (2) Emina Torlak (2) James Bornholt (1) Jacob Van Geffen (1) Bruno Castro-Karney (1) Helgi Sigurbjarnarson (1)

Research topics

Keywords

formal methods (1) formal verification (1) information flow control (1) covert channel (1) smt solver (1) linux kernel (1) just-in-time compiler (1)

Papers

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

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