NetGen: synthesizing data-plane configurations for network policies. - Shambwaditya Saha; Santhosh Prabhu; P. Madhusudan (SOSR, 2015)

Predicting Network Futures with Plankton. - Santhosh Prabhu; Ali Kheradmand; Brighten Godfrey; Matthew Caesar 001 (APNet, 2017)

Let me rephrase that: Transparent optimization in SDNs. - Santhosh Prabhu; Mo Dong; Tong Meng; Philip Brighten Godfrey; Matthew Caesar 001 (SOSR, 2017)

High-coverage testing of softwarized networks. - Santhosh Prabhu; Gohar Irfan Chaudhry; Brighten Godfrey; Matthew Caesar 001 (SecSoN@SIGCOMM, 2018)

Plankton: Scalable network configuration verification through model checking. - Santhosh Prabhu; Kuan-Yen Chou; Ali Kheradmand; Brighten Godfrey; Matthew Caesar 001 (NSDI, 2020)

Practical verification of network planes - Santhosh Prabhu (2020)

FORTIFY: Software Defined Data Plane Resilience. - Umar Farooq; Mubashir Anwar; Muhammad Haris Noor; Rashid Tahir; Santhosh Prabhu; Ali Kheradmand; Matthew Caesar 001; Fareed Zaffar (NFV-SDN, 2022)

Scaling Data Plane Verification with Intent-based Slicing. - Kuan-Yen Chou; Santhosh Prabhu; Giri Subramanian; Wenxuan Zhou; Aanand Nayyar; Brighten Godfrey; Matthew Caesar 001 (CoRR, 2024)