SymNet: static checking for stateful networks. - Radu Stoenescu; Matei Popovici; Lorina Negreanu; Costin Raiciu (HotMiddlebox@CoNEXT, 2013)

In-Net: in-network processing for the masses. - Radu Stoenescu; Vladimir Andrei Olteanu; Matei Popovici; Mohamed Ahmed 001; João Martins; Roberto Bifulco; Filipe Manco; Felipe Huici; Georgios Smaragdakis; Mark Handley; Costin Raiciu (EuroSys, 2015)

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

SymNet: Scalable symbolic execution for modern networks. - Radu Stoenescu; Matei Popovici; Lorina Negreanu; Costin Raiciu (SIGCOMM, 2016)

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)

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