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.

Petr4: formal foundations for p4 data planes

Ryan Doenges, Mina Tahmasbi Arashloo, Santiago Bautista, Alexander Chang, Newton Ni, Samwise Parkinson, Rudy Peterson, Alaia Solko-Breslin, Amanda Xu, Nate Foster. Petr4: formal foundations for p4 data planes. Proceedings of the ACM on Programming Languages, 5(POPL):1-32, 2021. [doi]

Authors

Ryan Doenges

This author has not been identified. Look up 'Ryan Doenges' in Google

Mina Tahmasbi Arashloo

This author has not been identified. Look up 'Mina Tahmasbi Arashloo' in Google

Santiago Bautista

This author has not been identified. Look up 'Santiago Bautista' in Google

Alexander Chang

This author has not been identified. Look up 'Alexander Chang' in Google

Newton Ni

This author has not been identified. Look up 'Newton Ni' in Google

Samwise Parkinson

This author has not been identified. Look up 'Samwise Parkinson' in Google

Rudy Peterson

This author has not been identified. Look up 'Rudy Peterson' in Google

Alaia Solko-Breslin

This author has not been identified. Look up 'Alaia Solko-Breslin' in Google

Amanda Xu

This author has not been identified. Look up 'Amanda Xu' 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