Login / Signup
Adam Oswald
ORCID
Publication Activity (10 Years)
Years Active: 2023-2023
Publications (10 Years): 2
Top Topics
Kernel Regression
Computing Power
Hw Sw
Model Checking
Top Venues
eBPF@SIGCOMM
HotOS
</>
Publications
</>
Milo Craun
,
Adam Oswald
,
Dan Williams
Enabling eBPF on Embedded Systems Through Decoupled Verification.
eBPF@SIGCOMM
(2023)
Jinghao Jia
,
Raj Sahu
,
Adam Oswald
,
Dan Williams
,
Michael V. Le
,
Tianyin Xu
Kernel extension verification is untenable.
HotOS
(2023)