Computer Science academic at Rutgers University, NJ, USA. Interested in networking, operating systems, and formal methods.
Joined May 2009
- Tweets 215
- Following 197
- Followers 404
- Likes 41
6 Photos and videos
Pinned Tweet
7 Apr 2022
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
2 Oct 2023
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
1,916
Srinivas Narayana retweeted
22 Apr 2023
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
4,170
23 Jul 2023
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/sigc…
Look forward to the program soon!
5
15
1,211
Srinivas Narayana retweeted
5 Jun 2023
🗓️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/
9
9
1,407
7 Apr 2022
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
7 Apr 2022
The paper is at people.cs.rutgers.edu/~sn624… and the code is at spinics.net/lists/bpf/msg409… (upstreamed into the latest Linux kernels).
1
5
Srinivas Narayana retweeted
6 Apr 2022
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
1
3
33
7 Nov 2021
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
7 Oct 2021
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?
1
14 Jul 2021
Our SIGCOMM'21 paper on an optimizing compiler for BPF. cs.rutgers.edu/~sn624/papers…
1
7
60
Srinivas Narayana retweeted
11 Jul 2021
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
1,012
Srinivas Narayana retweeted
4 Jun 2021
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 @ngsrinivas #ebpf
7
47
8 Jun 2017
"If I have seen further, it is by importing from the code of giants." ~ Jake VanderPlas (via LWN)
1
28 Sep 2016
Verifying myself: I am ngsrinivas on Keybase.io. 16OLLEgTgevyd0yvJMdo-DQu-9bO3MCrq1_Z / keybase.io/ngsrinivas/sigs/1…
5 May 2016
⚡️ "Guy doesn't understand soccer, makes soccer video game anyway"
x.com/i/moments/725738660663…
2
24 Jan 2016
"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
1
Srinivas Narayana retweeted
19 Jan 2016
Seedless grapes. Seedless oranges. Seedless watermelons. All good. My vote for the next fruit to invent: Seedless pomegranate
511
3,444
10,056