From post

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

 

Другие публикации лиц с тем же именем

Modular SDN Programming with Pyretic, , , , и . USENIX ;login, (октября 2013)SPN OS: Managing network services with virtual network objects., , , , , и . NFV-SDN, стр. 149-155. IEEE, (2015)Petr4: formal foundations for p4 data planes., , , , , , , , , и . Proc. ACM Program. Lang., 5 (POPL): 1-32 (2021)Machine-verified network controllers., , и . PLDI, стр. 483-494. ACM, (2013)Frenetic: a network programming language., , , , , , и . ICFP, стр. 279-291. ACM, (2011)Forwarding and Routing With Packet Subscriptions., , , , , и . IEEE/ACM Trans. Netw., 30 (6): 2464-2479 (2022)How to Avoid Making a Billion-Dollar Mistake: Type-Safe Data Plane Programming with SafeP4., , , , и . ECOOP, том 134 из LIPIcs, стр. 12:1-12:28. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2019)Leapfrog: certified equivalence for protocol parsers., , , , и . PLDI, стр. 950-965. ACM, (2022)Specifying and Verifying the Correctness of Dynamic Software Updates., , , , и . VSTTE, том 7152 из Lecture Notes in Computer Science, стр. 278-293. Springer, (2012)Abstractions for Software-defined Networks, , и . Commun. ACM, 57 (10): 86--95 (сентября 2014)