That's a picture of me!
Papers · Software

I'm a post-doc at the Computer Science and Artificial Intelligence Laboratory (CSAIL) at MIT, with Professors Hari Balakrishnan and Mohammad Alizadeh. I got my PhD at Princeton University, advised by Prof. Jennifer Rexford. I also worked closely with Prof. David Walker. I received a B.Tech in Computer Science from Indian Institute of Technology Madras in 2010.

My research aims to make computer networks easy to manage. I design networks that can be flexibly programmed to allow network operators and designers to understand the network's operation and implement novel functions. Programmability enables network operators to diagnose poor application performance, allocate resources more efficiently, and secure the network better. To achieve these goals, I have combined by primary expertise in Computer Networking with principles from Programming Languages, Computer Architecture, and Algorithms. My Ph.D. dissertation is entitled "Declarative Network Path Queries," focussing on measuring traffic accurately. I have since worked on fine-grained performance monitoring and congestion control.


Restructuring endpoint congestion control
Akshay Narayan, Frank Cangialosi, Deepti Raghavan, Prateesh Goyal, Srinivas Narayana, Radhika Mittal, Mohammad Alizadeh, and Hari Balakrishnan
Draft forthcoming.

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
Winner of the 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.


The Marple performance query compiler and its mininet testing infrastructure
Congestion Control Plane (CCP) algorithms, Linux kernel datapath, and the patched kernel source
Path queries on the Pyretic language and run-time system
HashPipe's heavy hitter algorithm in P4
CMurphi source for SDN controller verification
Optimization models from the joint mapping and routing project (requires mosek)

Last updated on May 29 2018 at 0439 ET. Photo credit to Tejal Bhamre.