Ali Kheradmand
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
4
Active years
2017–2022
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2022 | SIGCOMM | 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 |
| 2020 | HOTNETS | Towards Verified Self-Driving Infrastructure. | Bingzhe Liu, Ali Kheradmand, Matthew Caesar, Philip Brighten Godfrey |
| 2020 | NSDI | Plankton: Scalable network configuration verification through model checking. | Santhosh Prabhu, Kuan-Yen Chou, Ali Kheradmand, Brighten Godfrey, Matthew Caesar |
| 2019 | ICNP | A Precise and Expressive Lattice-theoretical Framework for Efficient Network Verification. | Alex Horn, Ali Kheradmand, Mukul R. Prasad |
| 2017 | NSDI | Delta-net: Real-time Network Verification Using Atoms. | Alex Horn, Ali Kheradmand, Mukul R. Prasad |