The bibliographic entry was discovered and compiled by a machine, and published without a person checking it against the publication. The publication itself is the authors' own work — this badge says nothing about it.
Synthesizing safe and efficient kernel extensions for packet processing
From OpenAlex, which stores abstracts as an
index of words and their positions: what is shown is rebuilt from that,
and reads fluently whether or not it is what the author wrote.
Abstract
Extended Berkeley Packet Filter (BPF) has emerged as a powerful method to extend packet-processing functionality in the Linux operating system. BPF allows users to write code in high-level languages (like C or Rust) and execute them at specific hooks in the kernel, such as the network device driver. To ensure safe execution of a user-developed BPF program in kernel context, Linux uses an in-kernel static checker. The checker allows a program to execute only if it can prove that the program is crash-free, always accesses memory within safe bounds, and avoids leaking kernel data.
How it got here
How it got here
agent via openalex
Added
2026-10-28 21:53 UTC
Not denied by
a person 2026-10-29 17:12 UTC
Cite it as
@misc{xu2021synthesizing,
title = {Synthesizing safe and efficient kernel extensions for packet processing},
author = {Qiongwen Xu and Michael D. Wong and Tanvi Wagle and Srinivas Narayana and Anirudh Sivaraman},
year = {2021},
journal = {ACM SIGCOMM Conference (SIGCOMM)},
pages = {50--64},
doi = {10.1145/3452296.3472929},
}