Skip to main content
Aller à la page d’accueil de la Commission européenne (s’ouvre dans une nouvelle fenêtre)
français français
CORDIS - Résultats de la recherche de l’UE
CORDIS

Provably Correct Networks

CORDIS fournit des liens vers les livrables publics et les publications des projets HORIZON.

Les liens vers les livrables et les publications des projets du 7e PC, ainsi que les liens vers certains types de résultats spécifiques tels que les jeux de données et les logiciels, sont récupérés dynamiquement sur OpenAIRE .

Livrables

Data management plan (s’ouvre dans une nouvelle fenêtre)

Data management plan for the Open Research Data Pilot program.

Publications

FlexOS: making OS isolation flexible (s’ouvre dans une nouvelle fenêtre)

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

Equivalence and its applications to network verification (s’ouvre dans une nouvelle fenêtre)

Auteurs: Dragos Dumitrescu, Radu Stoenescu, Matei Popovici, Lorina Negreanu, Costin Raiciu
Publié dans: Proceedings of the ACM SIGCOMM 2018 Conference on Posters and Demos, Numéro 2019, 2018, Page(s) 21-23, ISBN 9781450359153
Éditeur: ACM
DOI: 10.1145/3234200.3234224

Nephele: Extending Virtualization Environments for Cloning Unikernel-based VMs (s’ouvre dans une nouvelle fenêtre)

Auteurs: Costin Lupu, Andrei Albisoru, Radu Nichita, Doru Blanzeanu, Mihai Pogonaru, Razvan Deaconescu, Costin Raiciu
Publié dans: EuroSys '23: Proceedings of the Eighteenth European Conference on Computer Systems, Numéro 2023, 2023
Éditeur: ACM
DOI: 10.1145/3552326.3587454

Debugging P4 programs with vera (s’ouvre dans une nouvelle fenêtre)

Auteurs: Radu Stoenescu, Dragos Dumitrescu, Matei Popovici, Lorina Negreanu, Costin Raiciu
Publié dans: Proceedings of the 2018 Conference of the ACM Special Interest Group on Data Communication - SIGCOMM '18, 2018, Page(s) 518-532, ISBN 9781-450355674
Éditeur: ACM Press
DOI: 10.1145/3230543.3230548

Dataplane equivalence and its applications

Auteurs: Dragos Dumitrescu, Radu Stoenescu, Matei Popovici, Lorina Negreanu, and Costin Raiciu
Publié dans: USENIX Symposium on Networked Systems Design and Implementation, Numéro 2019, 2019
Éditeur: Usenix

Can we exploit buggy P4 programs? (s’ouvre dans une nouvelle fenêtre)

Auteurs: Mihai Valentin Dumitru, Dragos Dumitrescu, Costin Raiciu
Publié dans: Proceedings of the Symposium on SDN Research, Numéro 2020, 2020, Page(s) 62-68, ISBN 9781-450371018
Éditeur: ACM
DOI: 10.1145/3373360.3380836

bf4 - towards bug-free P4 programs (s’ouvre dans une nouvelle fenêtre)

Auteurs: Dragos Dumitrescu, Radu Stoenescu, Lorina Negreanu, Costin Raiciu
Publié dans: Proceedings of the Annual conference of the ACM Special Interest Group on Data Communication on the applications, technologies, architectures, and protocols for computer communication, Numéro 2020, 2020, Page(s) 571-585, ISBN 9781-450379557
Éditeur: ACM
DOI: 10.1145/3387514.3405888

An edge-queued datagram service for all datacenter traffic

Auteurs: Vlad Olteanu, Haggai Eran, Dragos Dumitrescu, Adrian Popa, Cristi Baciu, Mark Silberstein, Georgios Nikolaidis, Mark Handley, Costin Raiciu
Publié dans: 19th USENIX Symposium on Networked Systems Design and Implementation (NSDI 22), 2022
Éditeur: Usenix

FlexOS: Towards Flexible OS Isolation (s’ouvre dans une nouvelle fenêtre)

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

Loupe: Driving the Development of OS Compatibility Layers

Auteurs: Hugo Lefeuvre, Gaulthier Gain, Vlad Badoiu, Daniel Dinca, Vlad-Radu Schiller, Costin Raiciu, Felipe Huici, Pierre Olivier
Publié dans: ASPLOS, Numéro 2024, 2024
Éditeur: ACM

Recherche de données OpenAIRE...

Une erreur s’est produite lors de la recherche de données OpenAIRE

Aucun résultat disponible

Mon livret 0 0