|
@inproceedings{, author = {Ahmed El-Hassany and Jeremie Miserez and Pavol Bielik and Laurent Vanbever and Martin Vechev}, title = {iRacer: Concurrency Analysis for Software-Defined Networks}, address = {Santa Barbara, CA, USA}, booktitle = {ACM PLDI}, month = {Jun}, year = {2016} }