External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

p4v: practical verification for programmable data planes

Jed Liu, William Hallahan, Cole Schlesinger, Milad Sharif, Jeongkeun Lee, Robert Soulé, Han Wang, Calin Cascaval, Nick McKeown, Nate Foster. p4v: practical verification for programmable data planes. In Sergey Gorinsky, János Tapolcai, editors, Proceedings of the 2018 Conference of the ACM Special Interest Group on Data Communication, SIGCOMM 2018, Budapest, Hungary, August 20-25, 2018. pages 490-503, ACM, 2018. [doi]

Authors

Jed Liu

This author has not been identified. Look up 'Jed Liu' in Google

William Hallahan

This author has not been identified. Look up 'William Hallahan' in Google

Cole Schlesinger

This author has not been identified. Look up 'Cole Schlesinger' in Google

Milad Sharif

This author has not been identified. Look up 'Milad Sharif' in Google

Jeongkeun Lee

This author has not been identified. Look up 'Jeongkeun Lee' in Google

Robert Soulé

This author has not been identified. Look up 'Robert Soulé' in Google

Han Wang

This author has not been identified. Look up 'Han Wang' in Google

Calin Cascaval

This author has not been identified. Look up 'Calin Cascaval' in Google

Nick McKeown

This author has not been identified. Look up 'Nick McKeown' in Google

Nate Foster

This author has not been identified. It may be one of the following persons: Look up 'Nate Foster' in Google
runs on