Skip to main content

Provably Correct Networks

Deliverables

Data management plan

Data management plan for the Open Research Data Pilot program.

Searching for OpenAIRE data...

Publications

Debugging P4 programs with vera

Author(s): Radu Stoenescu, Dragos Dumitrescu, Matei Popovici, Lorina Negreanu, Costin Raiciu
Published in: Proceedings of the 2018 Conference of the ACM Special Interest Group on Data Communication - SIGCOMM '18, 2018, Page(s) 518-532
DOI: 10.1145/3230543.3230548

Dataplane equivalence and its applications

Author(s): Dragos Dumitrescu, Radu Stoenescu, Matei Popovici, Lorina Negreanu, and Costin Raiciu
Published in: USENIX Symposium on Networked Systems Design and Implementation, Issue 2019, 2019

Can we exploit buggy P4 programs?

Author(s): Mihai Valentin Dumitru, Dragos Dumitrescu, Costin Raiciu
Published in: Proceedings of the Symposium on SDN Research, Issue 2020, 2020, Page(s) 62-68
DOI: 10.1145/3373360.3380836

Integrating Verification and Repair into the Control Plane

Author(s): Aaron Gember-Jacobson, Costin Raiciu, Laurent Vanbever
Published in: Proceedings of the 16th ACM Workshop on Hot Topics in Networks, Issue 2017, 2017, Page(s) 129-135
DOI: 10.1145/3152434.3152439

bf4 - towards bug-free P4 programs

Author(s): Dragos Dumitrescu, Radu Stoenescu, Lorina Negreanu, Costin Raiciu
Published in: Proceedings of the Annual conference of the ACM Special Interest Group on Data Communication on the applications, technologies, architectures, and protocols for computer communication, Issue 2020, 2020, Page(s) 571-585
DOI: 10.1145/3387514.3405888