@comment{{This file has been generated by bib2bib 1.97}}
@comment{{Command line: bib2bib -ob mjr-conference.bib -oc mjr-conference.keys -c '(mjr:"yes") & ($type="INPROCEEDINGS") & !(note:"Invited")' mjr.bib}}
@inproceedings{frenetic-hotnets, author = {Mark Reitblatt and Nate Foster and Jennifer Rexford and David Walker}, title = {Consistent Updates for Software-Defined Networks: Change You Can Believe In }, booktitle = {ACM {SIGCOMM} {W}orkshop on {H}ot {T}opics in {N}etworks ({HotNets}), Cambridge, MA}, month = nov, year = 2011, mjr = {yes}, slides = { /papers/consistent-updates-hotnets11-slides.pdf }, pdf = { /papers/consistent-updates-hotnets11.pdf } }
@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 } }
@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 } }
@inproceedings{acl2-labview, author = {Kaufmann, Matt and Kornerup, Jacob and Reitblatt, Mark}, title = {Formal verification of LabVIEW programs using the ACL2 Theorem Prover}, booktitle = {Proceedings of the Eighth International Workshop on the ACL2 Theorem Prover and its Applications}, series = {ACL2 '09}, year = {2009}, isbn = {9781-60558-742-4}, location = {Boston, Massachusetts}, pages = {82--89}, numpages = {8}, doi = {http://doi.acm.org/10.1145/1637837.1637851}, acmid = {1637851}, publisher = {ACM}, address = {New York, NY, USA}, keywords = {ACL2, LabVIEW, formal verification, translator}, pdf = { /papers/acl2-labview.pdf }, slides = { /papers/acl2-labview-slides.pdf }, mjr = {yes} }
@inproceedings{preach, author = {Bingham, Brad and Bingham, Jesse and Paula, Flavio M. de and Erickson, John and Singh, Gaurav and Reitblatt, Mark}, title = {Industrial Strength Distributed Explicit State Model Checking}, booktitle = {Proceedings of the 2010 Ninth International Workshop on Parallel and Distributed Methods in Verification, and Second International Workshop on High Performance Computational Systems Biology}, series = {PDMC-HIBI '10}, year = {2010}, isbn = {978-0-7695-4265-2}, pages = {28--36}, numpages = {9}, doi = {http://dx.doi.org/10.1109/PDMC-HiBi.2010.13}, acmid = {1936116}, publisher = {IEEE Computer Society}, address = {Washington, DC, USA}, keywords = {Explicit State Model Checking, Distributed Model Checking, Murphi}, mjr = {yes} }
This file was generated by bibtex2html 1.97.