Show simple item record

dc.contributor.author
May, Roman
dc.contributor.author
El-Hassany, Ahmed
dc.contributor.author
Vanbever, Laurent
dc.contributor.author
Vechev, Martin
dc.date.accessioned
2017-10-17T10:40:02Z
dc.date.available
2017-10-06T04:22:42Z
dc.date.available
2017-10-17T10:40:02Z
dc.date.issued
2017
dc.identifier.isbn
978-1-4503-4947-5
en_US
dc.identifier.other
10.1145/3050220.3050230
en_US
dc.identifier.uri
http://hdl.handle.net/20.500.11850/192033
dc.language.iso
en
en_US
dc.publisher
ACM
en_US
dc.subject
Software Defined Networking
en_US
dc.subject
OpenFlow
en_US
dc.subject
Commutativity Specification
en_US
dc.subject
Happens-before
en_US
dc.subject
Nondeterminism
en_US
dc.title
BigBug: Practical concurrency analysis for SDN
en_US
dc.type
Conference Paper
ethz.book.title
Proceedings of the Symposium on SDN Research (SOSR '17)
en_US
ethz.pages.start
88
en_US
ethz.pages.end
94
en_US
ethz.event
Symposium on SDN Research (SOSR '17)
en_US
ethz.event.location
Santa Clara, CA, USA
en_US
ethz.event.date
April 3-4, 2017
en_US
ethz.identifier.scopus
ethz.publication.place
New York, NY
en_US
ethz.publication.status
published
en_US
ethz.leitzahl
ETH Zürich::00002 - ETH Zürich::00012 - Lehre und Forschung::00007 - Departemente::02150 - Dep. Informatik / Dep. of Computer Science::02664 - Inst. f. Programmiersprachen u. -systeme / Inst. Programming Languages and Systems::03948 - Vechev, Martin / Vechev, Martin
ethz.leitzahl
ETH Zürich::00002 - ETH Zürich::00012 - Lehre und Forschung::00007 - Departemente::02140 - Dep. Inf.technologie und Elektrotechnik / Dep. of Inform.Technol. Electrical Eng.::02640 - Inst. f. Technische Informatik und Komm. / Computer Eng. and Networks Lab.::09477 - Vanbever, Laurent / Vanbever, Laurent
ethz.leitzahl.certified
ETH Zürich::00002 - ETH Zürich::00012 - Lehre und Forschung::00007 - Departemente::02150 - Dep. Informatik / Dep. of Computer Science::02664 - Inst. f. Programmiersprachen u. -systeme / Inst. Programming Languages and Systems::03948 - Vechev, Martin / Vechev, Martin
ethz.leitzahl.certified
ETH Zürich::00002 - ETH Zürich::00012 - Lehre und Forschung::00007 - Departemente::02140 - Dep. Inf.technologie und Elektrotechnik / Dep. of Inform.Technol. Electrical Eng.::02640 - Inst. f. Technische Informatik und Komm. / Computer Eng. and Networks Lab.::09477 - Vanbever, Laurent / Vanbever, Laurent
ethz.date.deposited
2017-10-06T04:22:43Z
ethz.source
SCOPUS
ethz.eth
yes
en_US
ethz.availability
Metadata only
en_US
ethz.rosetta.installDate
2017-10-17T10:40:04Z
ethz.rosetta.lastUpdated
2018-11-05T22:10:38Z
ethz.rosetta.versionExported
true
ethz.COinS
ctx_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.atitle=BigBug:%20Practical%20concurrency%20analysis%20for%20SDN&rft.date=2017&rft.spage=88&rft.epage=94&rft.au=May,%20Roman&El-Hassany,%20Ahmed&Vanbever,%20Laurent&Vechev,%20Martin&rft.isbn=978-1-4503-4947-5&rft.genre=proceeding&rft_id=info:doi/978-1-4503-4947-5&rft.btitle=Proceedings%20of%20the%20Symposium%20on%20SDN%20Research%20(SOSR%20'17)
 Search via SFX

Files in this item

FilesSizeFormatOpen in viewer

There are no files associated with this item.

Publication type

Show simple item record