I build flexible, safe, and high-performance computer networks that meet the needs of the developers, operators, and users of emerging applications and networks. I take a full-stack approach, developing novel languages, optimizing compilers, algorithms, operating system designs, and hardware designs. My current research projects include designing optimizing compilers for programs processing network packets, verified network stack programming, and distributed system monitoring and control.



Spring 2021 Internet Technology (192:352, an undergraduate-level computer networks course). All video lectures are publicly available.
Fall 2020 Computer Networks (198:552, introductory graduate-level course)
Spring 2020 Internet Technology
Fall 2019 Computer Networks
Spring 2019 Internet Technology
Fall 2018 Computer Networks


Sound, Precise, and Fast Abstract Interpretation with Tristate Numbers
Harishankar Vishwanathan, Matan Shachnai, Srinivas Narayana, and Santosh Nagarakatte
Symposium on Code Generation and Optimization (CGO) 2022

Snicket: Query-Driven Distributed Tracing
Jessica Berg, Fabian Ruffy, Khanh Nguyen, Nicholas Yang, Taegyun Kim, Anirudh Sivaraman, Ravi Netravali, and Srinivas Narayana
ACM Hot Topics in Networking (HotNets) 2021
[ paper pdf ]

Automated SmartNIC Offloading Insights for Network Functions
Yiming Qiu, Jiarong Xing, Kuo-Feng Hsu, Qiao Kang, Ming Liu, Srinivas Narayana, and Ang Chen
ACM Symposium on Operating Systems Principles (SOSP) 2021
[ paper pdf ]

Synthesizing safe and efficient kernel extensions for packet processing
Qiongwen Xu, Michael Dean Wong, Tanvi Wagle, Srinivas Narayana, and Anirudh Sivaraman
[ project web page ] [ paper pdf ] [ conference artifact awarded three ACM badges ]
[ Talk at Linux Plumbers conference 2021 ]

Switch Code Generation using Program Synthesis
Xiangyu Gao, Taegyun Kim, Michael Dean Wong, Divya Raghunathan, Aatish Kishan Varma, Pravein Govindan Kannan, Anirudh Sivaraman, Srinivas Narayana, Aarti Gupta
[ paper pdf ]

