Export 2 results:
Filters: Author is Douglas B. Terry  [Clear All Filters]
Ryzhyk L, Bjørner N, Canini M, Jeannin J-B, Schlesinger C, Terry DB, Varghese G.  2017.  Correct by Construction Networks Using Stepwise Refinement. 14th USENIX Symposium on Networked Systems Design and Implementation (NSDI 17). :683--698.
Ardekani MSaeida, Terry DB.  2014.  A Self-Configurable Geo-Replicated Cloud Storage System. 11th USENIX Symposium on Operating Systems Design and Implementation (OSDI 14). :367--381.