references.bib

@String{ jan = "January" }
@String{ feb = "February" }
@String{ mar = "March" }
@String{ apr = "April" }
@String{ may = "May" }
@String{ jun = "June" }
@String{ jul = "July" }
@String{ aug = "August" }
@String{ sep = "September" }
@String{ oct = "October" }
@String{ nov = "November" }
@String{ dec = "December" }


@inproceedings{logical-crossbar,
  author = "James McCauley and Aurojit Panda and Martin Casado and Teemu Koponen and Scott Shenker",
  booktitle = "ONS",
  title = "Extending {SDN} to Large-Scale Networks",
  year = 2013
}


@InProceedings{netkat,
  author = 	 {Carolyn Jane Anderson and Nate Foster and Arjun Guha and Jean-Baptiste Jeannin and Dexter Kozen and Cole Schlesinger and David Walker},
  title = 	 {{NetKAT}: Semantic Foundations for Networks},
  booktitle = {POPL},
  year = 	 {2014},
  @pages = {113--126},
}


@article{openflow,
 author = {McKeown, Nick and Anderson, Tom and Balakrishnan, Hari and
           Parulkar, Guru and Peterson, Larry and Rexford, Jennifer and
           Shenker, Scott and Turner, Jonathan},
 title = {{OpenFlow}: Enabling Innovation in Campus Networks},
 journal = {SIGCOMM Computing Communications Review},
 volume = {38},
 number = {2},
 year = {2008},
 @pages = {69--74},
 doi = {http://doi.acm.org/10.1145/1355734.1355746},
}

@inproceedings {queries,
  author = {Srinivas Narayana and Mina Tahmasbi and Jennifer Rexford and David Walker},
  title = {Compiling Path Queries},
  booktitle = {NSDI},
  year = {2016},
  month = Mar,
  @pages = {207--222},
}

@inproceedings{narain:lisa05,
  author    = {Sanjai Narain},
  title     = {Network Configuration Management via Model Finding},
  booktitle = {LISA},
  @pages     = {155--168},
  month = dec,
  year      = {2005},
}

@Article{narain+:configassure,
  author = 	 {Sanjai Narain and Gary Levin and Sharad Malik and Vikram Kaul},
  title = 	 {Declarative Infrastructure Configuration Synthesis and Debugging},
  journal = 	 {Journal of Network Systems Management},
  year = 	 {2008},
  volume = 	 {16},
  number = 	 {3},
  month = oct,
  pages = 	 "235--258",
}

@InProceedings{fattire,
  author = 	 {Mark Reitblatt and Marco Canini and Nate Foster and Arjun Guha},
  title = 	 {{FatTire}: Declarative Fault Tolerance for Software Defined Networks.},
  booktitle = {HotSDN},
  year = 	 {2013},
  @month = aug,
  @pages = {109-114},
}

@Unpublished{ms-sdn,
  author = 	 {Mark Russinovich},
  title = 	 {Report from Open Networking Summit: Achieving Hyper-Scale with Software Defined Networking},
  note = 	 {See \url{https://azure.microsoft.com/blog/2015/06/17/report-from-open-networking-summit-achieving-hyper
        -scale-with-software-defined-networking/}},
  year = 	 {2015},
}

@article{gelade:complement-inter-re,
  author    = {Wouter Gelade and Frank Neven},
  title     = {Succinctness of the Complement and Intersection of Regular Expressions},
  journal   = {CoRR},
  volume    = {abs/0802.2869},
  year      = {2008},
}

@article{antimirov:rewriting-ere,
    author = {Valentin M. Antimirov and Peter D. Mosses},
    title = {Rewriting Extended Regular Expressions},
    journal = {Theoretical Computer Science},
    year = {1994},
    volume = {143},
    @pages = {195--209}
}

@inproceedings{foster:merlin,
  author    = {Robert Soul{\'{e}} and
               Shrutarshi Basu and
               Parisa Jalili Marandi and
               Fernando Pedone and
               Robert Kleinberg and
               Emin G{\"{u}}n Sirer and
               Nate Foster},
  title     = {Merlin: {A} Language for Provisioning Network Resources},
  booktitle   = {CoNEXT},
  year      = {2014},
  month = dec,
  @pages = {213-226},
}

@PhdThesis{feamster:thesis,
  author = 	 {Nick Feamster},
  title = 	 {Proactive Techniques for Correct and Predictable Internet Routing},
  school = 	 {Massachusetts Institute of Technology},
  year = 	 {2005},
}

@InProceedings{feamster+:rcc,
  author = 	 {Nick Feamster and Hari Balakrishnan},
  title = 	 {Detecting {BGP} Configuration Faults with Static Analysis},
  booktitle = {NSDI},
  year = 	 {2005},
  month = may,
  @pages = {43--56},
}

@Article{feamster+:bgp-prediction,
  author = 	 {Nick Feamster and Jennifer Rexford},
  title = 	 {Network-Wide Prediction of {BGP} Routes},
  journal = 	 {{IEEE/ACM} Transactions on Networking},
  year = 	 {2007},
  volume = 	 {15},
  number = 	 {2},
  @pages = 	 {253-266},
}

@inproceedings{bagpipe,
  author = {Konstantin Weitz and
               Doug Woos and
               Emina Torlak and
               Michael D. Ernst and
               Arvind Krishnamurthy and
               Zachary Tatlock},
  title = {Formal Semantics and Automated Verification for the Border Gateway Protocol},
  booktitle = {NetPL},
  year = {2016},
  month = mar,
}

@InProceedings{batfish,
  author = 	 {Ari Fogel and Stanley Fung and Luis Pedrosa and Meg Walraed-Sullivan and Ramesh Govindan and Ratul Mahajan and Todd Millstein},
  title = 	 {A General Approach to Network Configuration Analysis },
  booktitle = {NSDI},
  year = 	 {2015},
  month = mar,
  @pages = {469--483},
}

@InProceedings{arc,
  author = 	 {Aaron Gember-Jacobson and Raajay Viswanathan and Aditya Akella and Ratul Mahajan},
  title = 	 {Fast Control Plane Analysis Using an Abstract Representation},
  booktitle = {SIGCOMM},
  month = aug,
  year = 	 {2016},
}

@InBook{ipassure,
  author = 	 {Sanjai Narain and R. Talpade and Gary Levin},
  title = 	 {Guide to Reliable Internet Services and Applications},
  chapter = 	 {Network Configuration Validation},
  publisher = 	 {Springer},
  year = 	 {2010},
}

@inproceedings{dc-failure-study,
        Author = {Gill, Phillipa and Jain, Navendu and Nagappan, Nachiappan},
        Booktitle = {SIGCOMM},
        Title = {Understanding Network Failures in Data Centers: Measurement, Analysis, and Implications},
        Year = {2011},
        month = aug,
        @pages = {350--361},
}

@inproceedings{fattree,
 author = {Al-Fares, Mohammad and Loukissas, Alexander and Vahdat, Amin},
 title = {A Scalable, Commodity Data Center Network Architecture},
 booktitle = {SIGCOMM},
 year = {2008},
 @pages = {63--74},
 month = "August"
} 

@misc{bgp-in-dc,
 title = {Use of {BGP} for routing in large-scale data centers},
 author = {P. Lapukhov and A. Premji and J. Mitchell},
 howpublished = "Internet draft",
 month = aug,
 year = 2015,
 }

@inproceedings{mahajan+:bgp-misconfiguration,
 author = {Mahajan, Ratul and Wetherall, David and Anderson, Tom},
 title = {Understanding {BGP} Misconfiguration},
 booktitle = {SIGCOMM},
 year = {2002},
 month = aug,
 @pages = {3--16},
}

@misc{time-warner,
  author = 	 {M Anderson},
  title = 	 {Time Warner Cable Says Outages Largely Resolved},
  year = 	 2014,
  month = 	 aug,
  address = 	 {NY, NY},
  publisher = {Associated Press},
  howpublished = "\url{http://www.seattletimes.com/business/time-warner-cable-says-outages-largely-resolved}",
}

@Misc{routing-instability,
  author = 	 {J Farrar},
  title = 	 {C \& W Routing Instability},
  howpublished = {Nanog mail archives. \url{http://www.merit.edu/mail.archives/nanog/2001-04/msg002-9.html}},
  year = 	 {2001},
}

@Article{sdn-languages,
  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},
  year = 	 {2013},
  volume = 	 {51},
  number = 	 {2},
  month = feb,
  pages = 	 "128--134",
}

@misc{bgpmon,
 key = "bgpmon",
 title = {News and Press | {BGPM}on},
 howpublished = {\url{http://www.bgpmon.net/news-and-events/}},
 @note = "Retrieved 2016-01-26"
}

@misc{hatch,
 key = "hatch",
 title = {Hatch -- Create and share configurations},
 howpublished = "\url{http://www.hatchconfigs.com/}",
 @note = "Retrieved 2016-01-26"
}

@misc{thwack,
 key = "thwack",
 title = "configuration templates | thwack",
 howpublished = {\url{https://thwack.solarwinds.com/search.jspa?q=configuration+templates}},
 @note = "Retrieved 2016-01-26"
}

@inproceedings{mccauley2013extending,
  title={Extending {SDN} to large-scale networks},
  author={McCauley, James and Panda, Aurojit and Casado, Martin and Koponen, Teemu and Shenker, Scott},
  booktitle="Open Networking Summit",
  month = apr,
  year=2013,
}

@inproceedings{onos,
 author = {Berde, Pankaj and Gerola, Matteo and Hart, Jonathan and Higuchi, Yuta and Kobayashi, Masayoshi and Koide, Toshio and Lantz, Bob and O'Connor, Brian and Radoslavov, Pavlin and Snow, William and Parulkar, Guru},
 title = {{ONOS}: Towards an Open, Distributed {SDN} {OS}},
 booktitle = {HotSDN},
 year = {2014},
 month = aug,
 @pages = {1--6},
} 

@inproceedings{ethane,
 author = {Casado, Martin and Freedman, Michael J. and Pettit, Justin and Luo, Jianying and McKeown, Nick and Shenker, Scott},
 title = {Ethane: Taking Control of the Enterprise},
 booktitle = {SIGCOMM},
 year = {2007},
 month = aug,
}

@InProceedings{tarjan-dominance,
 author = {Lengauer, Thomas and Tarjan, Robert},
 title = {A Fast Algorithm for Finding Dominators in a Flowgraph},
 booktitle = {TOPLAS},
 month = jul,
 year = {1979},
 @pages = {121-141}
}

@InProceedings{regex-derivatives,
 author = {Owens, Scott and Reppy, John and Turon, Aaron},
 title = {Regular-expression Derivatives Re-examined},
 booktitle = {J. Funct. Program.},
 month = mar,
 year = {2009},
 @pages = {173--190},
}

@article{regex-complexity,
 author = {Gelade, Wouter and Neven, Frank},
 title = {Succinctness of the Complement and Intersection of Regular Expressions},
 journal = {ACM Trans. Comput. Logic},
 volume = {13},
 number = {1},
 month = jan,
 year = {2012},
 pages = {4:1--4:19},
} 

@inproceedings{route-aggregation,
 author = {Le, Franck and Xie, Geoffrey G. and Zhang, Hui},
 title = {On Route Aggregation},
 booktitle = {CoNEXT},
 year = {2011},
 month = dec,
 @pages = {6:1--6:12},
}

@inproceedings{igp-correctness1,
 author = {Griffin, Timothy G. and Wilfong, Gordon},
 title = {On the Correctness of {IBGP} Configuration},
 booktitle = {SIGCOMM},
 year = {2002},
 month = aug,
 @pages = {17--29},
}

@inproceedings{igp-correctness2,
    author = {Nick Feamster and Jared Winick and Jennifer Rexford},
    title = {A Model of {BGP} Routing for Network Engineering},
    booktitle = {SIGMETRICS},
    year = {2004},
    month = jun,
    @pages = {331--342},
}

@techreport{RFC2622,
  author = {C. Alaettinoglu and C. Villamizar and E. Gerich and D. Kessens and D. Meyer and T. Bates and D. Karrenberg and M. Terpstra},
  title = {Routing Policy Specification Language ({RPSL})},
  howpublished = {Internet Requests for Comments},
  type = {RFC},
  number = {2622},
  year = {1999},
  month = {June},
  issn = {2070-1721},
  publisher = {RFC Editor},
  institution = {RFC Editor},
  note = {\url{http://www.rfc-editor.org/rfc/rfc2622.txt}},

}

@techreport{RFC6020,
  author = {M. Bjorklund},
  title = {{YANG} - A Data Modeling Language for the Network Configuration Protocol {(NETCONF)}},
  howpublished = {Internet Requests for Comments},
  type = {RFC},
  number = {6020},
  year = {2010},
  month = {October},
  issn = {2070-1721},
  publisher = {RFC Editor},
  institution = {RFC Editor},
  url = {http://www.rfc-editor.org/rfc/rfc6020.txt},
  note = {\url{http://www.rfc-editor.org/rfc/rfc6020.txt}},
}

@techreport{RFC6241,
  author = {R. Enns and M. Bjorklund and J. Schoenwaelder and A. Bierman},
  title = {Network Configuration Protocol ({NETCONF})},
  howpublished = {Internet Requests for Comments},
  type = {RFC},
  number = {6241},
  year = {2011},
  month = {June},
  issn = {2070-1721},
  publisher = {RFC Editor},
  institution = {RFC Editor},
  url = {http://www.rfc-editor.org/rfc/rfc6241.txt},
  note = {\url{http://www.rfc-editor.org/rfc/rfc6241.txt}},
}

@InProceedings{frenetic,
  author = 	 {Nate Foster and Rob Harrison and Michael J. Freedman and Christopher Monsanto and Jennifer Rexford and Alec Story and David Walker},
  title = 	 {Frenetic: A Network Programming Language},
  booktitle = {ICFP},
  year = 	 {2011},
  @month = 	 sep,
}

@inproceedings{consistent-updates,
 author = {Reitblatt, Mark and Foster, Nate and Rexford, Jennifer and Schlesinger, Cole and Walker, David},
 title = {Abstractions for Network Update},
 booktitle = {SIGCOMM},
 year = {2012},
 @location = {Helsinki, Finland},
 @pages = {323--334},
 @publisher = {ACM},
 @address = {New York, NY, USA},
}

@PhdThesis{beckett:thesis,
  author = 	 {Ryan Beckett},
  title = 	 {Network Control Plane Synthesis and Verification},
  school = 	 {Princeton University},
  year = 2018,
  note = 	 {See \url{http://arks.princeton.edu/ark:/88435/dsp01d217qs28v}},
}

@InProceedings{pyretic,
  author = 	 {Chris Monsanto and Josh Reich and Nate Foster and Jen Rexford and David Walker},
  title = 	 {Composing Software-Defined Networks},
  booktitle = {NSDI},
  year = 	 2013,
  @month = 	 {April},
}

@inproceedings{netcore,
 author = {Monsanto, Christopher and Foster, Nate and Harrison, Rob and Walker, David},
 title = {A Compiler and Run-time System for Network Programming Languages},
 booktitle = {POPL},
 year = {2012},
 @isbn = {978-1-4503-1083-3},
 @pages = {217--230},
} 


@Article{kat,
  author = 	 {Dexter Kozen},
  title = 	 {Kleene algebra with tests},
  journal = 	 {Transactions on Programming Languages and Systems},
  year = 	 {1997},
  volume = 	 {19},
  number = 	 {3},
  @pages = 	 {427-443},
  month = 	 {May},
}

@inproceedings{abstract-propane,
 author = {Beckett, Ryan and Mahajan, Ratul and Millstein, Todd and Padhye, Jitendra and Walker, David},
 title = {Network Configuration Synthesis with Abstract Topologies},
 booktitle = {PLDI},
 year = {2017},
} 


@Misc{nsf-propane,
  author = 	 {Todd Millstein and George Varghese and David Walker},
  title = 	 {{NeTS: Medium: Collaborative Research: Network Configuration Synthesis: A Path to Practical Deployment}},
  howpublished = {\url{https://www.nsf.gov/awardsearch/showAward?AWD_ID=1703493}},
  month = 	 "July",
  year = 	 2017,
  note = 	 {{NSF CNS 1703493}},
}

@inproceedings{Gember-Jacobson:SOSP17,
 author = {Gember-Jacobson, Aaron and Akella, Aditya and Mahajan, Ratul and Liu, Hongqiang Harry},
 title = {Automatically Repairing Network Control Planes Using an Abstract Representation},
 booktitle = {SOSP},
 year = {2017},
 @isbn = {978-1-4503-5085-3},
 @pages = {359--373},
}