R. Soulé
2 references under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.
Avenir: Managing data plane diversity with control plane synthesis
E. H. Campbell and others (2021) · NSDI
P4v: Practical verification for programmable data planes
J. Liu and others (2018) · Proceedings of the 2018 Conference of the ACM Special Interest Group on Data Communication