Скачать или смотреть ACM SIGCOMM 2018: Main-Conference Session 9 (Network Verification)

ACM SIGCOMM 2018

Vigadó Concert Hall, Budapest, Hungary

August 23, 2018

https://conferences.sigcomm.org/sigco...

0:33 Main-Conference Session 9: Network Verification; Session Chair: Ming Zhang (Alibaba, China)

0:58 Control Plane Compression; Ryan Beckett, Aarti Gupta (Princeton, USA), Ratul Mahajan (Intentionet, USA), David Walker (Princeton, USA)

29:24 p4v: Practical Verification for Programmable Data Planes; Jed Liu (Barefoot Networks), William Hallahan (Yale University), Cole Schlesinger, Milad Sarif, Jeongkeun Lee (Barefoot Networks), Robert Soule (Università della Svizzera italiana), Han Wang, Calin Cascaval (Barefoot Networks), Nick McKeown (Stanford University), Nate Foster (Cornell University)

52:40 Microboxes: High Performance NFV with Customizable, Asynchronous TCP Stacks and Dynamic Subscriptions; Guyue Liu, Yuxin Ren, Mykola Yurchenko (GWU, USA), K.K. Ramakrishnan (UCR, USA), Timothy Wood (GWU, USA)

1:19:46 Debugging P4 Programs With Vera; Radu Stoenescu, Dragos Dumitrescu, Matei Popovici, Lorina Negreanu, Costin Raiciu (UPB, Romania)