Excited to present our work on the soundness of the Linux eBPF verifier at the eBPF and networking track at upcoming #LinuxPlumbers conference, with fantastic collaborator Santosh Nagarakatte and awesome Ph.D. students Harishankar V and Matan Shachnai.

Our paper 'Verifying the verifier: eBPF Range Analysis Verification' accepted at CAV 2023. Work with students Hari and Matan, and colleague Srinivas Narayana. We propose an automated method to check the correctness of range analysis in the Linux Kernel’s eBPF verifier. 1/4

The list of accepted papers at the 1st ebpf and kernel extensions workshop (at sigcomm) is up. Co-organized with Sebastiano Miano Gianni Antichi and Aurojit Panda.
conferences.sigcomm.org/sigcomm/2023/w…
Look forward to the program soon!

🗓️Just ONE week left to submit your papers for the 2023 ACM SIGCOMM #eBPF Workshop! 🐝🚀
Whether it's a 6-page research paper or a concise 2-page Extended Abstract showcasing early findings or ongoing work, we're excited to see your submissions. 📚💡
ebpf23.hotcrp.com

Our work on 'Sound, Precise, and Fast Abstract Interpretation with Tristate Numbers' at CGO awarded CGO 2022 Distinguished Paper Award! Congratulations to my awesome colleague Srinivas Narayana + PhD students Harishankar and Matan. Rutgers SAS Mathematical & Physical Sciences (MPS) Paper at go.rutgers.edu/wn0zob8i

Read Sean Heelan's excellent blog post on making K2 run faster. prodfiler.com/blog/optimisin… Curious if folks have 'go-to' tricks or more general references you use to make programs run faster based on profiles?

Our SIGCOMM'21 paper on an optimizing compiler for BPF. cs.rutgers.edu/~sn624/papers/…

The best first step towards building a complex end-to-end system is to build a basic end-to-end system -- not to build a submodule of what you think the complex system should look like

Our Linux kernel patch with a new algorithm for sound and precise multiplication of tnums (an abstract domain in the ebpf verifier) has been upstreamed. See paper at arxiv.org/abs/2105.05398.
See patch at go.rutgers.edu/36xmpuqo
Joint work with Hari, Matan, and Srinivas Narayana #ebpf

It looks like we haven't seen the last of BPF verifiers. Santosh Nagarakatte and Srinivas Narayana received NSF and Facebook funding to work on BPF verification! #ebpf
nsf.gov/awardsearch/sh…
research.fb.com/blog/2019/09/a…

'If I have seen further, it is by importing from the code of giants.' ~ Jake VanderPlas (via LWN)

Verifying myself: I am ngsrinivas on Keybase.io. 16OLLEgTgevyd0yvJMdo-DQu-9bO3MCrq1_Z / keybase.io/ngsrinivas/sig…

⚡️ 'Guy doesn't understand soccer, makes soccer video game anyway'

x.com/i/moments/7257…

'we receive as friendly that which agrees with, we resist with dislike that which opposes us; the very reverse is required by common sense.'

Seedless grapes. Seedless oranges. Seedless watermelons. All good. My vote for the next fruit to invent: Seedless pomegranate