Dragos Dumitrescu

Publication Activity (10 Years)

Years Active: 2016-2024
Publications (10 Years): 13

Top Topics

Symbolic Execution

Top Venues

SIGCOMM Posters and Demos

Publications

Mihai-Valentin Dumitru, Dragos Dumitrescu, Costin Raiciu
Towards automatic exploitation of programmable networks. NetSoft (2024)
Adrian Popa, Dragos Dumitrescu, Mark Handley, Georgios Nikolaidis, Jeongkeun Lee, Costin Raiciu
Implementing packet trimming support in hardware. CoRR (2022)
Vladimir Andrei Olteanu, Haggai Eran, Dragos Dumitrescu, Adrian Popa, Cristi Baciu, Mark Silberstein, Georgios Nikolaidis, Mark Handley, Costin Raiciu
An edge-queued datagram service for all datacenter traffic. NSDI (2022)
Dragos Dumitrescu, Radu Stoenescu, Lorina Negreanu, Costin Raiciu
bf4: towards bug-free P4 programs. SIGCOMM (2020)
Mihai Valentin Dumitru, Dragos Dumitrescu, Costin Raiciu
Can we exploit buggy P4 programs? SOSR (2020)
Dragos Dumitrescu, Radu Stoenescu, Matei Popovici, Lorina Negreanu, Costin Raiciu
Dataplane equivalence and its applications. NSDI (2019)
Dragos Dumitrescu, Costin-Anton Boiangiu
A Study of Image Upsampling and Downsampling Filters. Comput. 8 (2) (2019)
Radu Stoenescu, Dragos Dumitrescu, Matei Popovici, Lorina Negreanu, Costin Raiciu
Debugging P4 programs with vera. SIGCOMM (2018)
Dragos Dumitrescu, Radu Stoenescu, Matei Popovici, Lorina Negreanu, Costin Raiciu
Equivalence and its applications to network verification. SIGCOMM Posters and Demos (2018)
Nicolae E. Marinica, Dragos Dumitrescu
Novel Approach of Deriving Operational Procedures for a Complex Research Facility. SIMULTECH (2017)
Dragos Dumitrescu, Ioan-Mihail Stan, Emil Simion
Steganography techniques. IACR Cryptol. ePrint Arch. 2017 (2017)
Radu Stoenescu, Dragos Dumitrescu, Costin Raiciu
OpenStack networking for humans: Symbolic execution to the rescue. LANMAN (2016)
Dragos Dumitrescu, Mihai Carabas
Generic Data Synchronization Algorithm in Distributed Systems. IESS (2016)