SDNRacer: concurrency analysis for software-defined networks

Article Details
Title:	SDNRacer: concurrency analysis for software-defined networks
Article URLs:	https://doi.org/10.1145/2908080.2908124
Alternative Article URLs:
Authors:	Ahmed El-Hassany	ETH Zurich, Department of Information Technology and Electrical Engineering
	Jeremie Miserez	ETH Zurich, Department of Computer Science
	Pavol Bielik	ETH Zurich, Department of Computer Science
	Laurent Vanbever	ETH Zurich, Department of Information Technology and Electrical Engineering
	Martin T. Vechev	ETH Zurich, Department of Computer Science
Sharing:	Unknown
Verification:	Authors have not verified information
Artifact Evaluation Badge:	Artifacts for some papers are reviewed by an artifact evaluation, reproducibility, or similarly named committee. This is one such paper that passed review. awarded
Artifact URLs:	https://github.com/nsg-ethz/sdnracer
Artifact Correspondence Email Addresses:
NSF Award Numbers:
DBLP Key:	conf/pldi/El-HassanyMBVV16
Author Comments:

ACM Programming Language Design and Implementation, PLDI 2016