@comment{{This file has been generated by bib2bib 1.97}}
@comment{{Command line: bib2bib -ob mjr-recent.bib -oc mjr-recent.keys -c '(mjr:"yes") & (recent:"yes")' mjr.bib}}
@inproceedings{frenetic-sigcomm,
author = {Mark Reitblatt and Nate Foster and Jennifer Rexford and Cole Schlesinger and David Walker},
title = {Abstractions for Network Update},
booktitle = {ACM {SIGCOMM} Conference, Helsinki, Finland},
month = aug,
year = 2012,
mjr = {yes},
recent = {yes},
slides = { /papers/consistent-updates-sigcomm12-slides.pdf },
pdf = { /papers/consistent-updates-sigcomm12.pdf },
video = { http://conferences.sigcomm.org/sigcomm/2012/video/SIGCOMM-VII-02-AbstractionsForNetworkUpdate.mp4 },
doi = {http://dx.doi.org/10.1145/2342356.2342427}
}
@inproceedings{frenetic-pldi,
author = {Arjun Guha and Mark Reitblatt and Nate Foster},
title = {Machine-Verified Network Controllers},
booktitle = {ACM {SIGPLAN} {P}rogramming {L}anguages {D}esign and {I}mplementation ({PLDI}), Seattle, WA},
month = jun,
year = 2013,
mjr = {yes},
pdf = { /papers/verified-controllers-pldi13.pdf },
recent = {yes},
sources = { https://github.com/frenetic-lang/featherweight-openflow }
}
@article{overview-ieeecoms13,
author = {Nate Foster and
Michael J. Freedman and
Arjun Guha and
Rob Harrison and
Naga Praveen Katta and
Christopher Monsanto and
Joshua Reich and
Mark Reitblatt and
Jennifer Rexford and
Cole Schlesinger and
Alec Story and
David Walker},
title = {Languages for software-defined networks},
journal = {IEEE Communications Magazine},
volume = {51},
number = {2},
year = {2013},
pages = {128--134},
doi = {http://dx.doi.org/10.1109/MCOM.2013.6461197},
pdf = {http://frenetic-lang.org/publications/overview-ieeecoms13.pdf},
mjr = {yes},
recent = {yes}
}
@inproceedings{fattire-hotsdn,
author = {Mark Reitblatt and Marco Canini and Nate Foster and Arjun Guha},
title = {FatTire: Declarative Fault Tolerance for Software Defined
Networks},
booktitle = {ACM {SIGCOMM} {W}orkshop on {H}ot {T}opics in {S}oftware Defined {N}etworking ({HotSDN}), Hong Kong, HK},
month = aug,
year = 2013,
mjr = {yes},
recent = {yes},
pdf = { /papers/fault-tolerance-hotsdn13.pdf },
slides = { /papers/fault-tolerance-hotsdn13-slides.pdf },
sources = { http://github.com/frenetic-lang/fattire }
}
This file was generated by bibtex2html 1.97.