Srinivas Narayana

Srinivas Narayana is an Assistant Professor in the Department of Computer Science at Rutgers University, specializing in programmable networking, formal verification, and systems research. He holds a PhD from Princeton University and a B.Tech from IIT Madras, with postdoctoral work at MIT. His research focuses on building safe, high-performance networks through optimizing compilers, verified programming, and distributed system monitoring. He has received NSF grants, the CGO 2022 Distinguished Paper Award, and the 2017 SIGCOMM Best Paper Award.

Education:

• PhD and MA in Computer Science, Princeton University (2016)
• B.Tech in Computer Science, IIT Madras (2010)
• Postdoctoral Research, MIT (2018)

Research Interests: His work bridges networking and systems with a focus on compilers, formal methods, and programmable hardware. Notable projects include K2 compiler for eBPF, the eBPF verifier soundness work, and congestion control mechanisms like CCP. He explores parallel packet processing, privacy-preserving analytics, and load balancing strategies.

Grants & Awards:

• NSF Awards #2422076, #1910796, #2019302
• eBPF Foundation Grant
• Facebook Networking Research Award
• Network Programming Initiative (NPI) Funding

Lab & Teams: Leads the NetSys group at Rutgers, collaborating with teams on projects like the eBPF verifier, verified packet processing, and network monitoring tools like Marple. His lab emphasizes open-source contributions and industry collaboration.