Ali Kheradmand

13 papers A* 1B 1Misc 3Journal 5Unranked 3
YearRankTypeTitle / Venue / Authors
2022 — conf
FORTIFY: Software Defined Data Plane Resilience.
NFV-SDN
Umar Farooq, Mubashir Anwar, Muhammad Haris Noor, Rashid Tahir, Santhosh Prabhu, Ali Kheradmand, Matthew Caesar, Fareed Zaffar
2022 A* conf
SwitchV: automated SDN switch validation with P4 models.
SIGCOMM
Kinan Dak Albab, Jonathan DiLorenzo, Stefan Heule, Ali Kheradmand, Steffen Smolka, Konstantin Weitz, Muhammad Timarzi, Jiaqi Gao, Minlan Yu
2020 — conf
Automatic Inference of High-Level Network Intents by Mining Forwarding Patterns.
SOSR
Ali Kheradmand
2020 J jnl
Automatic Inference of High-Level Network Intents by Mining Forwarding Patterns.
CoRR
Ali Kheradmand
2020 Misc conf
Plankton: Scalable network configuration verification through model checking.
NSDI
Santhosh Prabhu, Kuan-Yen Chou, Ali Kheradmand, Brighten Godfrey, Matthew Caesar
2020 Misc conf
Towards Verified Self-Driving Infrastructure.
HotNets
Bingzhe Liu, Ali Kheradmand, Matthew Caesar, Philip Brighten Godfrey
2019 B conf
A Precise and Expressive Lattice-theoretical Framework for Efficient Network Verification.
ICNP
Alex Horn, Ali Kheradmand, Mukul R. Prasad
2019 J jnl
A Precise and Expressive Lattice-theoretical Framework for Efficient Network Verification.
CoRR
Alex Horn, Ali Kheradmand, Mukul R. Prasad
2019 J jnl
Plankton: Scalable network configuration verification through model checking.
CoRR
Santhosh Prabhu, Kuan-Yen Chou, Ali Kheradmand, Philip Brighten Godfrey, Matthew Caesar
2018 J jnl
P4K: A Formal Semantics of P4 and Applications.
CoRR
Ali Kheradmand, Grigore Rosu
2017 Misc conf
Delta-net: Real-time Network Verification Using Atoms.
NSDI
Alex Horn, Ali Kheradmand, Mukul R. Prasad
2017 J jnl
Delta-net: Real-time Network Verification Using Atoms.
CoRR
Alex Horn, Ali Kheradmand, Mukul R. Prasad
2017 — conf
Predicting Network Futures with Plankton.
APNet
Santhosh Prabhu, Ali Kheradmand, Brighten Godfrey, Matthew Caesar