@inproceedings(CCG08,
 author       = "S. Cherem and T. Chilimbi and S. Gulwani",
 year         = "2008",
 title        = "Inferring locks for atomic sections",
 booktitle    = "PLDI",
 pages        = "304--315",
 doi          = "10.1145/1375581.1375619",
)
@inproceedings(CCGGPRST02,
 author       = "A. Cimatti and E. Clarke and E. Giunchiglia and F. Giunchiglia and M. Pistore and M. Roveri and R. Sebastiani and A. Tacchella",
 year         = "2002",
 title        = "NuSMV 2: An OpenSource Tool for Symbolic Model Checking",
 booktitle    = "CAV",
 pages        = "359--364",
 doi          = "10.1007/3-540-45657-0\_29",
)
@article(francois:07,
 author       = "Pierre Francois and Olivier Bonaventure",
 year         = "2007",
 title        = "Avoiding transient loops during the convergence of link-state routing protocols",
 journal      = "IEEE/ACM Trans. on Networking",
 doi          = "10.1109/TNET.2007.902686",
)
@article(francois-bgp,
 author       = "Pierre Francois and Pierre-Alain Coste and Bruno Decraene and Olivier Bonaventure",
 year         = "2007",
 title        = "Avoiding disruptions during maintenance operations on {BGP} sessions",
 journal      = "IEEE Trans. on Network and Service Management",
 doi          = "10.1109/TNSM.2007.021102",
)
@inproceedings(francois-igp,
 author       = "Pierre Francois and Mike Shand and Olivier Bonaventure",
 year         = "2007",
 title        = "Disruption-free topology reconfiguration in {OSPF} Networks",
 booktitle    = "INFOCOM",
 doi          = "10.1109/INFCOM.2007.19",
)
@inproceedings(consensus,
 author       = "John P. John and Ethan Katz-Bassett and Arvind Krishnamurthy and Thomas Anderson and Arun Venkataramani",
 year         = "2008",
 title        = "Consensus Routing: The {Internet} as a Distributed System",
 booktitle    = "NSDI",
)
@inproceedings(kushman:r-bgp,
 author       = "Nate Kushman and Srikanth Kandula and Dina Katabi and Bruce M. Maggs",
 year         = "2007",
 title        = "R-{BGP}: staying connected In a connected world",
 booktitle    = "NSDI",
)
@article(raza:11,
 author       = "S. Raza and Y. Zhu and C-N. Chuah",
 year         = "2011",
 title        = "Graceful Network State Migrations",
 journal      = "IEEE/ACM Transactions on Networking",
 volume       = "19",
 number       = "4",
 doi          = "10.1109/TNET.2010.2097604",
)
@inproceedings(frenetic-consistent-updates,
 author       = "Mark Reitblatt and Nate Foster and Jennifer Rexford and Cole Schlesinger and David Walker",
 year         = "2012",
 title        = "Abstractions for Network Update",
 booktitle    = "ACM {SIGCOMM} {C}onference on {C}ommunications {A}rchitectures, {P}rotocols and {A}pplications ({SIGCOMM}) , Helsinki, Finland",
 pages        = "323--334",
 doi          = "10.1145/2342356.2342427",
)
@inproceedings(SJB08,
 author       = "A. Solar-Lezama and C. Jones and R. Bod\'{\i }k",
 year         = "2008",
 title        = "Sketching concurrent data structures",
 booktitle    = "PLDI",
 pages        = "136--148",
 doi          = "10.1145/1379022.1375599",
)
@inproceedings(vanbever:11,
 author       = "Laurent Vanbever and Stefano Vissicchio and Cristel Pelsser and Pierre Francois and Olivier Bonaventure",
 year         = "2011",
 title        = "Seamless Network-Wide {IGP} Migration",
 booktitle    = "SIGCOMM",
 doi          = "10.1145/2018436.2018473",
)
@inproceedings(VY08,
 author       = "M. Vechev and E. Yahav",
 year         = "2008",
 title        = "Deriving linearizable fine-grained concurrent objects",
 booktitle    = "PLDI",
 pages        = "125--135",
 doi          = "10.1145/1375581.1375598",
)
@inproceedings(VYY10,
 author       = "M. Vechev and E. Yahav and G. Yorsh",
 year         = "2010",
 title        = "Abstraction-guided synthesis of synchronization",
 booktitle    = "POPL",
 pages        = "327--338",
 doi          = "10.1145/1706299.1706338",
)