sigcomm 2020: session 4: probabilistic verification of network configurations
Published 3 years ago • 237 plays • Length 17:29Download video MP4
Download video MP3
Similar videos
-
18:33
sigcomm 2020: session 2: pint: probabilistic in-band network telemetry
-
18:01
probabilistic verification of network configurations
-
[icfp'24] green - icfp papers and events (sep 5th)
-
19:27
sigcomm 2020: accuracy, scalability, coverage – a practical configuration verifier on a global wan
-
18:23
sigcomm 2020: session 8: vtrace: automatic diagnostic system for persistent packet loss
-
17:28
sigcomm 2020: session 1: composing dataplane programs with µp4
-
18:24
sigcomm 2020: session 7: flow event telemetry on programmable data plane
-
23:51
sigcomm 2020 invited talk: the network as a programmable platform
-
9:38
masking corruption packet losses in datacenter networks with link-local retrans. (sigcomm'23 s5)
-
53:35
sigcomm 2020 keynote: lixia zhang: learning the art and science in internet protocol designs
-
27:19
nsdi '18 - netcomplete: practical network-wide configuration synthesis with autocompletion
-
20:56
sigcomm 2020: session 7: tea: enabling state intensive network functions on programmable switches
-
9:58
cellfusion: multipath vehicle-to-cloud video streaming with network coding … (sigcomm'23 s11)
-
14:50
sigcomm 2020: session 8: aeolus: a building block for proactive transport in datacenters
-
21:55
sigcomm 2020: session 5: server-driven video streaming for deep learning inference
-
19:59
sigcomm 2020: session 4: bf4: towards bug-free p4 programs
-
20:02
sigcomm 2020: session 3: routing on multiple optimality criteria
-
14:46
sigcomm 2020: session 3: pcf: provably resilient flexible routing
-
18:53
sigcomm 2020: session 14: interpreting deep learning-based networking systems
-
18:59
sigcomm 2020: session 11: microscope: queue-based performance diagnosis for network functions
-
16:58
sigcomm 2020: session 7: mantis: reactive programmable switches