SDNRacer: Concurrency Analysis for Software-Defined Networks

Thumbnail
Metadata only
Author
El-Hassany, Ahmed
Miserez, Jeremie
Bielik, Pavol
Vanbever, Laurent
Vechev, Martin
Show all
Date
2016
Type
  • Conference Paper
Publication status
published
External links
Search via SFX
Editor
Krintz, Chandra
Berger, Emery
Book title
Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation
Pages / Article No.
402 - 415
Publisher
ACM
Event
37th ACM SIGPLAN Conference on Programming Language Design and Implementation, Santa Barbara, CA, USA, June 13-17, 2016
Subject
Software Defined Networking; OpenFlow; Commutativity Specification; Happens-before; Nondeterminism
Organisational unit
03948 - Vechev, Martin / Vechev, Martin  
09477 - Vanbever, Laurent / Vanbever, Laurent  
More
Show all metadata
Citations
Cited 4 times in Web of Science
Cited 2 times in Scopus
ETH Bibliography
yes
Altmetrics