Browsing by Author "Levchenko, Kirill"

Now showing items 1-1 of 1

  • Dynamic property enforcement in programmable data planes

    Neves, Miguel; Huffaker, Bradley; Levchenko, Kirill; Barcellos, Marinho (2021)
    Network programmers can currently deploy an arbitrary set of protocols in forwarding devices through data plane programming languages such as P4. However, as any other type of software, P4 programs are subject to bugs and ...

Kirill Levchenko has 3 co-authors in Research Commons.