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

Equivalence and its applications to network verification

Author(s): Dragos Dumitrescu, Radu Stoenescu, Matei Popovici, Lorina Negreanu, Costin Raiciu
Published in: Proceedings of the ACM SIGCOMM 2018 Conference on Posters and Demos, 2019, 2018, Page(s) 21-23, ISBN 9781450359153
Publisher: ACM
DOI: 10.1145/3234200.3234224

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, ISBN 9781-450355674
Publisher: ACM Press
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, 2019, 2019
Publisher: Usenix

Can we exploit buggy P4 programs?

Author(s): Mihai Valentin Dumitru, Dragos Dumitrescu, Costin Raiciu
Published in: Proceedings of the Symposium on SDN Research, 2020, 2020, Page(s) 62-68, ISBN 9781-450371018
Publisher: ACM
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, 2017, 2017, Page(s) 129-135, ISBN 9781-450355698
Publisher: ACM
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, 2020, 2020, Page(s) 571-585, ISBN 9781-450379557
Publisher: ACM
DOI: 10.1145/3387514.3405888