Dynamic Property Enforcement in Programmable Data Planes - Neves, Miguel; Huffaker, Bradley; Levchenko, Kirill; Barcellos, Marinho (IEEE/ACM transactions on networking, 2021)
Keywords: Computer bugs; Computer languages; Electronic devices; Monitoring; Monitors; network debugging; Power consumption; programmable networks; Programmers; Programming; Programming languages; Protocols; Run time (computers); Runtime; SDN