Provably Correct Networks

Información del proyecto

CORNET

Identificador del acuerdo de subvención: 758815

DOI

10.3030/758815

Proyecto cerrado

Fecha de la firma de la CE 18 Septiembre 2017

Fecha de inicio 1 Enero 2018

Fecha de finalización 30 Junio 2023

Financiado con arreglo a

• EXCELLENT SCIENCE - European Research Council (ERC)

Coste total

€ 1 325 000,00

Aportación de la UE

€ 1 325 000,00

Coordinado por

UNIVERSITATEA POLITEHNICA DIN BUCURESTI
Romania

CORDIS proporciona enlaces a los documentos públicos y las publicaciones de los proyectos de los programas marco HORIZONTE.

Los enlaces a los documentos y las publicaciones de los proyectos del Séptimo Programa Marco, así como los enlaces a algunos tipos de resultados específicos, como conjuntos de datos y «software», se obtienen dinámicamente de OpenAIRE .

Resultado final

Open Research Data Pilot (1)

Data management plan

Data management plan for the Open Research Data Pilot program.

Publicaciones

Conference proceedings (10)

FlexOS: making OS isolation flexible

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

Equivalence and its applications to network verification

Autores: Dragos Dumitrescu, Radu Stoenescu, Matei Popovici, Lorina Negreanu, Costin Raiciu
Publicado en: Proceedings of the ACM SIGCOMM 2018 Conference on Posters and Demos, Edición 2019, 2018, Página(s) 21-23, ISBN 9781450359153
Editor: ACM
DOI: 10.1145/3234200.3234224

Nephele: Extending Virtualization Environments for Cloning Unikernel-based VMs

Autores: Costin Lupu, Andrei Albisoru, Radu Nichita, Doru Blanzeanu, Mihai Pogonaru, Razvan Deaconescu, Costin Raiciu
Publicado en: EuroSys '23: Proceedings of the Eighteenth European Conference on Computer Systems, Edición 2023, 2023
Editor: ACM
DOI: 10.1145/3552326.3587454

Debugging P4 programs with vera

Autores: Radu Stoenescu, Dragos Dumitrescu, Matei Popovici, Lorina Negreanu, Costin Raiciu
Publicado en: Proceedings of the 2018 Conference of the ACM Special Interest Group on Data Communication - SIGCOMM '18, 2018, Página(s) 518-532, ISBN 9781-450355674
Editor: ACM Press
DOI: 10.1145/3230543.3230548

Dataplane equivalence and its applications

Autores: Dragos Dumitrescu, Radu Stoenescu, Matei Popovici, Lorina Negreanu, and Costin Raiciu
Publicado en: USENIX Symposium on Networked Systems Design and Implementation, Edición 2019, 2019
Editor: Usenix

Can we exploit buggy P4 programs?

Autores: Mihai Valentin Dumitru, Dragos Dumitrescu, Costin Raiciu
Publicado en: Proceedings of the Symposium on SDN Research, Edición 2020, 2020, Página(s) 62-68, ISBN 9781-450371018
Editor: ACM
DOI: 10.1145/3373360.3380836

bf4 - towards bug-free P4 programs

Autores: Dragos Dumitrescu, Radu Stoenescu, Lorina Negreanu, Costin Raiciu
Publicado en: Proceedings of the Annual conference of the ACM Special Interest Group on Data Communication on the applications, technologies, architectures, and protocols for computer communication, Edición 2020, 2020, Página(s) 571-585, ISBN 9781-450379557
Editor: ACM
DOI: 10.1145/3387514.3405888

An edge-queued datagram service for all datacenter traffic

Autores: Vlad Olteanu, Haggai Eran, Dragos Dumitrescu, Adrian Popa, Cristi Baciu, Mark Silberstein, Georgios Nikolaidis, Mark Handley, Costin Raiciu
Publicado en: 19th USENIX Symposium on Networked Systems Design and Implementation (NSDI 22), 2022
Editor: Usenix

FlexOS: Towards Flexible OS Isolation

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

Loupe: Driving the Development of OS Compatibility Layers

Autores: Hugo Lefeuvre, Gaulthier Gain, Vlad Badoiu, Daniel Dinca, Vlad-Radu Schiller, Costin Raiciu, Felipe Huici, Pierre Olivier
Publicado en: ASPLOS, Edición 2024, 2024
Editor: ACM