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…

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

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 SIGCOMM'21 paper on an optimizing compiler for BPF. cs.rutgers.edu/~sn624/papers/…

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 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

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

🗓️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

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!

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.

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

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

⚡️ "Guy doesn't understand soccer, makes soccer video game anyway" x.com/i/moments/7257…

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

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