flash: fast, consistent data plane verification for large-scale network settings (ts 5, sigcomm'22)
Published 1 year ago • 264 plays • Length 23:06Download video MP4
Download video MP3
Similar videos
-
18:14
meissa: scalable network testing for programmable data planes (ts 5, sigcomm'22)
-
9:41
beyond a centralized verifier: scaling data plane checking … on-device verification (sigcomm'23 s3)
-
19:54
fast in-network gray failure detection (ts 9, sigcomm'22)
-
19:47
printqueue: performance diagnosis via queue measurement in the data plane (ts 7, sigcomm'22)
-
20:25
predictable vfabric on informative data plane (ts 9, sigcomm'22)
-
7:53
hydra: effective runtime network verification (sigcomm'23 s3)
-
19:38
time-division tcp for reconfigurable data center networks (ts 1, sigcomm'22)
-
17:27
abm: active buffer management in datacenters (ts 1, sigcomm'22)
-
9:38
masking corruption packet losses in datacenter networks with link-local retrans. (sigcomm'23 s5)
-
16:54
relational network verification (sigcomm'24, paper 316)
-
10:40
datacenter networking (sigcomm'22 topic preview)
-
17:29
sigcomm 2020: session 4: probabilistic verification of network configurations
-
1:01:24
sigcomm'23 technical session 3: well tested
-
1:13:25
verifying network data planes
-
9:58
cellfusion: multipath vehicle-to-cloud video streaming with network coding … (sigcomm'23 s11)
-
9:10
ggfast: automating generation of flexible network traffic classifiers (sigcomm'23 s14)
-
9:53
fathom: understanding datacenter application network performance (sigcomm'23 s7)
-
19:12
continuous in-network round-trip time monitoring (ts 7, sigcomm'22)
-
9:19
lightyear: using modularity to scale bgp control plane verification (sigcomm'23 s2)