44 citations · 44 across the 2 of their papers we have counts for
2 papers
cs.NI2021★ 44 cited
Lucid: A Language for Control in the Data Plane
John Sonchack, Devon Loehr, Jennifer Rexford +1
Programmable switch hardware makes it possible to move fine-grained control logic inside the network data plane, improving performance for a wide range of applications. However, ap…
cs.NI2020
The Remaining Improbable: Toward Verifiable Network Services
Pamela Zave, Jennifer Rexford, John Sonchack
The trustworthiness of modern networked services is too important to leave to chance. We need to design these services with specific properties in mind, and verify that the propert…