Skip to main content
CORDIS - Forschungsergebnisse der EU
CORDIS

Provably Correct Networks

Leistungen

Data management plan

Data management plan for the Open Research Data Pilot program.

Veröffentlichungen

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

Suche nach OpenAIRE-Daten ...

Bei der Suche nach OpenAIRE-Daten ist ein Fehler aufgetreten

Es liegen keine Ergebnisse vor