mjr-conference.bib

@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.