Provably Correct Networks

Projektinformationen

CORNET

ID Finanzhilfevereinbarung: 758815

DOI

10.3030/758815

Projekt abgeschlossen

EK-Unterschriftsdatum 18 September 2017

Startdatum 1 Januar 2018

Enddatum 30 Juni 2023

Finanziert unter

• EXCELLENT SCIENCE - European Research Council (ERC)

Gesamtkosten

€ 1 325 000,00

EU-Beitrag

€ 1 325 000,00

Koordiniert durch

UNIVERSITATEA POLITEHNICA DIN BUCURESTI
Romania

CORDIS bietet Links zu öffentlichen Ergebnissen und Veröffentlichungen von HORIZONT-Projekten.

Links zu Ergebnissen und Veröffentlichungen von RP7-Projekten sowie Links zu einigen Typen spezifischer Ergebnisse wie Datensätzen und Software werden dynamisch von OpenAIRE abgerufen.

Leistungen

Open Research Data Pilot (1)

Data management plan

Data management plan for the Open Research Data Pilot program.

Veröffentlichungen

Conference proceedings (10)

FlexOS: making OS isolation flexible

Autoren: Hugo Lefeuvre, Vlad Badoiu, Ştefan Teodorescu, Pierre Olivier, Tiberiu Mosnoi, Răzvan Deaconescu, Felipe Huici, Costin Raiciu
Veröffentlicht in: HotOS '21: Proceedings of the Workshop on Hot Topics in Operating Systems, 2021
Herausgeber: ACM
DOI: 10.1145/3458336.3465292

Equivalence and its applications to network verification

Autoren: Dragos Dumitrescu, Radu Stoenescu, Matei Popovici, Lorina Negreanu, Costin Raiciu
Veröffentlicht in: Proceedings of the ACM SIGCOMM 2018 Conference on Posters and Demos, Ausgabe 2019, 2018, Seite(n) 21-23, ISBN 9781450359153
Herausgeber: ACM
DOI: 10.1145/3234200.3234224

Nephele: Extending Virtualization Environments for Cloning Unikernel-based VMs

Autoren: Costin Lupu, Andrei Albisoru, Radu Nichita, Doru Blanzeanu, Mihai Pogonaru, Razvan Deaconescu, Costin Raiciu
Veröffentlicht in: EuroSys '23: Proceedings of the Eighteenth European Conference on Computer Systems, Ausgabe 2023, 2023
Herausgeber: ACM
DOI: 10.1145/3552326.3587454

Debugging P4 programs with vera

Autoren: Radu Stoenescu, Dragos Dumitrescu, Matei Popovici, Lorina Negreanu, Costin Raiciu
Veröffentlicht in: Proceedings of the 2018 Conference of the ACM Special Interest Group on Data Communication - SIGCOMM '18, 2018, Seite(n) 518-532, ISBN 9781-450355674
Herausgeber: ACM Press
DOI: 10.1145/3230543.3230548

Dataplane equivalence and its applications

Autoren: Dragos Dumitrescu, Radu Stoenescu, Matei Popovici, Lorina Negreanu, and Costin Raiciu
Veröffentlicht in: USENIX Symposium on Networked Systems Design and Implementation, Ausgabe 2019, 2019
Herausgeber: Usenix

Can we exploit buggy P4 programs?

Autoren: Mihai Valentin Dumitru, Dragos Dumitrescu, Costin Raiciu
Veröffentlicht in: Proceedings of the Symposium on SDN Research, Ausgabe 2020, 2020, Seite(n) 62-68, ISBN 9781-450371018
Herausgeber: ACM
DOI: 10.1145/3373360.3380836

bf4 - towards bug-free P4 programs

Autoren: Dragos Dumitrescu, Radu Stoenescu, Lorina Negreanu, Costin Raiciu
Veröffentlicht 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, Ausgabe 2020, 2020, Seite(n) 571-585, ISBN 9781-450379557
Herausgeber: ACM
DOI: 10.1145/3387514.3405888

An edge-queued datagram service for all datacenter traffic

Autoren: Vlad Olteanu, Haggai Eran, Dragos Dumitrescu, Adrian Popa, Cristi Baciu, Mark Silberstein, Georgios Nikolaidis, Mark Handley, Costin Raiciu
Veröffentlicht in: 19th USENIX Symposium on Networked Systems Design and Implementation (NSDI 22), 2022
Herausgeber: Usenix

FlexOS: Towards Flexible OS Isolation

Autoren: Hugo Lefeuvre, Vlad Badoiu, Alexander Jung, Stefan Lucian Teodorescu, Sebastian Rauch, Felipe Huici, Costin Raiciu, Pierre Olivier
Veröffentlicht in: ASPLOS '22: Proceedings of the 27th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, 2022
Herausgeber: ACM
DOI: 10.1145/3503222.3507759

Loupe: Driving the Development of OS Compatibility Layers

Autoren: Hugo Lefeuvre, Gaulthier Gain, Vlad Badoiu, Daniel Dinca, Vlad-Radu Schiller, Costin Raiciu, Felipe Huici, Pierre Olivier
Veröffentlicht in: ASPLOS, Ausgabe 2024, 2024
Herausgeber: ACM