Matches in SemOpenAlex for { <https://semopenalex.org/work/W2601726669> ?p ?o ?g. }
Showing items 1 to 56 of
56
with 100 items per page.
- W2601726669 endingPage "3" @default.
- W2601726669 startingPage "3" @default.
- W2601726669 abstract "Surveys reveal that network outages are prevalent, and that many outages take hours to resolve, resulting in significant lost revenue. Many bugs are caused by errors in configuration files which are programmed using arcane, low-level languages, akin to machine code. Taking our cue from program and hardware verification, we suggest fresh approaches. I will first describe a geometric model of network forwarding called Header Space. While header space analysis is similar to finite state machine verification, we exploit domain-specific structure to scale better than off-the shelf model checkers. Next, I show how to exploit physical symmetry to scale network verification for large data centers. While Emerson and Sistla showed how to exploit symmetry for model checking in 1996, they exploited symmetry on the logical Kripke structure. While header space models allow us to verify the forwarding tables in routers, there are also routing protocols such as BGP that build the forwarding tables. We show to go from header space verification to what we call control space verification to proactively catch latent bugs in BGP configurations. I will end with a vision for what we call Network Design Automation to build a suite of tools for networks inspired by the Electronic Design Automation Industry. (With collaborators at CMU, Edinburgh, MSR, Stanford, and UCLA.)" @default.
- W2601726669 created "2017-04-07" @default.
- W2601726669 creator A5003989352 @default.
- W2601726669 date "2016-10-03" @default.
- W2601726669 modified "2023-09-23" @default.
- W2601726669 title "Network verification: when Clarke meets Cerf" @default.
- W2601726669 doi "https://doi.org/10.5555/3077629.3077632" @default.
- W2601726669 hasPublicationYear "2016" @default.
- W2601726669 type Work @default.
- W2601726669 sameAs 2601726669 @default.
- W2601726669 citedByCount "0" @default.
- W2601726669 crossrefType "proceedings-article" @default.
- W2601726669 hasAuthorship W2601726669A5003989352 @default.
- W2601726669 hasConcept C120314980 @default.
- W2601726669 hasConcept C165696696 @default.
- W2601726669 hasConcept C31258907 @default.
- W2601726669 hasConcept C38652104 @default.
- W2601726669 hasConcept C41008148 @default.
- W2601726669 hasConcept C48105269 @default.
- W2601726669 hasConcept C74172769 @default.
- W2601726669 hasConceptScore W2601726669C120314980 @default.
- W2601726669 hasConceptScore W2601726669C165696696 @default.
- W2601726669 hasConceptScore W2601726669C31258907 @default.
- W2601726669 hasConceptScore W2601726669C38652104 @default.
- W2601726669 hasConceptScore W2601726669C41008148 @default.
- W2601726669 hasConceptScore W2601726669C48105269 @default.
- W2601726669 hasConceptScore W2601726669C74172769 @default.
- W2601726669 hasLocation W26017266691 @default.
- W2601726669 hasOpenAccess W2601726669 @default.
- W2601726669 hasPrimaryLocation W26017266691 @default.
- W2601726669 hasRelatedWork W1697123834 @default.
- W2601726669 hasRelatedWork W1897046817 @default.
- W2601726669 hasRelatedWork W1965705785 @default.
- W2601726669 hasRelatedWork W2040259387 @default.
- W2601726669 hasRelatedWork W2054075353 @default.
- W2601726669 hasRelatedWork W2105229722 @default.
- W2601726669 hasRelatedWork W2109155911 @default.
- W2601726669 hasRelatedWork W2111760587 @default.
- W2601726669 hasRelatedWork W2122695394 @default.
- W2601726669 hasRelatedWork W2138890930 @default.
- W2601726669 hasRelatedWork W2464760071 @default.
- W2601726669 hasRelatedWork W2469896418 @default.
- W2601726669 hasRelatedWork W2497710620 @default.
- W2601726669 hasRelatedWork W2521536125 @default.
- W2601726669 hasRelatedWork W2528188859 @default.
- W2601726669 hasRelatedWork W2970475754 @default.
- W2601726669 hasRelatedWork W2981644358 @default.
- W2601726669 hasRelatedWork W3045021821 @default.
- W2601726669 hasRelatedWork W3106010819 @default.
- W2601726669 hasRelatedWork W2184460067 @default.
- W2601726669 isParatext "false" @default.
- W2601726669 isRetracted "false" @default.
- W2601726669 magId "2601726669" @default.
- W2601726669 workType "article" @default.