Skip to main content
European Commission logo
polski polski
CORDIS - Wyniki badań wspieranych przez UE
CORDIS

Provably Correct Networks

Rezultaty

Data management plan

Data management plan for the Open Research Data Pilot program.

Publikacje

FlexOS: making OS isolation flexible

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

Equivalence and its applications to network verification

Autorzy: Dragos Dumitrescu, Radu Stoenescu, Matei Popovici, Lorina Negreanu, Costin Raiciu
Opublikowane w: Proceedings of the ACM SIGCOMM 2018 Conference on Posters and Demos, Numer 2019, 2018, Strona(/y) 21-23, ISBN 9781450359153
Wydawca: ACM
DOI: 10.1145/3234200.3234224

Nephele: Extending Virtualization Environments for Cloning Unikernel-based VMs

Autorzy: Costin Lupu, Andrei Albisoru, Radu Nichita, Doru Blanzeanu, Mihai Pogonaru, Razvan Deaconescu, Costin Raiciu
Opublikowane w: EuroSys '23: Proceedings of the Eighteenth European Conference on Computer Systems, Numer 2023, 2023
Wydawca: ACM
DOI: 10.1145/3552326.3587454

Debugging P4 programs with vera

Autorzy: Radu Stoenescu, Dragos Dumitrescu, Matei Popovici, Lorina Negreanu, Costin Raiciu
Opublikowane w: Proceedings of the 2018 Conference of the ACM Special Interest Group on Data Communication - SIGCOMM '18, 2018, Strona(/y) 518-532, ISBN 9781-450355674
Wydawca: ACM Press
DOI: 10.1145/3230543.3230548

Dataplane equivalence and its applications

Autorzy: Dragos Dumitrescu, Radu Stoenescu, Matei Popovici, Lorina Negreanu, and Costin Raiciu
Opublikowane w: USENIX Symposium on Networked Systems Design and Implementation, Numer 2019, 2019
Wydawca: Usenix

Can we exploit buggy P4 programs?

Autorzy: Mihai Valentin Dumitru, Dragos Dumitrescu, Costin Raiciu
Opublikowane w: Proceedings of the Symposium on SDN Research, Numer 2020, 2020, Strona(/y) 62-68, ISBN 9781-450371018
Wydawca: ACM
DOI: 10.1145/3373360.3380836

bf4 - towards bug-free P4 programs

Autorzy: Dragos Dumitrescu, Radu Stoenescu, Lorina Negreanu, Costin Raiciu
Opublikowane w: Proceedings of the Annual conference of the ACM Special Interest Group on Data Communication on the applications, technologies, architectures, and protocols for computer communication, Numer 2020, 2020, Strona(/y) 571-585, ISBN 9781-450379557
Wydawca: ACM
DOI: 10.1145/3387514.3405888

An edge-queued datagram service for all datacenter traffic

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

FlexOS: Towards Flexible OS Isolation

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

Loupe: Driving the Development of OS Compatibility Layers

Autorzy: Hugo Lefeuvre, Gaulthier Gain, Vlad Badoiu, Daniel Dinca, Vlad-Radu Schiller, Costin Raiciu, Felipe Huici, Pierre Olivier
Opublikowane w: ASPLOS, Numer 2024, 2024
Wydawca: ACM

Wyszukiwanie danych OpenAIRE...

Podczas wyszukiwania danych OpenAIRE wystąpił błąd

Brak wyników