44 citations · 44 across the 3 of their papers we have counts for
3 papers
cs.NI2024
Automated Optimization of Parameterized Data-Plane Programs with Parasol
Mary Hogan, Devon Loehr, John Sonchack +3
Programmable data planes allow for sophisticated applications that give operators the power to customize the functionality of their networks. Deploying these applications, however,…
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…