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.

 

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

Formal Methods for Network Performance Analysis., , и . NSDI, стр. 645-661. USENIX Association, (2023)SNAP: Stateful Network-Wide Abstractions for Packet Processing., , , , и . SIGCOMM, стр. 29-43. ACM, (2016)SNAP: Stateful Network-Wide Abstractions for Packet Processing., , , , и . CoRR, (2015)dcPIM: near-optimal proactive datacenter transport., , и . SIGCOMM, стр. 53-65. ACM, (2022)Petr4: formal foundations for p4 data planes., , , , , , , , , и . Proc. ACM Program. Lang., 5 (POPL): 1-32 (2021)DBVal: Validating P4 Data Plane Runtime Behavior., , , , , и . SOSR, стр. 122-134. ACM, (2021)A Scalable VPN Gateway for Multi-Tenant Cloud Services., , , , , и . Comput. Commun. Rev., 48 (1): 49-55 (2018)Toward formally verifying congestion control behavior., , , , и . SIGCOMM, стр. 1-16. ACM, (2021)Elastic Switch Programming with P4All., , , , , и . HotNets, стр. 168-174. ACM, (2020)HotCocoa: Hardware Congestion Control Abstractions., , , и . HotNets, стр. 108-114. ACM, (2017)