Alpernas, K., Panda, A., Rabinovich, A., Sagiv, M., Shenker, S., Shoham, S. and Velner, Y. Some complexity results for stateful network verification. Formal Methods Syst. Des. 54, 2, 191–231.

Jin, Y., Scott, C., Dhamdhere, A., Giotsas, V., Krishnamurthy, A. and Shenker, S. Stable and Practical AS Relationship Inference with ProbLink. NSDI 2019.

Friedman, E.J., Gkatzelis, V., Psomas, C.-A. and Shenker, S. Fair and Efficient Memory Sharing: Confronting Free Riders. AAAI 2019.

Mushtaq, A., Mittal, R., McCauley, J., Alizadeh, M., Ratnasamy, S. and Shenker, S. Datacenter congestion control: Identifying what is essential and making it practical. SIGCOMM CCR 2019.

Zarchy, D., Mittal, R., Schapira, M. and Shenker, S. Axiomatizing Congestion Control. POMACS 2019.

Zarchy, D., Mittal, R., Schapira, M. and Shenker, S. Axiomatizing Congestion Control. SIGMETRICS 2019.

McCauley, J., Panda, A., Krishnamurthy, A. and Shenker, S. Thoughts on load distribution and the role of programmable switches. SIGCOMM CCR 2019.

McCauley, J., Harchol, Y., Panda, A., Raghavan, B. and Shenker, S. Enabling a Permanent Revolution in Internet Architecture. SIGCOMM 2019.

Casado Martı́n, McKeown, N. and Shenker, S. From ethane to SDN and beyond. SIGCOMM CCR 2019. 49, 5, 92–95.