Fix with P6: Verifying Programmable Switches at Runtime

Shukla, Apoorv; Hudemann, Kevin Nico; Vági, Zsolt; Hügerich, Lily; Smaragdakis, Georgios; Hecker, Artur; Schmid, Stefan; Feldmann, Anja

doi:10.1109/INFOCOM42981.2021.9488772

Item

ITEM ACTIONSEXPORT

Add to Basket

Please note that a newer version of this item is available:
https://pure.mpg.de/pubman/item/item_3349539_2

DetailsSummary

Fix with P6: Verifying Programmable Switches at Runtime

Shukla, A., Hudemann, K. N., Vági, Z., Hügerich, L., Smaragdakis, G., Hecker, A., et al. (2021). Fix with P6: Verifying Programmable Switches at Runtime. In IEEE INFOCOM 2021 (pp. 1-10). Piscataway, NJ: IEEE. doi:10.1109/INFOCOM42981.2021.9488772.

Item is Released

show all hide all

Basic

show hide

Item Permalink: https://hdl.handle.net/21.11116/0000-0009-7430-E Version Permalink: https://hdl.handle.net/21.11116/0000-0009-7431-D

Genre: Conference Paper

Latex : Fix with {P6}: {V}erifying Programmable Switches at Runtime

Files

show Files

Locators

show

Creators

show

hide

Creators:
Shukla, Apoorv¹, Author
Hudemann, Kevin Nico¹, Author
Vági, Zsolt¹, Author
Hügerich, Lily¹, Author
Smaragdakis, Georgios¹, Author
Hecker, Artur¹, Author
Schmid, Stefan¹, Author
Feldmann, Anja², Author

Affiliations:
1External Organizations, ou_persistent22
2Internet Architecture, MPI for Informatics, Max Planck Society, ou_2489697

Content

show

Details

show

hide

Language(s): eng - English

Dates: Published Online: 2021

Publication Status: Published online

Pages: -

Publishing info: -

Table of Contents: -

Rev. Type: -

Identifiers: DOI: 10.1109/INFOCOM42981.2021.9488772
BibTex Citekey: Shukla_INFOCOM21

Degree: -

Event

show

hide

Title: IEEE Conference on Computer Communications

Place of Event: Vancouver, Canada

Start-/End Date: 2021-05-10 - 2021-05-13

Legal Case

show

Project information

show hide

Project name : ResolutioNet

Grant ID : 679158

Funding program : Horizon 2020 (H2020)

Funding organization : European Commission (EC)

Source 1

show

hide

Title: IEEE INFOCOM 2021

Subtitle : IEEE Conference on Computer Communications

Abbreviation : INFOCOM 2021

Source Genre: Proceedings

Creator(s):

Affiliations:

Publ. Info: Piscataway, NJ : IEEE

Pages: - Volume / Issue: - Sequence Number: - Start / End Page: 1 - 10 Identifier: ISBN: 978-1-6654-0325-2