← Back to papers

2014 NSDI NSDI 2014

Software Dataplane Verification

Authors

Mihai Dobrescu , Katerina Argyraki

Related papers

Blizzard: Fast, Cloud-scale Block Storage for Cloud-oblivious Applications 2014

3D Tracking via Body Radio Reflections 2014

Circuit Switching Under the Radar with REACToR 2014

Aggregation and Degradation in JetStream: Streaming Analytics in the Wide Area 2014

I Know What Your Packet Did Last Hop: Using Packet Histories to Troubleshoot Networks 2014