@techreport{TD:101537,
	att_abstract={{Network conditions are dynamic; however, current network configuration approaches are not. Network operators need tools to express how a network’s data-plane behavior should respond to a wide range of events and changing conditions. Such changes range from unexpected failures to shifting traffic patterns to planned maintenance. Yet, today, to update the network configuration, operators typically rely on a combination of manual intervention and ad hoc scripts. In response, we present Kinetic, a domain specific language and network control system that enables operators to control their networks dynamically in a concise, intuitive way. Moreover, Kinetic automatically verifies the correctness of these control programs with respect to user-specified temporal properties. We present a user study of several-hundred network operators, along with a performance evaluation of production network policies implemented on Kinetic. The former provides evidence that Kinetic is both intuitive and usable, while the latter demonstrates Kinetic applications scale efficiently.}},
	att_authors={jr444y},
	att_categories={C_BB.5, C_NSS.9, C_NSS.14},
	att_copyright={{USENIX}},
	att_copyright_notice={{The definitive version was published in 2015, Usenix. {{, 2015-05-04}}{{, https://www.usenix.org/conference/nsdi15/technical-sessions/presentation/kim}}
}},
	att_donotupload={},
	att_private={false},
	att_projects={},
	att_tags={},
	att_techdoc={true},
	att_techdoc_key={TD:101537},
	att_url={http://web1.research.att.com:81/techdocs_downloads/TD:101537_DS1_2015-05-11T18:43:06.225Z.pdf},
	author={Joshua Reich and Hyojoon Kim and  Arpit Gupta and Muhammad Shahbaz and  Nick Feamster and Russ Clark},
	institution={{NSDI}},
	month={May},
	title={{Kinetic: Verifiable Dynamic Network Control}},
	year=2015,
}