WorkWander.tech
WorkWander.tech

eBPF and Kernel Extensions

eBPF: 4th Workshop on eBPF and Kernel Extensions

In conjunction with
ACM Symposium on Operating Systems Principles 2026
September 29, 2026 - October 2, 2026
Clarion Congress Hotel Prague
Prague, Czech Republic

Systems Operating Systems Computer Science

Covers safe kernel extensibility with eBPF, from verifier research to production networking and observability uses. eBPF let arbitrary code run safely inside the kernel, which was long considered impossible, and it now underpins production networking, observability and security. Topics run from verifier soundness research to operational experience at scale. The verifier is the crux: it must reject anything unsafe while accepting programs that are genuinely useful, and that boundary is actively contested.

  For more information, visit the workshop website

More workshops at ACM Symposium on Operating Systems Principles 2026

  • Operating Systems Design for AI Agents — Explores how operating systems should evolve when AI agents become first-class workloads. The premise is...
  • Big Memory — Covers memory-centric computing at scale, including CXL, memory pooling, and far-memory systems. CXL and memory...
  • FPGA Systems for Data Centers and Cloud — New venue for FPGA-based acceleration in cloud and datacenter systems. FPGAs promise efficiency but impose...
  • Disruptive Memory Systems — Examines emerging memory technologies and the system software needed to exploit them. New memory technologies...
  • Hardening Agent Runtimes — Examines the runtime infrastructure for AI agents: execution, state management, networking, and security. Distinct from...
  • Hot Topics in Storage and File Systems — The storage community's ideas venue for early-stage work on file systems and storage stacks, held...
  • Practical Adoption Challenges of ML for Systems — Focuses on what it takes to move machine learning for systems from papers into production....
  • Programming Languages and Operating Systems — Explores the intersection of language design, verification, and operating systems implementation. A long-standing pairing: language...
  • Quantum Systems — Addresses the systems software stack for quantum computing, from control systems to schedulers. Quantum hardware...
  • Systems for Health — New venue for computer systems research applied to health, from wearables to clinical data infrastructure....
  • Doctoral Workshop — The systems community's doctoral workshop, giving PhD students feedback from senior researchers. A doctoral workshop...
  • Systems for Secure Multiparty Computation — Bridges cryptographic multiparty computation and the systems engineering needed to deploy it. Multiparty computation has...