Radu Stoenescu
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
5
Active years
2013–2020
Best venue rank
A*
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 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 |
| 2016 | LANMAN | OpenStack networking for humans: Symbolic execution to the rescue. | Radu Stoenescu, Dragos Dumitrescu, Costin Raiciu |
| 2016 | SIGCOMM | SymNet: Scalable symbolic execution for modern networks. | Radu Stoenescu, Matei Popovici, Lorina Negreanu, Costin Raiciu |
| 2015 | EuroSys | In-Net: in-network processing for the masses. | Radu Stoenescu, Vladimir Andrei Olteanu, Matei Popovici, Mohamed Ahmed, Joo Martins, Roberto Bifulco, Filipe Manco, Felipe Huici, Georgios Smaragdakis, Mark Handley, Costin Raiciu |
| 2013 | CoNEXT | SymNet: static checking for stateful networks. | Radu Stoenescu, Matei Popovici, Lorina Negreanu, Costin Raiciu |