C. Schlesinger

3 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.

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

NetKAT: Semantic foundations for networks

C. J. Anderson and others (2014) · ACM SIGPLAN Notices

P4: Programming protocol-independent packet processors

P. Bosshart and others (2014) · ACM SIGCOMM Computer Communication Review