Fix with P6: Verifying Programmable Switches at Runtime

Apoorv Shukla, Kevin Nico Hudemann, Zsolt Vági, Lily Hügerich, Georgios Smaragdakis, Artur Hecker, Stefan Schmid 0001, Anja Feldmann. Fix with P6: Verifying Programmable Switches at Runtime. In 40th IEEE Conference on Computer Communications, INFOCOM 2021, Vancouver, BC, Canada, May 10-13, 2021. pages 1-10, IEEE, 2021. [doi]

Authors

Apoorv Shukla

This author has not been identified. Look up 'Apoorv Shukla' in Google

Kevin Nico Hudemann

This author has not been identified. Look up 'Kevin Nico Hudemann' in Google

Zsolt Vági

This author has not been identified. Look up 'Zsolt Vági' in Google

Lily Hügerich

This author has not been identified. Look up 'Lily Hügerich' in Google

Georgios Smaragdakis

This author has not been identified. Look up 'Georgios Smaragdakis' in Google

Artur Hecker

This author has not been identified. Look up 'Artur Hecker' in Google

Stefan Schmid 0001

This author has not been identified. Look up 'Stefan Schmid 0001' in Google

Anja Feldmann

This author has not been identified. Look up 'Anja Feldmann' in Google