Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.
Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.
Milo Craun, Adam Oswald, Dan Williams. Enabling eBPF on Embedded Systems Through Decoupled Verification. In Proceedings of the 1st Workshop on eBPF and Kernel Extensions, eBPF 2023, New York, NY, USA, 10 September 2023. pages 63-69, ACM, 2023. [doi]