Efficient synthesis of network updates. McClurg, J.; Hojjat, H.; Cerný, P.; and 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.
Efficient synthesis of network updates [link]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