1. Anoud Alshnakat , Didrik Lundberg , Roberto Guanciale , Mads Dam , and Karl Palmskog . 2022 . HOL4P4: semantics for a verified data plane . In Proceedings of the 5th International Workshop on P4 in Europe. 39–45 . Anoud Alshnakat, Didrik Lundberg, Roberto Guanciale, Mads Dam, and Karl Palmskog. 2022. HOL4P4: semantics for a verified data plane. In Proceedings of the 5th International Workshop on P4 in Europe. 39–45.
2. Carolyn Jane Anderson , Nate Foster , Arjun Guha , Jean-Baptiste Jeannin , Dexter Kozen , Cole Schlesinger , and David Walker . 2014. NetKAT: Semantic foundations for networks. Acm sigplan notices, 49, 1 ( 2014 ), 113–126. Carolyn Jane Anderson, Nate Foster, Arjun Guha, Jean-Baptiste Jeannin, Dexter Kozen, Cole Schlesinger, and David Walker. 2014. NetKAT: Semantic foundations for networks. Acm sigplan notices, 49, 1 (2014), 113–126.
3. A Systematic Review of Load Balancing Techniques in Software-Defined Networking
4. Ayush Bhardwaj , Zhenyu Zhou , and Theophilus A Benson . 2021 . A Comprehensive Study of Bugs in Software Defined Networks . In 2021 51st Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN). 101–115 . Ayush Bhardwaj, Zhenyu Zhou, and Theophilus A Benson. 2021. A Comprehensive Study of Bugs in Software Defined Networks. In 2021 51st Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN). 101–115.
5. Type-level programming with match types