SDNRacer: Concurrency Analysis for Software-Defined Networks - Research Collection

Metadata only

Author

El-Hassany, Ahmed

Miserez, Jeremie

Bielik, Pavol

Vanbever, Laurent

Vechev, Martin

Date

2016

Type

Conference Paper

Citations

Cited 7 times in Web of Science

ETH Bibliography

yes

Altmetrics

Publication status

published

External links

https://doi.org/10.1145/2908080.2908124

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 7 times in Web of Science

ETH Bibliography

yes

Altmetrics