Panda, A., Zheng, W., Hu, X., Krishnamurthy, A. and Shenker, S. {SCL}: Simplifying Distributed {SDN} Control Planes. NSDI 2017 329–345.

Panda, A., Lahav, O., Argyraki, K., Sagiv, M. and Shenker, S. Verifying reachability in networks with mutable datapaths. NSDI 2017 699–718.

Panda, A., Sagiv, M. and Shenker, S. Verification in the Age of Microservices. HotOS 2017.

Chang, M.A., Panda, A., Tsai, Y.-C., Wang, H. and Shenker, S. ThrottleBot – Performance without Insight. CoRR. abs/1711.00618.

Zarchy, D., Mittal, R., Schapira, M. and Shenker, S. An Axiomatic Approach to Congestion Control. HotNets 2017.

Ousterhout, K., Canel, C., Ratnasamy, S. and Shenker, S. Monotasks: Architecting for Performance Clarity in Data Analytics Frameworks. SOSP 2017.

Alpernas, K., Manevich, R., Panda, A., Sagiv, M., Shenker, S., Shoham, S. and Velner, Y. Modular Safety Verification for Stateful Networks. CoRR. abs/1708.05904.

Qazi, Z.A., Walls, M., Panda, A., Sekar, V., Ratnasamy, S. and Shenker, S. A High Performance Packet Core for Next Generation Cellular Networks. SIGCOMM 2017 348–361.

Asharov, G., Demmler, D., Schapira, M., Schneider, T., Segev, G., Shenker, S. and Zohner, M. Privacy-Preserving Interdomain Routing at Internet Scale. PoPETs.

Chiesa, M., Nikolaevskiy, I., Mitrovic, S., Gurtov, A.V., Madry, A., Schapira, M. and Shenker, S. On the Resiliency of Static Forwarding Tables. IEEE/ACM Transaction on Networing.