NetStack: A Game Approach to Synthesizing Consistent Network Updates.

Stefan Schmid, Bernhard Clemens Schrenk, lvaro Torralba

Browse the full Networking paper archive.