Radu Stoenescu

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2020
bf4: towards bug-free P4 programs.
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.
Proceedings of the 16th USENIX Symposium on Networked Systems Design and Implementation, 2019

2018
Debugging P4 programs with vera.
Proceedings of the 2018 Conference of the ACM Special Interest Group on Data Communication, 2018

Equivalence and its applications to network verification.
Proceedings of the ACM SIGCOMM 2018 Conference on Posters and Demos, 2018

2016
SymNet: Scalable symbolic execution for modern networks.
Proceedings of the ACM SIGCOMM 2016 Conference, Florianopolis, Brazil, August 22-26, 2016, 2016

OpenStack networking for humans: Symbolic execution to the rescue.
Proceedings of the IEEE International Symposium on Local and Metropolitan Area Networks, 2016

2015
In-Net: in-network processing for the masses.
Proceedings of the Tenth European Conference on Computer Systems, 2015

2013
SymNet: static checking for stateful networks.
Proceedings of the 2013 workshop on Hot topics in middleboxes and network function virtualization, 2013


  Loading...