Autor der Publikation

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

Formal Methods for Network Performance Analysis., , und . NSDI, Seite 645-661. USENIX Association, (2023)SNAP: Stateful Network-Wide Abstractions for Packet Processing., , , , und . SIGCOMM, Seite 29-43. ACM, (2016)SNAP: Stateful Network-Wide Abstractions for Packet Processing., , , , und . CoRR, (2015)dcPIM: near-optimal proactive datacenter transport., , und . SIGCOMM, Seite 53-65. ACM, (2022)Petr4: formal foundations for p4 data planes., , , , , , , , , und . Proc. ACM Program. Lang., 5 (POPL): 1-32 (2021)DBVal: Validating P4 Data Plane Runtime Behavior., , , , , und . SOSR, Seite 122-134. ACM, (2021)A Scalable VPN Gateway for Multi-Tenant Cloud Services., , , , , und . Comput. Commun. Rev., 48 (1): 49-55 (2018)Toward formally verifying congestion control behavior., , , , und . SIGCOMM, Seite 1-16. ACM, (2021)Enabling Programmable Transport Protocols in High-Speed NICs., , , , , und . NSDI, Seite 93-109. USENIX Association, (2020)Modular Switch Programming Under Resource Constraints., , , , und . NSDI, Seite 193-207. USENIX Association, (2022)