Efficient synthesis of network updates

Efficient synthesis of network updates. McClurg, J., Hojjat, H., Cerný, P., & Foster, N. In Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation, Portland, OR, USA, June 15-17, 2015, pages 196--207, 2015.

Paper doi bibtex

@inproceedings{DBLP:conf/pldi/McClurgHCF15,
  author    = {Jedidiah McClurg and
               Hossein Hojjat and
               Pavol Cern{\'{y}} and
               Nate Foster},
  title     = {Efficient synthesis of network updates},
  booktitle = {Proceedings of the 36th {ACM} {SIGPLAN} Conference on Programming
               Language Design and Implementation, Portland, OR, USA, June 15-17,
               2015},
  pages     = {196--207},
  year      = {2015},
  crossref  = {DBLP:conf/pldi/2015},
  url       = {http://doi.acm.org/10.1145/2737924.2737980},
  doi       = {10.1145/2737924.2737980},
  timestamp = {Fri, 05 Jun 2015 07:23:07 +0200},
  biburl    = {http://dblp.dagstuhl.de/rec/bib/conf/pldi/McClurgHCF15},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}

Downloads: 0

{"_id":"3DrLwxgsoDDrwbA95","bibbaseid":"mcclurg-hojjat-cern-foster-efficientsynthesisofnetworkupdates-2015","downloads":0,"creationDate":"2016-11-02T20:52:20.083Z","title":"Efficient synthesis of network updates","author_short":["McClurg, J.","Hojjat, H.","Cerný, P.","Foster, N."],"year":2015,"bibtype":"inproceedings","biburl":"http://dblp.org/pers/tb2/c/Cern=yacute=:Pavol","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Jedidiah"],"propositions":[],"lastnames":["McClurg"],"suffixes":[]},{"firstnames":["Hossein"],"propositions":[],"lastnames":["Hojjat"],"suffixes":[]},{"firstnames":["Pavol"],"propositions":[],"lastnames":["Cerný"],"suffixes":[]},{"firstnames":["Nate"],"propositions":[],"lastnames":["Foster"],"suffixes":[]}],"title":"Efficient synthesis of network updates","booktitle":"Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation, Portland, OR, USA, June 15-17, 2015","pages":"196--207","year":"2015","crossref":"DBLP:conf/pldi/2015","url":"http://doi.acm.org/10.1145/2737924.2737980","doi":"10.1145/2737924.2737980","timestamp":"Fri, 05 Jun 2015 07:23:07 +0200","biburl":"http://dblp.dagstuhl.de/rec/bib/conf/pldi/McClurgHCF15","bibsource":"dblp computer science bibliography, http://dblp.org","bibtex":"@inproceedings{DBLP:conf/pldi/McClurgHCF15,\n author = {Jedidiah McClurg and\n Hossein Hojjat and\n Pavol Cern{\\'{y}} and\n Nate Foster},\n title = {Efficient synthesis of network updates},\n booktitle = {Proceedings of the 36th {ACM} {SIGPLAN} Conference on Programming\n Language Design and Implementation, Portland, OR, USA, June 15-17,\n 2015},\n pages = {196--207},\n year = {2015},\n crossref = {DBLP:conf/pldi/2015},\n url = {http://doi.acm.org/10.1145/2737924.2737980},\n doi = {10.1145/2737924.2737980},\n timestamp = {Fri, 05 Jun 2015 07:23:07 +0200},\n biburl = {http://dblp.dagstuhl.de/rec/bib/conf/pldi/McClurgHCF15},\n bibsource = {dblp computer science bibliography, http://dblp.org}\n}\n\n","author_short":["McClurg, J.","Hojjat, H.","Cerný, P.","Foster, N."],"key":"DBLP:conf/pldi/McClurgHCF15","id":"DBLP:conf/pldi/McClurgHCF15","bibbaseid":"mcclurg-hojjat-cern-foster-efficientsynthesisofnetworkupdates-2015","role":"author","urls":{"Paper":"http://doi.acm.org/10.1145/2737924.2737980"},"downloads":0},"search_terms":["efficient","synthesis","network","updates","mcclurg","hojjat","cerný","foster"],"keywords":[],"authorIDs":[],"dataSources":["BdJrFhaou9dF6ELus"]}