2 citations · 2 across the 1 of their papers we have counts for
2 papers
cs.SE2020★ 2 cited
Towards Runtime Verification of Programmable Switches
Apoorv Shukla, Kevin Hudemann, Zsolt Vági +5
Is it possible to patch software bugs in P4 programs without human involvement? We show that this is partially possible in many cases due to advances in software testing and the st…
cs.NI2019
Consistent SDNs through Network State Fuzzing
Apoorv Shukla, Said Jawad Saidi, Stefan Schmid +3
The conventional wisdom is that a software-defined network (SDN) operates under the premise that the logically centralized control plane has an accurate representation of the actua…