Delta-net: Real-time network verification using atoms A Horn, A Kheradmand, M Prasad 14th USENIX Symposium on Networked Systems Design and Implementation (NSDI …, 2017 | 108 | 2017 |
Plankton: Scalable network configuration verification through model checking S Prabhu, KY Chou, A Kheradmand, B Godfrey, M Caesar 17th {USENIX} Symposium on Networked Systems Design and Implementation …, 2020 | 87 | 2020 |
P4K: A formal semantics of P4 and applications A Kheradmand, G Rosu arXiv preprint arXiv:1804.01468, 2018 | 31 | 2018 |
Lockout: Efficient Testing for Deadlock Bugs A Kheradmand, B Kasikci, G Candea Workshop on Determinism and Correctness in Parallel Programming, 2014 | 20 | 2014 |
Automatic inference of high-level network intents by mining forwarding patterns A Kheradmand Proceedings of the Symposium on SDN Research, 27-33, 2020 | 19 | 2020 |
Network verification A Horn, A Kheradmand US Patent App. 15/610,590, 2018 | 18 | 2018 |
A precise and expressive lattice-theoretical framework for efficient network verification A Horn, A Kheradmand, MR Prasad 2019 IEEE 27th International Conference on Network Protocols (ICNP), 1-12, 2019 | 14 | 2019 |
Predicting network futures with plankton S Prabhu, A Kheradmand, B Godfrey, M Caesar Proceedings of the First Asia-Pacific Workshop on Networking, 92-98, 2017 | 14 | 2017 |
SwitchV: automated SDN switch validation with P4 models KD Albab, J DiLorenzo, S Heule, A Kheradmand, S Smolka, K Weitz, ... Proceedings of the ACM SIGCOMM 2022 Conference, 365-379, 2022 | 11 | 2022 |
Network analysis A Horn, A Kheradmand US Patent 10,439,926, 2019 | 11 | 2019 |
Towards verified self-driving infrastructure B Liu, A Kheradmand, M Caesar, PB Godfrey Proceedings of the 19th ACM Workshop on Hot Topics in Networks, 96-102, 2020 | 8 | 2020 |
Network property verification A Horn, A Kheradmand US Patent 10,574,582, 2020 | 7 | 2020 |
NETWORK VERIFICATION A Horn, MR Prasad, A Kheradmand US Patent App. 15/264,501, 2018 | 6 | 2018 |
A formal semantics of P4 and applications A Kheradmand University of Illinois at Urbana-Champaign, 2018 | 1 | 2018 |
FORTIFY: Software Defined Data Plane Resilience U Farooq, M Anwar, H Noor, R Tahir, S Prabhu, A Kheradmand, M Caesar, ... 2022 IEEE Conference on Network Function Virtualization and Software Defined …, 2022 | | 2022 |
Foundations for practical network verification A Kheradmand University of Illinois at Urbana-Champaign, 2021 | | 2021 |
Packet forwarding in a network device A Kheradmand, SPM Prabhu US Patent 11,184,282, 2021 | | 2021 |
A Framework for Mining High-Level Intents from Low-Level Network Behavior A Kheradmand, B Godfrey | | |