Campus Event Calendar

Event Entry

What and Who

Concurrent NetKAT: Modeling and analyzing stateful, concurrent networks

Alexandra Silva
Cornell University
SWS Distinguished Lecture Series

Alexandra Silva is a Professor at the Computer Science Department at Cornell University. Her main research focuses on the modular development of specification languages and algorithms for models of
computation. A lot of the work is developed from unifying perspective offered by coalgebra, a mathematical framework established in the last decades.
AG 1, AG 2, AG 3, INET, AG 4, AG 5, D6, SWS, RG1, MMCI  
AG Audience

Date, Time and Location

Thursday, 28 October 2021
60 Minutes
Virtual talk


We introduce Concurrent NetKAT (CNetKAT), an extension of the network programming language NetKAT with multiple packets and with operators to specify and reason about concurrency and state in a network

We provide a model of the language based on partially ordered multisets, well-established mathematical structures in the denotational semantics of concurrent languages. We prove that CNetKAT is a sound
and complete axiomatization of this model, and we illustrate the use of CNetKAT through various examples. More generally, CNetKAT is analgebraic framework to reason about programs with both local and
global state. In our model these are, respectively, the packets and the global variable store, but the scope of applications is much more general, including reasoning about hardware pipelines inside an SDN
switch. This is joint work with Jana Wagemaker, Nate Foster, Tobia Kappe, Dexter Kozen, and Jurriaan Rot.

Please contact the office team for link information,


Vera Schreiber
+49 631 9303 9603
--email hidden

Vera Schreiber, 10/26/2021 16:48 -- Created document.