Radu Stoenescu

Publication Activity (10 Years)

Years Active: 2013-2020
Publications (10 Years): 8

Top Topics

Symbolic Execution

Test Generation

Top Venues

SIGCOMM Posters and Demos

HotMiddlebox@CoNEXT

Publications

Dragos Dumitrescu, Radu Stoenescu, Lorina Negreanu, Costin Raiciu
bf4: towards bug-free P4 programs. SIGCOMM (2020)
Dragos Dumitrescu, Radu Stoenescu, Matei Popovici, Lorina Negreanu, Costin Raiciu
Dataplane equivalence and its applications. NSDI (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)
Radu Stoenescu, Matei Popovici, Lorina Negreanu, Costin Raiciu
SymNet: scalable symbolic execution for modern networks. CoRR (2016)
Radu Stoenescu, Dragos Dumitrescu, Costin Raiciu
OpenStack networking for humans: Symbolic execution to the rescue. LANMAN (2016)
Radu Stoenescu, Matei Popovici, Lorina Negreanu, Costin Raiciu
SymNet: Scalable symbolic execution for modern networks. SIGCOMM (2016)
Radu Stoenescu, Vladimir Andrei Olteanu, Matei Popovici, Mohamed Ahmed, João Martins, Roberto Bifulco, Filipe Manco, Felipe Huici, Georgios Smaragdakis, Mark Handley, Costin Raiciu
In-Net: in-network processing for the masses. EuroSys (2015)
Radu Stoenescu, Matei Popovici, Lorina Negreanu, Costin Raiciu
SymNet: static checking for stateful networks. HotMiddlebox@CoNEXT (2013)