Ali Kheradmand

According to our database, Ali Kheradmand authored at least 9 papers between 2017 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

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

Proceedings of the SIGCOMM '22: ACM SIGCOMM 2022 Conference, Amsterdam, The Netherlands, August 22, 2022

FORTIFY: Software Defined Data Plane Resilience.

Umar Farooq, Mubashir Anwar, Muhammad Haris Noor, Rashid Tahir, Santhosh Prabhu, Ali Kheradmand, Matthew Caesar, Fareed Zaffar

Proceedings of the IEEE Conference on Network Function Virtualization and Software Defined Networks, 2022

2020

Automatic Inference of High-Level Network Intents by Mining Forwarding Patterns.

Ali Kheradmand

Proceedings of the SOSR '20: Symposium on SDN Research, San Jose, CA, USA, March 3, 2020, 2020

Plankton: Scalable network configuration verification through model checking.

Santhosh Prabhu, Kuan-Yen Chou, Ali Kheradmand, Brighten Godfrey, Matthew Caesar

Proceedings of the 17th USENIX Symposium on Networked Systems Design and Implementation, 2020

Towards Verified Self-Driving Infrastructure.

Bingzhe Liu, Ali Kheradmand, Matthew Caesar, Philip Brighten Godfrey

Proceedings of the HotNets '20: The 19th ACM Workshop on Hot Topics in Networks, 2020

2019

A Precise and Expressive Lattice-theoretical Framework for Efficient Network Verification.

Alex Horn, Ali Kheradmand, Mukul R. Prasad

Proceedings of the 27th IEEE International Conference on Network Protocols, 2019

2018

P4K: A Formal Semantics of P4 and Applications.

Ali Kheradmand, Grigore Rosu

CoRR, 2018

2017

Delta-net: Real-time Network Verification Using Atoms.

Alex Horn, Ali Kheradmand, Mukul R. Prasad

Proceedings of the 14th USENIX Symposium on Networked Systems Design and Implementation, 2017

Predicting Network Futures with Plankton.

Santhosh Prabhu, Ali Kheradmand, Brighten Godfrey, Matthew Caesar

Proceedings of the First Asia-Pacific Workshop on Networking, 2017