conftrace_

David Detweiler

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

Achievements

Jump to papers ↓

🧭 Keyword Pioneer 🐝 Cross-Pollinator (6) 📈 Trend Setter

Conferences

OSDI (2)

Top co-authors

Anton Burtsev (2) Vikram Narayanan (2) Kaiming Huang (1) Yongzhe Huang (1) Dan Appel (1) Zhaofeng Li (1) Gerd Zellweger (1) Gang Tan (1) Trent Jaeger (1) Tianjiao Huang (1)

Keywords

device driver (2) shared memory (1) operating system (1) rust language (1) language safety (1) fault isolation (1) kernel isolation (1) static analysis (1) pointer classification (1)

Papers

KSplit: Automating Device Driver Isolation OSDI 2022 RedLeaf: Isolation and Communication in a Safe Operating System OSDI 2020