ACM SOSP’26 Papers & Preprints
This post lists the accepted papers at ACM SOSP 2026, along with their preprint version when one was found. An illustration bar plot also shows the distribution of papers across research areas.
pchaigno
Paul Chaignon's blog
Latest posts
BPF Selftests: Troubleshooting vmtest.sh
This post covers the most common errors when trying to run the eBPF selftests using vmtest.sh, including compilation errors on kfuncs declarations, missing or mismatched libraries, and other miscellaneous issues.
BPF Verifier State Pruning: Timeline
This blog post presents a timeline of the main changes to state pruning in the eBPF verifier. State pruning allows the verifier to scale to larger BPF programs by eliminating paths.
Test Verifier Changes on Cilium’s BPF Programs
This post describes how to use Cilium's large BPF programs to test and evaluate your changes to the Linux BPF verifier or to any other aspect of the kernel.
eBPF Workshops: Slides & Papers
This post presents the material (papers and presentation slides) from the three editions of the eBPF workshop at ACM SIGCOMM, from 2023 to 2025.
eBPF Research Papers
Interactive list of eBPF research papers from top conferences according to CSRankings. The list can be filtered according to types of publications (ex., improving, using) and areas (ex., networking, verifier, offload, security).
First Cilium Pull Request
Getting started guide on contributing to the open source project Cilium, by making your first pull request. Includes many tips on how to prepare the pull request, go through reviews, or pass the CI.
Linux XFRM Reference Guide for IPsec
This post aims to be a relatively complete reference guide for the XFRM subsystem in the Linux kernel, when used for IPsec. It covers the basic configuration, the packet flows, the meaning of all state and policy fields, the impact of all XFRM errors, and some performance considerations.
Research Grant from the eBPF Foundation
This post discusses the publication of the first grant dedicated to eBPF research, with a short introduction on the links between industry and academia in the eBPF community.
PREVAIL: Understanding the Windows eBPF Verifier
This post summarizes the PREVAIL paper from PLDI 2019. PREVAIL is a new verifier for eBPF based on abstract interpretation and now used by Microsoft in eBPF-for-Windows.