SwitchV
Kinan Dak Albab, Jonathan DiLorenzo, S. Heule, Ali Kheradmand, Steffen Smolka, Konstantin Weitz, Muhammad Timarzi, Jiaqi Gao, Minlan Yu
Abstract
Increasing demand on computer networks continuously pushes manufacturers to incorporate novel features and capabilities into their switches at an ever-accelerating pace. However, the traditional approach to switch development relies on informal specifications and handcrafted tests to ensure reliability, which are tedious and slow to maintain and update, effectively putting feature velocity at odds with reliability.
Topics & Concepts
PaceReliability (semiconductor)Computer scienceOddsFeature (linguistics)Reliability engineeringEngineeringMachine learningGeographyPhilosophyPower (physics)Quantum mechanicsLogistic regressionPhysicsLinguisticsGeodesySoftware-Defined Networks and 5GSoftware Testing and Debugging TechniquesSoftware System Performance and Reliability