@inproceedings {201568,
	author = {Leonid Ryzhyk and Nikolaj Bj{\o}rner and Marco Canini and Jean-Baptiste Jeannin and Cole Schlesinger and Douglas B. Terry and George Varghese},
	title = {Correct by Construction Networks Using Stepwise Refinement},
	booktitle = {14th USENIX Symposium on Networked Systems Design and Implementation (NSDI 17)},
	year = {2017},
	isbn = {978-1-931971-37-9},
	address = {Boston, MA},
	pages = {683--698},
	url = {https://www.usenix.org/conference/nsdi17/technical-sessions/presentation/ryzhyk},
	publisher = {USENIX Association},
	month = mar
}
@inproceedings {186186,
	author = {Masoud Saeida Ardekani and Douglas B. Terry},
	title = {A {Self-Configurable} {Geo-Replicated} Cloud Storage System},
	booktitle = {11th USENIX Symposium on Operating Systems Design and Implementation (OSDI 14)},
	year = {2014},
	isbn = { 978-1-931971-16-4},
	address = {Broomfield, CO},
	pages = {367--381},
	url = {https://www.usenix.org/conference/osdi14/technical-sessions/presentation/ardekani},
	publisher = {USENIX Association},
	month = oct
}
