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

Delta-net: Real-time Network Verification Using Atoms. - Alex Horn; Ali Kheradmand; Mukul R. Prasad (NSDI, 2017)

P4K: A Formal Semantics of P4 and Applications. - Ali Kheradmand; Grigore Rosu (CoRR, 2018)

A Precise and Expressive Lattice-theoretical Framework for Efficient Network Verification. - Alex Horn; Ali Kheradmand; Mukul R. Prasad (ICNP, 2019)

Towards Verified Self-Driving Infrastructure. - Bingzhe Liu; Ali Kheradmand; Matthew Caesar 001; Philip Brighten Godfrey (HotNets, 2020)

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

Automatic Inference of High-Level Network Intents by Mining Forwarding Patterns. - Ali Kheradmand (SOSR, 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)

SwitchV: automated SDN switch validation with P4 models. - Kinan Dak Albab; Jonathan DiLorenzo; Stefan Heule; Ali Kheradmand; Steffen Smolka; Konstantin Weitz; Muhammad Timarzi; Jiaqi Gao; Minlan Yu (SIGCOMM, 2022)