Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Scalable verification of probabilistic networks., , , , , , and . PLDI, page 190-203. ACM, (2019)Guarded Kleene algebra with tests: verification of uninterpreted programs in nearly linear time., , , , , and . Proc. ACM Program. Lang., 4 (POPL): 61:1-61:28 (2020)SwitchV: automated SDN switch validation with P4 models., , , , , , , , and . SIGCOMM, page 365-379. ACM, (2022)SPN OS: Managing network services with virtual network objects., , , , , and . NFV-SDN, page 149-155. IEEE, (2015)A (Co)algebraic Approach to Programming and Verifying Computer Networks.. Cornell University, USA, (2019)Cantor meets Scott: Domain-Theoretic Foundations for Probabilistic Network Programming., , , , and . CoRR, (2016)Performance Annotations for Cloud Computing., , , , and . HotCloud, USENIX Association, (2017)Proof-Carrying Network Code., , , , , , , and . ACM Conference on Computer and Communications Security, page 1115-1129. ACM, (2019)Cantor meets scott: semantic foundations for probabilistic networks., , , , and . POPL, page 557-571. ACM, (2017)KATch: A Fast Symbolic Verifier for NetKAT., , , , , , , and . CoRR, (2024)