Dragos Dumitrescu
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
5
Active years
2016–2024
Best venue rank
A*
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | NetSoft | Towards automatic exploitation of programmable networks. | Mihai-Valentin Dumitru, Dragos Dumitrescu, Costin Raiciu |
| 2022 | NSDI | An edge-queued datagram service for all datacenter traffic. | Vladimir Andrei Olteanu, Haggai Eran, Dragos Dumitrescu, Adrian Popa, Cristi Baciu, Mark Silberstein, Georgios Nikolaidis, Mark Handley, Costin Raiciu |
| 2020 | SIGCOMM | bf4: towards bug-free P4 programs. | Dragos Dumitrescu, Radu Stoenescu, Lorina Negreanu, Costin Raiciu |
| 2019 | NSDI | Dataplane equivalence and its applications. | Dragos Dumitrescu, Radu Stoenescu, Matei Popovici, Lorina Negreanu, Costin Raiciu |
| 2018 | SIGCOMM | Equivalence and its applications to network verification. | Dragos Dumitrescu, Radu Stoenescu, Matei Popovici, Lorina Negreanu, Costin Raiciu |
| 2018 | SIGCOMM | Debugging P4 programs with vera. | Radu Stoenescu, Dragos Dumitrescu, Matei Popovici, Lorina Negreanu, Costin Raiciu |
| 2017 | SIMULTECH | Novel Approach of Deriving Operational Procedures for a Complex Research Facility. | Nicolae E. Marinica, Dragos Dumitrescu |
| 2016 | LANMAN | OpenStack networking for humans: Symbolic execution to the rescue. | Radu Stoenescu, Dragos Dumitrescu, Costin Raiciu |