Srinivas Narayana
@ngsrinivas
Followers
405
Following
41
Media
6
Statuses
215
Computer Science academic at Rutgers University, NJ, USA. Interested in networking, operating systems, and formal methods.
New Brunswick, NJ
Joined May 2009
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!
1
1
28
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.
1
3
26
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
4
4
52
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. https://t.co/Pd2WUnG89s Look forward to the program soon!
0
5
15
🗓️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. 📚💡 https://t.co/Uw8JESxHuK
0
9
9
The paper is at https://t.co/lKlj1DXYXW and the code is at https://t.co/nI6WhS4bvP (upstreamed into the latest Linux kernels).
0
1
5
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
1
3
33
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.
2
4
29
Read @seanhn's excellent blog post on making K2 run faster. https://t.co/MOsD4PGghj Curious if folks have "go-to" tricks or more general references you use to make programs run faster based on profiles?
prodfiler.com
Increasing performance of K2, an optimising compiler for eBPF, by 1.4x-1.9x.
0
0
1
Our SIGCOMM'21 paper on an optimizing compiler for BPF.
1
7
60
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
18
138
1K
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 https://t.co/e4nOTg9NXm. See patch at https://t.co/yXFDvqgsnr Joint work with Hari, Matan, and @ngsrinivas #ebpf
arxiv.org
Extended Berkeley Packet Filter (BPF) is a language and run-time system that allows non-superusers to extend the Linux and Windows operating systems by downloading user code into the kernel. To...
0
7
47
"If I have seen further, it is by importing from the code of giants." ~ Jake VanderPlas (via LWN)
0
0
1
Verifying myself: I am ngsrinivas on Keybase.io. 16OLLEgTgevyd0yvJMdo-DQu-9bO3MCrq1_Z /
0
0
0
⚡️ "Guy doesn't understand soccer, makes soccer video game anyway" https://t.co/facuqdU2rp
0
0
2
"we receive as friendly that which agrees with, we resist with dislike that which opposes us; the very reverse is required by common sense."
1
0
1
Seedless grapes. Seedless oranges. Seedless watermelons. All good. My vote for the next fruit to invent: Seedless pomegranate
515
3K
10K
16 elevating resolutions for 2016. https://t.co/E9wtDRGyir via @brainpicker
0
0
0