Sign in to confirm you’re not a bot
This helps protect our community. Learn more

SIGCOMM'23 Technical Session 3: Well Tested

ACM SIGCOMM
1.94K subscribers
<__slot-el>
<__slot-el>
175 views 1 year ago
September 11, 2023, 2:45PM - 3:45PM Columbia University, New York City 0:00 Fabian Ruffy, P4Testgen: An Extensible Test Oracle For P4-16 12:33 Qiao Xiang, Beyond a Centralized Verifier: Scaling Data Plane Checking via Distributed, On-Device Verification 24:58 Kaihui Gao, DONS: Fast and Affordable Discrete Event Network Simulation with Automatic Parallelization 38:37 Hyojoon Kim, Hydra: Effective Runtime Network Verification 50:54 Mini panel ...more
...more
SIGCOMM'23 Technical Session 3: Well Tested
1Likes
175Views
2023Oct 14
September 11, 2023, 2:45PM - 3:45PM Columbia University, New York City 0:00 Fabian Ruffy, P4Testgen: An Extensible Test Oracle For P4-16 12:33 Qiao Xiang, Beyond a Centralized Verifier: Scaling Data Plane Checking via Distributed, On-Device Verification 24:58 Kaihui Gao, DONS: Fast and Affordable Discrete Event Network Simulation with Automatic Parallelization 38:37 Hyojoon Kim, Hydra: Effective Runtime Network Verification 50:54 Mini panel

Follow along using the transcript.

ACM SIGCOMM

1.94K subscribers