I build flexible 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, compilers, algorithms, operating system designs, and hardware designs. My current research projects include designing a compiler for network hardware offload, verified network stack programming, and real-time distributed system monitoring.



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


Synthesizing safe and efficient kernel extensions for packet processing
Qiongwen Xu, Michael Dean Wong, Tanvi Wagle, Srinivas Narayana, and Anirudh Sivaraman
[ Official Paper and artifact coming soon; meanwhile you could look at the preprint. ]

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.)
Bala Murali Komanduri (Ph.D.)
Bhavana Shobhana (Ph.D.)
Harishankar Vishwanathan (Ph.D.)
Michael Dean Wong (unaffiliated)
Tanvi Wagle (Aresty undergraduate research assistant class of '22)
Songyuan Zhang (Rutgers University class of '22)

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


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)


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 Tue Jun 01 2021 at 1800 IST. Photo credit to Tejal Bhamre.