1 citations · 1 across the 10 of their papers we have counts for
4 papers · 1 filter
Invariant Discovery for Networked Systems
Hongyu Hè, Alexander Krentsel, Sylvia Ratnasamy +1
Invariants, the relations expected to hold among measured signals of a network, underpin applications from verification to traffic generation, telemetry imputation, and input valid…
GATE: GPU-Accelerated Traffic Engineering for the WAN
Rahul Bothra, Alexander Krentsel, Saptarshi Mandal +4
Traffic engineering (TE) has become a crucial tool for enforcing routing policy and maintaining operational efficiency in large networks. Existing TE solutions pick an objective fu…
CrossCheck: Input Validation for WAN Control Systems
Alexander Krentsel, Rishabh Iyer, Isaac Keslassy +4
We present CrossCheck, a system that validates inputs to the Software-Defined Networking (SDN) controller in a Wide Area Network (WAN). By detecting incorrect inputs - often stemmi…
Managing Bandwidth: The Key to Cloud-Assisted Autonomous Driving
Alexander Krentsel, Peter Schafhalter, Joseph E. Gonzalez +3
Prevailing wisdom asserts that one cannot rely on the cloud for critical real-time control systems like self-driving cars. We argue that we can, and must. Following the trends of i…