Radu Stoenescu

According to our database, Radu Stoenescu authored at least 8 papers between 2013 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2020

bf4: towards bug-free P4 programs.

Dragos Dumitrescu, Radu Stoenescu, Lorina Negreanu, Costin Raiciu

Proceedings of the SIGCOMM '20: Proceedings of the 2020 Annual conference of the ACM Special Interest Group on Data Communication on the applications, 2020

2019

Dataplane equivalence and its applications.

Dragos Dumitrescu, Radu Stoenescu, Matei Popovici, Lorina Negreanu, Costin Raiciu

Proceedings of the 16th USENIX Symposium on Networked Systems Design and Implementation, 2019

2018

Debugging P4 programs with vera.

Radu Stoenescu, Dragos Dumitrescu, Matei Popovici, Lorina Negreanu, Costin Raiciu

Proceedings of the 2018 Conference of the ACM Special Interest Group on Data Communication, 2018

Equivalence and its applications to network verification.

Dragos Dumitrescu, Radu Stoenescu, Matei Popovici, Lorina Negreanu, Costin Raiciu

Proceedings of the ACM SIGCOMM 2018 Conference on Posters and Demos, 2018

2016

SymNet: Scalable symbolic execution for modern networks.

Radu Stoenescu, Matei Popovici, Lorina Negreanu, Costin Raiciu

Proceedings of the ACM SIGCOMM 2016 Conference, Florianopolis, Brazil, August 22-26, 2016, 2016

OpenStack networking for humans: Symbolic execution to the rescue.

Radu Stoenescu, Dragos Dumitrescu, Costin Raiciu

Proceedings of the IEEE International Symposium on Local and Metropolitan Area Networks, 2016

2015

In-Net: in-network processing for the masses.

Radu Stoenescu, Vladimir Andrei Olteanu, Matei Popovici, Mohamed Ahmed, João Martins, Roberto Bifulco, Filipe Manco, Felipe Huici, Georgios Smaragdakis, Mark Handley, Costin Raiciu

Proceedings of the Tenth European Conference on Computer Systems, 2015

2013

SymNet: static checking for stateful networks.

Radu Stoenescu, Matei Popovici, Lorina Negreanu, Costin Raiciu

Proceedings of the 2013 workshop on Hot topics in middleboxes and network function virtualization, 2013