The extended Berkeley Packet Filter (eBPF) provides powerful and flexible kernel interfaces
to extend the kernel functions for user space programs via running bytecode directly in the …

Recent shifts to microservice-based architectures and the supporting servicemesh radically
disrupt the landscape of performance-oriented management tasks. While the adoption of …

Microservices are becoming more complicated, posing new challenges for traditional
performance monitoring solutions. On the one hand, the rapid evolution of microservices …

The Berkeley Packet Filter (BPF) has emerged as the de-facto standard for carrying out safe
and performant, user-specified computation (s) in kernel space. However, BPF also …

The emerging computational storage device offers an opportunity for in-storage computing. It
alleviates the overhead of data movement between the host and the device, and thus …

Modern programmers routinely use third-party code, and infrastructure operators deploy
software they did not write. This would not be possible without semantic interfaces …

Kernel synchronization primitives are the backbone of any OS design. Kernel locks, for
instance, are crucial for both application performance and correctness. However, unlike …

This paper describes our experience applying formal methods to a critical component in the
Linux kernel, the just-in-time compilers (" JITs") for the Berkeley Packet Filter (BPF) virtual …

The availability of non-volatile main memory (NVMM) has started a new era for storage
systems and NVMM specific file systems can support extremely high data and metadata …

Securing multimedia data on disk drives is a major concern because of their rapidly
increasing volumes over time, as well as the prevalence of security and privacy problems …