41 citations · 74 across the 4 of their papers we have counts for
5 papers
Automatic Inference of High-Level Network Intents by Mining Forwarding Patterns
Ali Kheradmand
There is a semantic gap between the high-level intents of network operators and the low-level configurations that achieve the intents. Previous works tried to bridge the gap using…
Plankton: Scalable network configuration verification through model checking
Santhosh Prabhu, Kuan-Yen Chou, Ali Kheradmand +2
Network configuration verification enables operators to ensure that the network will behave as intended, prior to deployment of their configurations. Although techniques ranging fr…
A Precise and Expressive Lattice-theoretical Framework for Efficient Network Verification
Alex Horn, Ali Kheradmand, Mukul R. Prasad
Network verification promises to detect errors, such as black holes and forwarding loops, by logically analyzing the control or data plane. To do so efficiently, the state-of-the-a…
P4K: A Formal Semantics of P4 and Applications
Ali Kheradmand, Grigore Rosu
Programmable packet processors and P4 as a programming language for such devices have gained significant interest, because their flexibility enables rapid development of a diverse…
Delta-net: Real-time Network Verification Using Atoms
Alex Horn, Ali Kheradmand, Mukul R. Prasad
Real-time network verification promises to automatically detect violations of network-wide reachability invariants on the data plane. To be useful in practice, these violations nee…