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.

Hydra: Effective Runtime Network Verification

Sundararajan Renganathan, Benny Rubin, HyoJoon Kim, Pier Luigi Ventre, Carmelo Cascone, Daniele Moro, Charles Chan, Nick McKeown, Nate Foster. Hydra: Effective Runtime Network Verification. In Henning Schulzrinne, Vishal Misra, Eddie Kohler, David A. Maltz, editors, Proceedings of the ACM SIGCOMM 2023 Conference, ACM SIGCOMM 2023, New York, NY, USA, 10-14 September 2023. pages 182-194, ACM, 2023. [doi]

Authors

Sundararajan Renganathan

This author has not been identified. Look up 'Sundararajan Renganathan' in Google

Benny Rubin

This author has not been identified. Look up 'Benny Rubin' in Google

HyoJoon Kim

This author has not been identified. Look up 'HyoJoon Kim' in Google

Pier Luigi Ventre

This author has not been identified. Look up 'Pier Luigi Ventre' in Google

Carmelo Cascone

This author has not been identified. Look up 'Carmelo Cascone' in Google

Daniele Moro

This author has not been identified. Look up 'Daniele Moro' in Google

Charles Chan

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