Srinivas Narayana

Research paper on sound and precise eBPF static analysis by my Ph.D. student Harishankar Vishwanathan @_harishankarv and co-authors Matan Shachnai and Prof. Santosh Nagarakatte (@santoshgnag) awarded distinguished paper at Code Generation&Optimization (CGO'22). Many congrats!

@JudeCNelson @santoshgnag @_harishankarv Thank you, Jude!

@ngsrinivas @santoshgnag @_harishankarv Congratulations!!

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 @santoshgnag and awesome Ph.D. students @_harishankarv and Matan Shachnai.

Our paper "Verifying the verifier: eBPF Range Analysis Verification" accepted at CAV 2023. Work with students Hari and Matan, and colleague @ngsrinivas. 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 @sebymiano @get_gianni_up and @apanda. conferences.sigcomm.org/sigcomm/2023/w… Look forward to the program soon!

🗓️Just ONE week left to submit your papers for the 2023 @ACMSIGCOMM #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

@RoBBifulco Hi Roberto. Many congrats on your paper. I look forward to reading it.

More details in the paper coming out at the end of this month at ACM ASPLOS '23. Thanks to the fantastic co-authors Alessandro Rivitti, Angelo Tulumello, Marco Bonola and Salvatore Pontarelli. They always make hard work fun! 🧵7/7

Software packet processing at >100Gbps on a NIC is a challenge, unless software becomes hardware! We describe how in "eHDL: Turning eBPF/XDP Programs into Hardware Designs for the NIC", @TheOfficialACM @ASPLOSConf '23 @NEC_corp @axbryd @SapienzaRoma @unitorvergata 🧵1/7

@shunghsiyu Thanks so much @shunghsiyu! Btw I really enjoyed your presentation slides on the BPF verifier #slide=id.p1" target="_blank" rel="nofollow noopener">docs.google.com/presentation/d… Easily one of the clearest resources I've seen to explain the range tracking and branching analysis in the verifier. <3

FWIW reading their code along with the paper is what finally got me understand to tristate numbers github.com/bpfverif/tnums…

Also I really appreciate the work of @_harishankarv, Matan Shachnai, @ngsrinivas, @santoshgnag on verifying tristate numbers implementation in the Linux Kernel as well as contributing a faster tnum_mul() arxiv.org/abs/2105.05398

The paper is at people.cs.rutgers.edu/~sn624/papers/… and the code is at spinics.net/lists/bpf/msg4… (upstreamed into the latest Linux kernels).

Research paper on sound and precise eBPF static analysis by my Ph.D. student Harishankar Vishwanathan @_harishankarv and co-authors Matan Shachnai and Prof. Santosh Nagarakatte (@santoshgnag) awarded distinguished paper at Code Generation&Optimization (CGO'22). Many congrats!

Our work on "Sound, Precise, and Fast Abstract Interpretation with Tristate Numbers" at @CGOconf awarded CGO 2022 Distinguished Paper Award! Congratulations to my awesome colleague @ngsrinivas + PhD students Harishankar and Matan. @RutgersSASMPS Paper at go.rutgers.edu/wn0zob8i

@michaelfreedman How about "shake it off" by Taylor Swift. Failures will always happen, good to move on...

What song should I use to lead in a lecture on "Replicated State Machines via Primary Backup"? 🗳️ Current top student recommendation: "Irreplaceable - Beyoncé" Good answers only...

@sebymiano @ASPLOSConf Congratulations @sebymiano! Looking forward to reading the latest version :)

I am so happy to announce that our paper "Domain Specific Run Time Optimization for Software Data Planes" has been accepted to @ASPLOSConf 2022!

@shimontolts @BarkiNoaa @datreeio Nvm, just found this: youtube.com/watch?v=Bxnu3l…

@shimontolts @BarkiNoaa @datreeio Sounds like an exciting topic! Is there any chance your talk slides or videos are available online? I couldn't find the links on the kubecon sched page.

I'm excited to speak at KubeCon + CloudNative North America 2021 🙂 I am so happy to share my talk with @BarkiNoaa at KubeCon 🤗 Learn more about Kubernetes misconfiguration and how to prevent them. I look forward to hearing your feedback. @datreeio kccncna2021.sched.com/event/b2d80481…

@pchaigno @sebymiano I will also post an updated and more readable version soon. :)

Our research group's work on the soundness and precision of parts of the Linux kernel's static analysis of BPF programs has been accepted at CGO 2022. Congrats to the lead author Harishankar Vishwanathan.

Read @seanhn'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?

@xu_qiongwen 's talk on K2 at the Linux Plumbers Conference now available online. linuxplumbersconf.org/event/11/contr…