|
5 Oct 2026 |
| Time |
"Club A" |
"Club B" |
"Club E" |
"Club H" |
"Small Hall" |
"Small Theatre" |
"South Hall 1 A" |
"South Hall 1 B" |
| 10:00 |
Aspects of Dependable Linux Systems
Kate Stewart, Philipp Ahmann
"Club A"
|
|
|
|
Nova: Building an NVIDIA GPU Driver in Rust Upstream
Danilo Krummrich, John Hubbard
"Small Hall"
|
|
Rust-BPF updates
Alexei Starovoitov
"South Hall 1 A"
|
Security Features status update
Kees Cook, Justin Stitt
"South Hall 1 B"
|
| 10:15 |
Towards Program Verification of the Linux Kernel Library XArray
Corinn Tiffany
"Club A"
|
|
|
|
|
| 10:30 |
|
|
|
|
Support large-size arguments and Rust based exception handling
Yonghong Song
"South Hall 1 A"
|
Compiler-Based Context Analysis for Compile-Time Lock Safety
Marco Elver
"South Hall 1 B"
|
| 10:45 |
Common pitfalls and errors, when using Linux in Safety Applications
Igor Stoppa
"Club A"
|
|
|
|
The slab allocator sheaves post-mortem
Vlastimil Babka
"Small Hall"
|
|
| 11:00 |
|
|
|
|
Extending the BPF Type Format to support more languages
Alan Maguire
"South Hall 1 A"
|
BPF support in the GNU Toolchain
Jose E. Marchesi, Vineet Gupta, David Faust, Cupertino Miranda
"South Hall 1 B"
|
| 11:30 |
Coffee Break |
|
Coffee Break |
Coffee Break |
Coffee Break |
Coffee Break |
Coffee Break |
Coffee Break |
| 12:00 |
Scaling the Design Definition
Chuck Wolber
"Club A"
|
|
|
|
Modern Developments with NFS in Linux
Jeffrey Layton
"Small Hall"
|
|
Slaying the BPF Verifier: Safe & Static Kernel Extensions Using Rust
Aniket Gattani
"South Hall 1 A"
|
Are your types the same as mine?
Kris Van Hees
"South Hall 1 B"
|
| 12:30 |
Defining Linux Kernel Requirements and Test Specifications out of the Kernel Tree
Gabriele Paoloni, Kate Stewart
"Club A"
|
|
|
|
|
blitmus: Litmus-testing the eBPF memory model on real hardware
Puranjay Mohan
"South Hall 1 A"
|
Towards real-time ABI compatibility assurance with libctf
Nick Alcock
"South Hall 1 B"
|
| 12:45 |
|
|
|
Modernizing Kernel Boot Options: Resolving cmdline and Bootconfig Discrepancies
Masami Hiramatsu
"Small Hall"
|
|
| 13:00 |
From Manual Argument to Machine-Readable Graph: Toward a Safety SBOM for Linux
Nicole Pappler
"Club A"
|
|
|
|
|
Adding KASAN support for JIT-compiled BPF Programs
Alexis Lothoré
"South Hall 1 A"
|
Adding C library wrappers for all Linux syscalls - The Return
Florian Weimer, Carlos O'Donell
"South Hall 1 B"
|
| 13:25 |
Wrap up
Kate Stewart, Philipp Ahmann
"Club A"
|
|
|
|
|
| 13:30 |
|
|
|
|
Lunch Break |
|
Lunch Break |
Lunch Break |
| 15:00 |
Reducing kernel stack memory (on arm64)
Will Deacon
"Club A"
|
Debugging CPU isolation / nohz_full
Frederic Weisbecker
"Club B"
|
|
|
Untangling convoluted performance regression
Jan Kara
"Small Hall"
|
|
BPF Kernel Verifier meets GCC: A saga of arranged marriage
Vineet Gupta
"South Hall 1 A"
|
Kernel module support for PGO AutoFDO and Propeller
Rong Xu
"South Hall 1 B"
|
| 15:30 |
Better Anon (Swap) Readahead
Kairui Song
"Club A"
|
|
|
|
Evolution of Value Tracking in the BPF Verifier
Shung-Hsi Yu
"South Hall 1 A"
|
Upgrading Runtime Leaks to Compile-Time Errors: Adopting Clang’s require_explicit_initialization
Ian Rogers
"South Hall 1 B"
|
| 15:45 |
Rust for Linux Office Hours
Boqun Feng, Alice Ryhl, Danilo Krummrich, Miguel Ojeda, Andreas Hindborg, Benno Lossin, Gary Guo
"Club B"
|
|
|
Long-term latency monitoring of real-time Linux systems
Jan Altenberg
"Small Hall"
|
|
| 15:50 |
DMA-buf cgroup accounting for proxy allocators: attributing buffers to the right consumer
T.J. Mercier, Albert Esteve
"Club A"
|
|
|
|
| 16:00 |
|
|
|
Proof-Carrying Verification for eBPF
Martin Fink
"South Hall 1 A"
|
Kage: device driver isolation in the Linux kernel with LFI
Zachary Yedidia
"South Hall 1 B"
|
| 16:10 |
Page fault locking
Matthew Wilcox
"Club A"
|
|
|
|
| 16:30 |
Coffee Break |
Coffee Break |
Coffee Break |
Coffee Break |
Coffee Break |
Coffee Break |
Coffee Break |
Coffee Break |
| 17:00 |
Direct map fragmentation
Kevin Brodsky
"Club A"
|
BoF: Memory Efficiency on Modern Linux Systems
Mykolas Krupauskas
"Club B"
|
|
|
Firmware-mediated accelerators for edge AI
Tomeu Vizoso
"Small Hall"
|
|
kops and rejit: Safely Optimizing eBPF for Hardware and Workloads
YUSHENG ZHENG, Hao Sun
"South Hall 1 A"
|
GCC Rust support for Linux
Philip Herron, David Edelsohn
"South Hall 1 B"
|
| 17:30 |
Accelerating Page Migration and Making the Migration Core Composable
Zi Yan, Shivank Garg
"Club A"
|
|
|
|
BPF, sysctls and programmable kernel decision points
Alan Maguire
"South Hall 1 A"
|
Crossing borders between user space and kernel space: GDB/Valgrind/drgn close cooperation
Alexandra Petlanova Hajkova
"South Hall 1 B"
|
| 17:45 |
Updates and Future Directions for Resctrl RDT/MPAM/AMD/RISC-V
Ben Horgan, Reinette Chatre, Fenghua Yu
"Club B"
|
|
|
20 years of pahole : alive and kicking!
Arnaldo Carvalho de Melo, Alan Maguire
"Small Hall"
|
|
Beyond Coverage: Per-Task Function Boundary Extraction for Kernel Contract Verification
Yunseong Kim
"South Hall 1 B"
|
| 18:00 |
Tackling Isolation Issues Due to Memory Pressure
Shakeel Butt
"Club A"
|
|
|
|
eBPF Security: The Uneven Landscape
Gürkan Gür
"South Hall 1 A"
|
|
|
6 Oct 2026 |
| Time |
"Club A" |
"Club B" |
"Club E" |
"Club H" |
"Small Hall" |
"Small Theatre" |
"South Hall 1 A" |
"South Hall 1 B" |
| 10:00 |
DT bindings and sources shared with U-Boot: current status and ongoing work
Neil Armstrong
"Club A"
|
Kernel Sanitizers Office Hours
Alexander Potapenko, Marco Elver, Kees Cook, Pimyn Girgis, Justin Stitt, Aleksandr Nogikh, Dmitry Vyukov
"Club B"
|
|
|
RCU Transactions: Bridging the gap between RCU and STM
Mathieu Desnoyers
"Small Hall"
|
|
eBPF Research: What's Going On In Academia?
Paul Chaignon
"South Hall 1 A"
|
Kernel CVEs at AWS Scale: Two Years of Empirical Findings
Dylan Johnson, Justinien Bouron
"South Hall 1 B"
|
| 10:20 |
Status of the DTS Validation in the Linux Kernel
Krzysztof Kozlowski
"Club A"
|
|
|
|
| 10:30 |
|
|
|
bpf_fault: Custom Page Fault Handling with eBPF
Tal Zussman
"South Hall 1 A"
|
| 10:45 |
ACPI and Devicetrees
Srini Kandagatla
"Club A"
|
Linux CVEs, vulnerability management and agentic security workflows
Damiano Melotti
"Club B"
|
|
|
Checkpoint/Restore for RDMA: Saving and Restoring Live Queue Pairs with CRIU
Raphael Norwitz
"Small Hall"
|
|
Regressions & tracking them: current state, plans, and what do you want?
Thorsten Leemhuis
"South Hall 1 B"
|
| 11:00 |
|
|
|
Programming Across the VM Boundary with eBPF: Lessons from Revisiting Phantom Tracker
Roy Nchang
"South Hall 1 A"
|
| 11:10 |
Streamlining DT Bindings to Protect Upstreaming Momentum
Amit Kucheria
"Club A"
|
|
|
|
| 11:30 |
Coffee Break |
Coffee break |
Coffee Break |
Coffee Break |
Coffee Break |
Coffee Break |
Coffee Break |
Coffee Break |
| 12:00 |
Device Tree Addons: Describe hot-pluggable extension boards
Hervé Codina
"Club A"
|
|
|
|
Improving kernel test coverage using stress-ng
Colin King
"Small Hall"
|
Sharing trace infrastructure between in-tree and OOT tracers
Mathieu Desnoyers
"Small Theatre"
|
shirudo: BPF live-patching infra for the agentic era
Daniel Borkmann, John Fastabend
"South Hall 1 A"
|
Challenges in multi-tenant GPU sharing
Jatin Kataria, Gregoire Pean, Boqun Feng
"South Hall 1 B"
|
| 12:30 |
Using DT overlays to manage a collection of related boards
Doug Anderson
"Club A"
|
|
|
|
|
One Layer of the Onion: A Daemonless eBPF LSM for Confidential VMs in a WhatsApp TEE
Liam Wisehart, Joshua Lilly
"South Hall 1 A"
|
| 12:45 |
DRM Fabric: Vendor-Neutral Topology Infrastructure for Scale-Up Accelerator Interconnects
Konstantin Sinyuk
"Club B"
|
|
|
Rust SPDM in the Kernel
Alistair Francis
"Small Hall"
|
|
Maintainer-oriented features of b4
Konstantin Ryabitsev
"South Hall 1 B"
|
| 13:00 |
OS managed Devicetree overlays through UKI add-ons
Agathe Porte, Hans de Goede
"Club A"
|
|
|
|
Scaling BPF LSM hooks and error injection across the kernel
Anton Protopopov
"South Hall 1 A"
|
| 13:30 |
|
Lunch |
|
|
Lunch Break |
|
Lunch Break |
Lunch Break |
| 15:00 |
Thermal Framework Corner Cases: Bugs or Undefined Behavior?
Daniel Lezcano
"Club A"
|
Bridging the Linux Tux and the FreeBSD Beastie – Linuxulator, LinuxKPI, and LLM-Assisted Porting Challenges on License Issue
"Ruinland" ChuanTzu Tsai
"Club B"
|
|
|
Virtio-GPU for Automotive: Implementing Libkrun + Vhost-User.
Dorinda Bassey
"Small Hall"
|
|
Parsing L7 Protocols in eBPF
Laurin Brandner
"South Hall 1 A"
|
Rust for Linux
Miguel Ojeda
"South Hall 1 B"
|
| 15:20 |
Power Cooling Devices: Bridging Thermal and Powercap
Daniel Lezcano
"Club A"
|
|
|
|
| 15:30 |
|
|
|
Inline DDoS protection for cloud-native game servers at PlayStation with eBPF/XDP
Jeffrey Barendse, Babis Stylianopoulos
"South Hall 1 A"
|
| 15:40 |
Introducing Hardware Thermal Governor
Srinivas Pandruvada
"Club A"
|
|
|
|
| 15:45 |
|
|
|
The State of the Kconfig Ecosystem
Julian Braha
"Small Hall"
|
|
Leveraging Rust's Field Projections in the Kernel and Beyond
Benno Lossin
"South Hall 1 B"
|
| 16:00 |
Devfreq for uncore DVFS
Jie Zhan
"Club A"
|
|
|
|
|
BPF ksock: bringing network sockets to BPF
Mahé Tardy, Kornilios Kourtis
"South Hall 1 A"
|
| 16:20 |
Coffee Break |
|
|
|
|
| 16:30 |
Coffee break |
Coffee Break |
Coffee Break |
Coffee Break |
Coffee Break |
Coffee Break |
Coffee Break |
| 16:45 |
Autonomous CPU performance selection: a new cpufreq governor?
Sumit Gupta
"Club A"
|
| 17:00 |
Improving THP placement policies
Pedro Falcato
"Club B"
|
|
|
Devicetree-ACPI hybrid mode
Hans de Goede
"Small Hall"
|
|
BPF-RBACd: Delegating BPF permissions with high granularity
Toke Høiland-Jørgensen
"South Hall 1 A"
|
DRM: handling runtime requirements for device components.
Dmitry Baryshkov
"South Hall 1 B"
|
| 17:05 |
Amortizing CPU wakeup costs with lazy wakeups
Samuel Wu
"Club A"
|
|
|
|
| 17:25 |
Current developments in the Common Clk Framework
Brian Masney
"Club A"
|
|
|
|
| 17:30 |
|
|
|
eBPF on Wheels - Automotive and Industrial Use Cases
Reinhard Kugler
"South Hall 1 A"
|
| 17:45 |
Short Break |
DAMON Nano Conference
SJ Park
"Club B"
|
|
|
Camera & ISP MC
Laurent Pinchart
"Small Hall"
|
|
Bringing Linux DRM Display Panel support in the modern age
Neil Armstrong
"South Hall 1 B"
|
| 17:50 |
Hardware Pressure on x86: Does the Linux Scheduler Need to Know When You're Throttled?
Ricardo Neri
"Club A"
|
|
|
|
| 18:00 |
|
|
|
Pluggable Runtime Verification (RV) monitors with BPF
Gabriele Monaco
"South Hall 1 A"
|
| 18:10 |
Dynamic Runtime Prediction of CPU Idle-State Exit Latency
Aiqun Yu, Cong Zhang
"Club A"
|
|
|
|
|
7 Oct 2026 |
| Time |
"Club A" |
"Club C+D" |
"Club E" |
"Club H" |
"South Hall 1 A" |
"South Hall 1 B" |
| 09:00 |
|
|
|
|
|
TAB Q&A
Kees Cook, Greg Kroah-Hartman, Shuah Khan, Theodore Ts'o, Julia Lawall, Miguel Ojeda, David Hildenbrand, Steven Rostedt, Dave Hansen
"South Hall 1 B"
|
| 10:00 |
Constraints of process migrations
Michal Koutný
"Club A"
|
|
Creating self references safely
Gary Guo
"Club E"
|
|
|
Cryptographic Proofs of Personhood: Solving the Kernel Web of Trust Problem in a Privacy-Preserving Manner
Drummond Reed, Glenn Gore, Hart Montgomery
"South Hall 1 B"
|
| 10:20 |
Upgrade restrictions for file descriptors
Jori Koolstra
"Club A"
|
|
Reworking `Request` reference counting in the Rust block device driver API
Andreas Hindborg
"Club E"
|
|
|
| 10:40 |
Memory Tracking in forensic checkpointing: what soft-dirty bits can’t tell us
Shailja Shaktawat
"Club A"
|
|
dma_fence abstractions: Design and Challenges
Philipp Stanner
"Club E"
|
|
|
| 10:45 |
|
|
|
A Loadable Crypto Module for FIPS Certification
Jay Wang
"South Hall 1 B"
|
| 11:00 |
Addressing Challenges for Container Migration in Heterogeneous Clusters
Andrei Vagin
"Club A"
|
|
Tyr: A Status Update
Daniel Almeida
"Club E"
|
|
|
| 11:30 |
Coffee Break |
Coffee Break |
Coffee Break |
Coffee Break |
Coffee Break |
Coffee Break |
| 12:00 |
Enabling Incremental Checkpointing for GPU Workloads
Radostin Stoyanov
"Club A"
|
|
Bridging the C/Rust Divide: Replicating the PWM Subsystem's Success
Michał Wilczyński
"Club E"
|
|
|
From CVE to Fix in Minutes: AI-Augmented Security Lifecycle Management for Linux Distributions
Kanishk Bansal
"South Hall 1 B"
|
| 12:20 |
Checkpoint/Restore of Device Cgroup eBPF Programs
Pavel Tikhomirov
"Club A"
|
|
Using Rust for out-of-tree kernel drivers
Alice Ryhl
"Club E"
|
|
|
| 12:40 |
dm-qcow2: device-mapper-based QCOW2 storage for containers
Andrei Zhadchenko
"Club A"
|
|
BPF CO-RE support in Rust
Michal Rostecki
"Club E"
|
|
|
| 12:45 |
|
|
|
BPF_PROG_TEST_RUN: the hidden perils of testing.
Lucas Castanheira, Theophilus Benson
"South Hall 1 B"
|
| 13:30 |
|
|
|
|
Lunch Break |
Lunch Break |
| 15:00 |
|
Power Sequencing for Enumberable Busses - Driver Core Integrations?
Chen-Yu Tsai
"Club C+D"
|
|
Intro / Welcome "Club H"
|
|
When Embedded Codecs Meet Graphics
Nicolas Dufresne
"South Hall 1 B"
|
| 15:10 |
|
|
Bridging the VM Boundary: Scheduling Passthrough via pvsched and sched_ext
Josh Don, Vineeth Remanan Pillai
"Club H"
|
|
| 15:25 |
|
Reviving early platform drivers
Bartosz Golaszewski
"Club C+D"
|
|
|
| 15:28 |
|
|
BPF-based Composable Idle cpumask Selection
Emil Tsalapatis
"Club H"
|
|
| 15:45 |
|
|
|
FUSE mostly-passthrough filesystems
Amir Goldstein
"South Hall 1 B"
|
| 15:46 |
|
|
Taming latency spikes caused by lock holder and lock waiter preemption
Changwoo Min
"Club H"
|
|
| 15:50 |
|
Evolving support for sync_state to subsystems beyond genpd
Ulf Hansson
"Club C+D"
|
|
|
| 16:04 |
|
|
Making proxy execution compatible with sched_ext
Andrea Righi
"Club H"
|
|
| 16:15 |
|
Constification of sysfs attribute structures
Thomas Weißschuh
"Club C+D"
|
|
|
| 16:30 |
Coffee Break |
Coffee Break |
Coffee Break |
Coffee Break |
Coffee |
| 16:40 |
Coffee Break |
| 17:00 |
|
|
Stickiness: Keeping tasks cache-warm in work-conserving LAVD scheduler
Gavin Guo
"Club H"
|
|
Defining the pkeys ABI
Kevin Brodsky
"South Hall 1 B"
|
| 17:10 |
|
Hardware Cross-Dependencies - Solving the Unsolvable
Sebastian Reichel, AngeloGioacchino Del Regno
"Club C+D"
|
|
|
| 17:18 |
|
|
HFI plug in to scx_ext
Srinivas Pandruvada
"Club H"
|
|
| 17:35 |
|
Synx: Cross-core synchronization
Pravin Kumar Ravi
"Club C+D"
|
|
|
| 17:36 |
|
|
Automatic placement of accelerator workloads
Balbir Singh, Lee Trager
"Club H"
|
|
| 17:45 |
|
|
|
Virtio and Vhost-User Ecosystem for Production and Automotive Systems
Stefano Garzarella, Dorinda Bassey, Albert Esteve
"South Hall 1 B"
|
| 18:00 |
|
Managing IRQ mapping and deferred probing for ACPI static tables devices
Lorenzo Pieralisi
"Club C+D"
|
|
|
| 18:02 |
|
|
Closing / Final Q&A "Club H"
|
|