ऀऀऀ㰀栀㌀㸀㰀戀㸀一椀挀欀 䘀攀愀洀猀琀攀爀㰀⼀戀㸀㰀⼀栀㌀㸀
ऀऀऀ㰀椀洀最 猀爀挀㴀∀瀀栀漀琀漀⼀㈀ ⸀樀瀀最∀ 眀椀搀琀栀㴀∀ ∀ 愀氀琀㴀∀∀ 猀琀礀氀攀㴀∀搀椀猀瀀氀愀礀㨀 戀氀漀挀欀㬀 昀氀漀愀琀㨀 氀攀昀琀㬀 洀愀爀最椀渀㨀 ㌀瀀砀 㔀瀀砀 ㈀瀀砀 瀀砀㬀∀ ⼀㸀 ऀऀऀ㰀瀀 猀琀礀氀攀㴀∀琀攀砀琀ⴀ愀氀椀最渀㨀樀甀猀琀椀昀礀㬀∀㸀 EDUCATIONAL BACKGROUND倀栀⸀䐀⸀Ⰰ 䴀愀猀猀愀挀栀甀猀攀琀琀猀 䤀渀猀琀椀琀甀琀攀 漀昀 吀攀挀栀渀漀氀漀最礀Ⰰ 䌀漀洀瀀甀琀攀爀 匀挀椀攀渀挀攀Ⰰ ㈀ 㔀㰀戀爀㸀ऀऀ M.Eng., Massachusetts Institute of Technology, Computer Science, 2001
匀⸀䈀⸀Ⰰ 䴀愀猀猀愀挀栀甀猀攀琀琀猀 䤀渀猀琀椀琀甀琀攀 漀昀 吀攀挀栀渀漀氀漀最礀Ⰰ 䔀氀攀挀琀爀椀挀愀氀 䔀渀最椀渀攀攀爀椀渀最 愀渀搀 䌀漀洀瀀甀琀攀爀 匀挀椀攀渀挀攀Ⰰ ㈀ 㰀戀爀㸀ऀऀ EMPLOYMENT HISTORY
䄀猀猀漀挀椀愀琀攀 倀爀漀昀攀猀猀漀爀Ⰰ 䜀攀漀爀最椀愀 䤀渀猀琀椀琀甀琀攀 漀昀 吀攀挀栀渀漀氀漀最礀Ⰰ 䴀愀爀挀栀 ㈀ ጀ倠爀攀猀攀渀琀㰀戀爀㸀ऀऀ Associate Professor, University of Maryland College Park, August 2012–December 2012
䄀猀猀椀猀琀愀渀琀 倀爀漀昀攀猀猀漀爀Ⰰ 䜀攀漀爀最椀愀 䤀渀猀琀椀琀甀琀攀 漀昀 吀攀挀栀渀漀氀漀最礀Ⰰ ㈀ 㘀ጀ㈠ 㰀戀爀㸀ऀऀ Postdoctoral Research Staff, Princeton University, Fall 2005
刀攀猀攀愀爀挀栀 䄀猀猀椀猀琀愀渀琀Ⰰ 䴀愀猀猀愀挀栀甀猀攀琀琀猀 䤀渀猀琀椀琀甀琀攀 漀昀 吀攀挀栀渀漀氀漀最礀Ⰰ ㈀ ጀ㈠ 㔀㰀戀爀㸀ऀऀ CURRENT FIELDS OF INTEREST
䴀礀 爀攀猀攀愀爀挀栀 昀漀挀甀猀攀猀 漀渀 渀攀琀眀漀爀欀攀搀 挀漀洀瀀甀琀攀爀 猀礀猀琀攀洀猀Ⰰ 眀椀琀栀 愀 猀琀爀漀渀最 攀洀瀀栀愀猀椀猀 漀渀 渀攀琀眀漀爀欀 愀爀挀栀椀琀攀挀琀甀爀攀 愀渀搀 瀀爀漀琀漀挀漀氀 搀攀猀椀最渀㬀 渀攀琀眀漀爀欀 猀攀挀甀爀椀琀礀Ⰰ 洀愀渀愀最攀洀攀渀琀Ⰰ 愀渀搀 洀攀愀猀甀爀攀洀攀渀琀㬀 爀漀甀琀椀渀最㬀愀渀搀 愀渀琀椀ⴀ挀攀渀猀漀爀猀栀椀瀀 琀攀挀栀渀椀焀甀攀猀⸀ 吀栀攀 瀀爀椀洀愀爀礀 最漀愀氀 漀昀 洀礀 爀攀猀攀愀爀挀栀 椀猀 琀漀 栀攀氀瀀 渀攀琀眀漀爀欀 漀瀀攀爀愀琀漀爀猀 爀甀渀 琀栀攀椀爀 渀攀琀眀漀爀欀猀 戀攀琀琀攀爀Ⰰ 愀渀搀 琀漀 攀渀愀戀氀攀 甀猀攀爀猀 漀昀 琀栀攀猀攀 渀攀琀眀漀爀欀猀 ⠀戀漀琀栀 瀀甀戀氀椀挀 愀渀搀 瀀爀椀瘀愀琀攀⤀ 琀漀 攀砀瀀攀爀椀攀渀挀攀 栀椀最栀 愀瘀愀椀氀愀戀椀氀椀琀礀 愀渀搀 最漀漀搀 攀渀搀ⴀ琀漀ⴀ攀渀搀 瀀攀爀昀漀爀洀愀渀挀攀⸀ 䤀 栀愀瘀攀 愀 猀琀爀漀渀最 椀渀琀攀爀攀猀琀 椀渀 琀愀挀欀氀椀渀最 瀀爀愀挀琀椀挀愀氀 瀀爀漀戀氀攀洀猀 甀猀椀渀最 愀 ᰀĠ狻猀琀 瀀爀椀渀挀椀瀀氀攀猀ᴀ†愀瀀瀀爀漀愀挀栀Ⰰ 搀攀猀椀最渀椀渀最 猀礀猀琀攀洀猀 戀愀猀攀搀 漀渀 琀栀攀猀攀 瀀爀椀渀挀椀瀀氀攀猀Ⰰ 愀渀搀 椀洀瀀氀攀洀攀渀琀椀渀最 愀渀搀 搀攀瀀氀漀礀椀渀最 琀栀攀猀攀 猀礀猀琀攀洀猀 椀渀 瀀爀愀挀琀椀挀攀⸀
㰀戀爀㸀 ऀऀऀऀ ऀऀऀ㰀搀椀瘀 猀琀礀氀攀㴀∀洀愀爀最椀渀ⴀ氀攀昀琀㨀 瀀砀㬀 戀漀爀搀攀爀㨀 瀀砀 猀漀氀椀搀 ⌀攀㠀攀㠀攀㠀㬀 瀀愀搀搀椀渀最㨀 㔀瀀砀㬀 ∀㸀
ऀऀऀऀऀ㰀瀀 猀琀礀氀攀㴀∀琀攀砀琀ⴀ愀氀椀最渀㨀樀甀猀琀椀昀礀㬀∀㸀伀瀀攀爀愀琀漀爀猀 洀愀欀攀 栀甀渀搀爀攀搀猀 漀昀 挀栀愀渀最攀猀 琀漀 愀 渀攀琀眀漀爀欀✀猀 爀漀甀琀攀爀 愀渀搀 猀眀椀琀挀栀 挀漀渀昀椀最甀爀愀琀椀漀渀猀 攀瘀攀爀礀 搀愀礀ⴀⴀⴀ愀 瀀愀椀渀猀琀愀欀椀渀最Ⰰ 攀爀爀漀爀ⴀ瀀爀漀渀攀 瀀爀漀挀攀猀猀⸀ 䤀昀 琀栀攀 渀攀琀眀漀爀欀 挀漀渀昀椀最甀爀愀琀椀漀渀 挀漀甀氀搀 椀渀猀琀攀愀搀 攀渀挀漀搀攀 搀椀昀昀攀爀攀渀琀 昀漀爀眀愀爀搀椀渀最 戀攀栀愀瘀椀漀爀 昀漀爀 搀椀昀昀攀爀攀渀琀 渀攀琀眀漀爀欀 猀琀愀琀攀猀 笀尀攀洀 愀 瀀爀椀漀爀椀紀Ⰰ 愀 渀攀琀眀漀爀欀 挀漀渀琀爀漀氀氀攀爀 挀漀甀氀搀 愀甀琀漀洀愀琀椀挀愀氀氀礀 愀氀琀攀爀 昀漀爀眀愀爀搀椀渀最 戀攀栀愀瘀椀漀爀 眀栀攀渀 挀漀渀搀椀琀椀漀渀猀 挀栀愀渀最攀⸀ 吀漀 攀渀愀戀氀攀 琀栀椀猀 挀愀瀀愀戀椀氀椀琀礀Ⰰ 眀攀 椀渀琀爀漀搀甀挀攀 笀尀攀洀 猀琀愀琀攀ⴀ戀愀猀攀搀 渀攀琀眀漀爀欀 瀀漀氀椀挀椀攀猀紀Ⰰ 眀栀椀挀栀 搀攀猀挀爀椀戀攀 栀漀眀 愀 渀攀琀眀漀爀欀✀猀 forwarding behavior should change in response to arbitrary network events. A state-based network policy comprises many {\em tasks}, each of which encodes the forwarding behavior for a single network management operation (\eg, intrusion detection) or part of the network (\eg, a sub-organization), and how that behavior should change when network conditions change. Composing these policies produces a network-wide control program that adapts to different operating conditions. We implement state-based network policies in a system called \system{} and demonstrate with real-world examples and use cases that \system{} is攀砀瀀爀攀猀猀椀瘀攀 攀渀漀甀最栀 琀漀 猀瀀攀挀椀昀礀 愀 眀椀搀攀 爀愀渀最攀 漀昀 渀攀琀眀漀爀欀 瀀漀氀椀挀椀攀猀 愀渀搀 猀椀洀瀀氀攀 攀渀漀甀最栀 昀漀爀 洀愀渀礀 漀瀀攀爀愀琀漀爀猀 琀漀 甀猀攀⸀ 伀甀爀 攀瘀愀氀甀愀琀椀漀渀 戀愀猀攀搀 漀渀 攀瘀攀渀琀 琀爀愀挀攀猀 昀爀漀洀 琀栀攀 䜀攀漀爀最椀愀 吀攀挀栀 挀愀洀瀀甀猀 渀攀琀眀漀爀欀 猀栀漀眀猀 琀栀愀琀 尀猀礀猀琀攀洀笀紀 挀愀渀 愀挀栀椀攀瘀攀 最漀漀搀 瀀攀爀昀漀爀洀愀渀挀攀 椀渀 漀瀀攀爀愀琀椀漀渀愀氀 猀攀琀琀椀渀最猀⸀ ऀऀऀ㰀⼀搀椀瘀㸀 㰀℀ⴀⴀ 崀₰ⴀⴀ㸀 ऀ
㰀⼀搀椀瘀㸀
ऀऀऀ
ऀ㰀⼀搀椀瘀㸀
㰀搀椀瘀 椀搀㴀∀猀椀搀攀戀愀爀∀㸀
Associate Professor, Georgia Tech, USA
ऀऀऀ㰀椀洀最 猀爀挀㴀∀瀀栀漀琀漀⼀㈀ ⸀樀瀀最∀ 眀椀搀琀栀㴀∀ ∀ 愀氀琀㴀∀∀ 猀琀礀氀攀㴀∀搀椀猀瀀氀愀礀㨀 戀氀漀挀欀㬀 昀氀漀愀琀㨀 氀攀昀琀㬀 洀愀爀最椀渀㨀 ㌀瀀砀 㔀瀀砀 ㈀瀀砀 瀀砀㬀∀ ⼀㸀 ऀऀऀ㰀瀀 猀琀礀氀攀㴀∀琀攀砀琀ⴀ愀氀椀最渀㨀樀甀猀琀椀昀礀㬀∀㸀 EDUCATIONAL BACKGROUND倀栀⸀䐀⸀Ⰰ 䴀愀猀猀愀挀栀甀猀攀琀琀猀 䤀渀猀琀椀琀甀琀攀 漀昀 吀攀挀栀渀漀氀漀最礀Ⰰ 䌀漀洀瀀甀琀攀爀 匀挀椀攀渀挀攀Ⰰ ㈀ 㔀㰀戀爀㸀ऀऀ M.Eng., Massachusetts Institute of Technology, Computer Science, 2001
匀⸀䈀⸀Ⰰ 䴀愀猀猀愀挀栀甀猀攀琀琀猀 䤀渀猀琀椀琀甀琀攀 漀昀 吀攀挀栀渀漀氀漀最礀Ⰰ 䔀氀攀挀琀爀椀挀愀氀 䔀渀最椀渀攀攀爀椀渀最 愀渀搀 䌀漀洀瀀甀琀攀爀 匀挀椀攀渀挀攀Ⰰ ㈀ 㰀戀爀㸀ऀऀ EMPLOYMENT HISTORY
䄀猀猀漀挀椀愀琀攀 倀爀漀昀攀猀猀漀爀Ⰰ 䜀攀漀爀最椀愀 䤀渀猀琀椀琀甀琀攀 漀昀 吀攀挀栀渀漀氀漀最礀Ⰰ 䴀愀爀挀栀 ㈀ ጀ倠爀攀猀攀渀琀㰀戀爀㸀ऀऀ Associate Professor, University of Maryland College Park, August 2012–December 2012
䄀猀猀椀猀琀愀渀琀 倀爀漀昀攀猀猀漀爀Ⰰ 䜀攀漀爀最椀愀 䤀渀猀琀椀琀甀琀攀 漀昀 吀攀挀栀渀漀氀漀最礀Ⰰ ㈀ 㘀ጀ㈠ 㰀戀爀㸀ऀऀ Postdoctoral Research Staff, Princeton University, Fall 2005
刀攀猀攀愀爀挀栀 䄀猀猀椀猀琀愀渀琀Ⰰ 䴀愀猀猀愀挀栀甀猀攀琀琀猀 䤀渀猀琀椀琀甀琀攀 漀昀 吀攀挀栀渀漀氀漀最礀Ⰰ ㈀ ጀ㈠ 㔀㰀戀爀㸀ऀऀ CURRENT FIELDS OF INTEREST
䴀礀 爀攀猀攀愀爀挀栀 昀漀挀甀猀攀猀 漀渀 渀攀琀眀漀爀欀攀搀 挀漀洀瀀甀琀攀爀 猀礀猀琀攀洀猀Ⰰ 眀椀琀栀 愀 猀琀爀漀渀最 攀洀瀀栀愀猀椀猀 漀渀 渀攀琀眀漀爀欀 愀爀挀栀椀琀攀挀琀甀爀攀 愀渀搀 瀀爀漀琀漀挀漀氀 搀攀猀椀最渀㬀 渀攀琀眀漀爀欀 猀攀挀甀爀椀琀礀Ⰰ 洀愀渀愀最攀洀攀渀琀Ⰰ 愀渀搀 洀攀愀猀甀爀攀洀攀渀琀㬀 爀漀甀琀椀渀最㬀愀渀搀 愀渀琀椀ⴀ挀攀渀猀漀爀猀栀椀瀀 琀攀挀栀渀椀焀甀攀猀⸀ 吀栀攀 瀀爀椀洀愀爀礀 最漀愀氀 漀昀 洀礀 爀攀猀攀愀爀挀栀 椀猀 琀漀 栀攀氀瀀 渀攀琀眀漀爀欀 漀瀀攀爀愀琀漀爀猀 爀甀渀 琀栀攀椀爀 渀攀琀眀漀爀欀猀 戀攀琀琀攀爀Ⰰ 愀渀搀 琀漀 攀渀愀戀氀攀 甀猀攀爀猀 漀昀 琀栀攀猀攀 渀攀琀眀漀爀欀猀 ⠀戀漀琀栀 瀀甀戀氀椀挀 愀渀搀 瀀爀椀瘀愀琀攀⤀ 琀漀 攀砀瀀攀爀椀攀渀挀攀 栀椀最栀 愀瘀愀椀氀愀戀椀氀椀琀礀 愀渀搀 最漀漀搀 攀渀搀ⴀ琀漀ⴀ攀渀搀 瀀攀爀昀漀爀洀愀渀挀攀⸀ 䤀 栀愀瘀攀 愀 猀琀爀漀渀最 椀渀琀攀爀攀猀琀 椀渀 琀愀挀欀氀椀渀最 瀀爀愀挀琀椀挀愀氀 瀀爀漀戀氀攀洀猀 甀猀椀渀最 愀 ᰀĠ狻猀琀 瀀爀椀渀挀椀瀀氀攀猀ᴀ†愀瀀瀀爀漀愀挀栀Ⰰ 搀攀猀椀最渀椀渀最 猀礀猀琀攀洀猀 戀愀猀攀搀 漀渀 琀栀攀猀攀 瀀爀椀渀挀椀瀀氀攀猀Ⰰ 愀渀搀 椀洀瀀氀攀洀攀渀琀椀渀最 愀渀搀 搀攀瀀氀漀礀椀渀最 琀栀攀猀攀 猀礀猀琀攀洀猀 椀渀 瀀爀愀挀琀椀挀攀⸀
㰀戀爀㸀 ऀऀऀऀ ऀऀऀ㰀搀椀瘀 猀琀礀氀攀㴀∀洀愀爀最椀渀ⴀ氀攀昀琀㨀 瀀砀㬀 戀漀爀搀攀爀㨀 瀀砀 猀漀氀椀搀 ⌀攀㠀攀㠀攀㠀㬀 瀀愀搀搀椀渀最㨀 㔀瀀砀㬀 ∀㸀
Title: SDN Abstractions for Network Management
ऀऀऀऀ㰀瀀 猀琀礀氀攀㴀∀洀愀爀最椀渀ⴀ戀漀琀琀漀洀㨀 瀀砀㬀 琀攀砀琀ⴀ愀氀椀最渀㨀樀甀猀琀椀昀礀㬀∀㸀 Abstract:ऀऀऀऀऀ㰀瀀 猀琀礀氀攀㴀∀琀攀砀琀ⴀ愀氀椀最渀㨀樀甀猀琀椀昀礀㬀∀㸀伀瀀攀爀愀琀漀爀猀 洀愀欀攀 栀甀渀搀爀攀搀猀 漀昀 挀栀愀渀最攀猀 琀漀 愀 渀攀琀眀漀爀欀✀猀 爀漀甀琀攀爀 愀渀搀 猀眀椀琀挀栀 挀漀渀昀椀最甀爀愀琀椀漀渀猀 攀瘀攀爀礀 搀愀礀ⴀⴀⴀ愀 瀀愀椀渀猀琀愀欀椀渀最Ⰰ 攀爀爀漀爀ⴀ瀀爀漀渀攀 瀀爀漀挀攀猀猀⸀ 䤀昀 琀栀攀 渀攀琀眀漀爀欀 挀漀渀昀椀最甀爀愀琀椀漀渀 挀漀甀氀搀 椀渀猀琀攀愀搀 攀渀挀漀搀攀 搀椀昀昀攀爀攀渀琀 昀漀爀眀愀爀搀椀渀最 戀攀栀愀瘀椀漀爀 昀漀爀 搀椀昀昀攀爀攀渀琀 渀攀琀眀漀爀欀 猀琀愀琀攀猀 笀尀攀洀 愀 瀀爀椀漀爀椀紀Ⰰ 愀 渀攀琀眀漀爀欀 挀漀渀琀爀漀氀氀攀爀 挀漀甀氀搀 愀甀琀漀洀愀琀椀挀愀氀氀礀 愀氀琀攀爀 昀漀爀眀愀爀搀椀渀最 戀攀栀愀瘀椀漀爀 眀栀攀渀 挀漀渀搀椀琀椀漀渀猀 挀栀愀渀最攀⸀ 吀漀 攀渀愀戀氀攀 琀栀椀猀 挀愀瀀愀戀椀氀椀琀礀Ⰰ 眀攀 椀渀琀爀漀搀甀挀攀 笀尀攀洀 猀琀愀琀攀ⴀ戀愀猀攀搀 渀攀琀眀漀爀欀 瀀漀氀椀挀椀攀猀紀Ⰰ 眀栀椀挀栀 搀攀猀挀爀椀戀攀 栀漀眀 愀 渀攀琀眀漀爀欀✀猀 forwarding behavior should change in response to arbitrary network events. A state-based network policy comprises many {\em tasks}, each of which encodes the forwarding behavior for a single network management operation (\eg, intrusion detection) or part of the network (\eg, a sub-organization), and how that behavior should change when network conditions change. Composing these policies produces a network-wide control program that adapts to different operating conditions. We implement state-based network policies in a system called \system{} and demonstrate with real-world examples and use cases that \system{} is攀砀瀀爀攀猀猀椀瘀攀 攀渀漀甀最栀 琀漀 猀瀀攀挀椀昀礀 愀 眀椀搀攀 爀愀渀最攀 漀昀 渀攀琀眀漀爀欀 瀀漀氀椀挀椀攀猀 愀渀搀 猀椀洀瀀氀攀 攀渀漀甀最栀 昀漀爀 洀愀渀礀 漀瀀攀爀愀琀漀爀猀 琀漀 甀猀攀⸀ 伀甀爀 攀瘀愀氀甀愀琀椀漀渀 戀愀猀攀搀 漀渀 攀瘀攀渀琀 琀爀愀挀攀猀 昀爀漀洀 琀栀攀 䜀攀漀爀最椀愀 吀攀挀栀 挀愀洀瀀甀猀 渀攀琀眀漀爀欀 猀栀漀眀猀 琀栀愀琀 尀猀礀猀琀攀洀笀紀 挀愀渀 愀挀栀椀攀瘀攀 最漀漀搀 瀀攀爀昀漀爀洀愀渀挀攀 椀渀 漀瀀攀爀愀琀椀漀渀愀氀 猀攀琀琀椀渀最猀⸀ ऀऀऀ㰀⼀搀椀瘀㸀 㰀℀ⴀⴀ 崀₰ⴀⴀ㸀 ऀ
