@inproceedings{Padon15Decentralize,
  author = {Oded Padon and Neil Immerman and Aleksandr Karbyshev and Ori Lahav and Mooly Sagiv and Sharon Shoham},
  title = {Decentralizing {SDN} {P}olicies},
  booktitle = {Principles of Programming Languages},
  month = {January},
  year = 2015,
  series = {SIGPLAN},
  publisher = {ACM},
  doi = {10.1145/2676726.2676990},
  address = {Mumbai, India},
}