Autogenerating fast packet-processing code using program synthesis
Xiangyu Gao, Taegyun Kim, Aatish Kishan Varma, Anirudh Sivaraman, Srinivas Narayana
Hot Topics in Networks (HotNets) 2019
[ paper pdf ] [ Xiangyu's talk pdf ] [ talk pptx ]

Elasticity detection: A building block for Internet congestion control
Prateesh Goyal, Akshay Narayan, Frank Cangialosi, Deepti Raghavan, Srinivas Narayana, Mohammad Alizadeh, and Hari Balakrishnan
[ paper pdf ]

Restructuring endpoint congestion control
Akshay Narayan, Frank Cangialosi, Deepti Raghavan, Prateesh Goyal, Srinivas Narayana, Radhika Mittal, Mohammad Alizadeh, and Hari Balakrishnan
Also accepted as a moonshot talk at netdev (0x12), the technical conference on Linux networking
Project web page
[ paper pdf ]
[ My talk (pdf) at IIT Madras ] [ IIT Madras talk pptx ]
[ Akshay's netdev talk pdf ] [ netdev talk keynote ]
[ Akshay's sigcomm talk pdf ] [ sigcomm talk keynote ]

The case for moving congestion control out of the datapath
Akshay Narayan, Frank Cangialosi, Prateesh Goyal, Srinivas Narayana, Mohammad Alizadeh, and Hari Balakrishnan
Hot Topics in Networks (HotNets) 2017
[ paper pdf ] [ Akshay's talk pdf ] [ talk pptx ]

Language-directed hardware design for network performance monitoring
Srinivas Narayana, Anirudh Sivaraman, Vikram Nathan, Prateesh Goyal, Venkat Arun, Mohammad Alizadeh, Vimalkumar Jeyakumar, and Changhoon Kim
Best paper award
Project web page
MIT news article
[ paper pdf ] [ talk pdf ] [ talk pptx ]

Heavy-hitter detection entirely in the data plane
Vibhaalakshmi Sivaraman, Srinivas Narayana, Ori Rottenstreich, S. Muthukrishnan, and Jennifer Rexford
Symposium on Software-Defined Networking Research (SOSR) 2017
[ paper pdf ] [ Vibhaa's talk pdf ] [ talk pptx ]

Hardware-software co-design for network performance measurement
Srinivas Narayana, Anirudh Sivaraman, Vikram Nathan, Mohammad Alizadeh, David Walker, Jennifer Rexford, Vimalkumar Jeyakumar, and Changhoon Kim
Hot topics in Networks (HotNets) 2016
[ paper pdf ] [ talk pdf ] [ talk pptx ]

Declarative network path queries
Srinivas Narayana
Ph.D. thesis
[ thesis pdf ] [ defense pdf ] [ defense pptx ]

Compiling path queries
Srinivas Narayana, Mina Tahmasbi, Jennifer Rexford, and David Walker
Symposium on Networked Systems Design and Implementation (NSDI) 2016
Project web page
[ paper pdf ] [ talk pdf ] [ talk pptx ]

Compiling path queries in software-defined networks
Srinivas Narayana, Jennifer Rexford, and David Walker
Hot topics in Software-Defined Networks (HotSDN) 2014
[ paper pdf ] [ talk pdf ] [ talk pptx ]

Joint server selection and routing for geo-replicated services
Srinivas Narayana, Joe Wenjie Jiang, Jennifer Rexford, and Mung Chiang
Workshop on Distributed Cloud Computing (DCC) 2013
Also accepted as an extended abstract at ACM Sigmetrics 2012
[ dcc pdf ] [ talk pdf ] [ talk pptx ] [ sigmetrics pdf ] [ extended version pdf ] [ tech report pdf ]

Abstractions for model checking SDN controllers
Divjyot Sethi, Srinivas Narayana, and Sharad Malik
Formal methods in Computer Aided Design (FMCAD) 2013
[ paper pdf ] [ Divjyot's talk pdf ] [ talk pptx ]

Systems and methods for transactions on the Telecom Web
Anupam Joshi, Srinivas Narayana, and Aaditeshwar Seth
US patent 8,463,705

Also see brief abstracts on my other research experiences.


I'm privileged to advise these fantastic students.

Qiongwen Xu (Ph.D., started '19)
Bala Murali Komanduri (Ph.D., started '18)
Bhavana Shobhana (Ph.D., started '21)
Harishankar Vishwanathan (Ph.D., started '21)
Songyuan Zhang (Rutgers University class of '22)
Vaishnavi Manthena (Aresty academic year '21-'22 undergraduate research assistant, class of '22)
Tanvi Wagle (Aresty academic year '20-'21 undergraduate research assistant, class of '22)
Andrea Gil-Lopez (LSAMP scholar academic years '20-'21, '21-'22, undergraduate class of '23)

Additionally, I also work closely with Xiangyu Gao from New York University.


Malav Doshi (undergraduate class of '22)
Tavis Johnson (DIMACS summer intern '21, Iona College, NY)
Del Lyczak (DIMACS summer intern '21, Lafayette College, PA)
Sebastian Lezaros Romero (LSAMP scholar summer '21)
Thaquib Ahammed (LSAMP scholar summer '21, undergraduate class of '23)
Anthony Chavez (LSAMP scholar summer '21, Rutgers-Newark undergraduate class of '22)
Michael D. Wong (Laboratory for Physical sciences → Ph.D. student at Princeton)
Sukumar Gaonkar (M.S. → Bloomberg)
Lance Tan (DIMACS undergraduate summer intern'20, Yale University class of '21)
Tanya Agarwal (remote undergraduate summer intern'20, Indian Institute of Technology Delhi class of '22)
Zhen Yi Pan (DIMACS undergraduate summer intern'20, Stony Brook University NY class of '22)
Kevin Defreitas (undergraduate class of '21)


Sound tnum multiplication algorithm (upstreamed into Linux kernels starting v5.14)
K2 compiler
Congestion Control Plane (CCP) Marple HashPipe heavy hitter algorithm in P4
Path query run-time system (runs on the the Pyretic SDN controller)
CMurphi source for SDN controller verification
Optimization models from the joint mapping and routing project (requires mosek)


Srinivas Narayana is an Assistant Professor in the Department of Computer Science at Rutgers University. Srinivas's research aims to make computer networks easier to program, troubleshoot, and develop novel applications atop of. Srinivas received his M.A/Ph.D. in Computer Science from Princeton University (adv: Jennifer Rexford and David Walker) in 2016 and a B.Tech from Indian Institute of Technology Madras in 2010. Srinivas completed a post-doc at Massachusetts Institute of Technology in 2018 (adv: Hari Balakrishnan and Mohammad Alizadeh). Srinivas's research has been recognized with the best paper award at the 2017 ACM SIGCOMM conference, a Facebook research award, and grants from the National Science Foundation.

Last updated on Sun Nov 07 2021 at 1350 IST. Photo credit to Tejal Bhamre.