Generic Data Synchronization Algorithm in Distributed Systems. - Dragos Dumitrescu; Mihai Carabas (IESS, 2016)

OpenStack networking for humans: Symbolic execution to the rescue. - Radu Stoenescu; Dragos Dumitrescu; Costin Raiciu (LANMAN, 2016)

Novel Approach of Deriving Operational Procedures for a Complex Research Facility. - Nicolae E. Marinica; Dragos Dumitrescu (SIMULTECH, 2017)

Steganography techniques. - Dragos Dumitrescu; Ioan-Mihail Stan; Emil Simion (IACR Cryptol. ePrint Arch., 2017)

Equivalence and its applications to network verification. - Dragos Dumitrescu; Radu Stoenescu; Matei Popovici; Lorina Negreanu; Costin Raiciu (SIGCOMM Posters and Demos, 2018)

Debugging P4 programs with vera. - Radu Stoenescu; Dragos Dumitrescu; Matei Popovici; Lorina Negreanu; Costin Raiciu (SIGCOMM, 2018)

Dataplane equivalence and its applications. - Dragos Dumitrescu; Radu Stoenescu; Matei Popovici; Lorina Negreanu; Costin Raiciu (NSDI, 2019)

A Study of Image Upsampling and Downsampling Filters. - Dragos Dumitrescu; Costin-Anton Boiangiu (Comput., 2019)

bf4: towards bug-free P4 programs. - Dragos Dumitrescu; Radu Stoenescu; Lorina Negreanu; Costin Raiciu (SIGCOMM, 2020)

Can we exploit buggy P4 programs? - Mihai-Valentin Dumitru; Dragos Dumitrescu; Costin Raiciu (SOSR, 2020)

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 (NSDI, 2022)

Implementing packet trimming support in hardware. - Adrian Popa; Dragos Dumitrescu; Mark Handley; Georgios Nikolaidis; Jeongkeun Lee; Costin Raiciu (CoRR, 2022)

Towards automatic exploitation of programmable networks. - Mihai-Valentin Dumitru; Dragos Dumitrescu; Costin Raiciu (NetSoft, 2024)