\begin{thebibliography}{10}

\bibitem{microreboot:osdi04}
G.~Candea, S.~Kawamoto, Y.~Fujiki, G.~Friedman, and A.~Fox.
\newblock Microreboot \&\#8212; a technique for cheap recovery.
\newblock In {\em Proceedings of the 6th Conference on Symposium on Opearting
  Systems Design \& Implementation - Volume 6}, OSDI'04, pages 3--3, Berkeley,
  CA, USA, 2004. USENIX Association.

\bibitem{nice:nsdi12}
M.~Canini, D.~Venzano, P.~Pere\v{s}\'{\i}ni, D.~Kosti\'{c}, and J.~Rexford.
\newblock A nice way to test openflow applications.
\newblock In {\em Proceedings of the 9th USENIX Conference on Networked Systems
  Design and Implementation}, NSDI'12, pages 10--10, Berkeley, CA, USA, 2012.
  USENIX Association.

\bibitem{devoflow:sigcomm11}
A.~R. Curtis, J.~C. Mogul, J.~Tourrilhes, P.~Yalagandula, P.~Sharma, and
  S.~Banerjee.
\newblock Devoflow: Scaling flow management for high-performance networks.
\newblock In {\em Proceedings of the ACM SIGCOMM 2011 Conference}, SIGCOMM '11,
  pages 254--265, New York, NY, USA, 2011. ACM.

\bibitem{ofpostcard:nsdi14}
N.~Handigol, B.~Heller, V.~Jeyakumar, D.~Mazi{\`e}res, and N.~McKeown.
\newblock I know what your packet did last hop: Using packet histories to
  troubleshoot networks.
\newblock In {\em Proceedings of the 11th USENIX Symposium on Networked Systems
  Design and Implementation (NSDI 14)}, pages 71--85, Seattle, WA, 2014.
  USENIX.

\bibitem{sdnlayerdebugging:hotsdn13}
B.~Heller, C.~Scott, N.~McKeown, S.~Shenker, A.~Wundsam, H.~Zeng, S.~Whitlock,
  V.~Jeyakumar, N.~Handigol, J.~McCauley, K.~Zarifis, and P.~Kazemian.
\newblock Leveraging sdn layering to systematically troubleshoot networks.
\newblock In {\em Proceedings of the Second ACM SIGCOMM Workshop on Hot Topics
  in Software Defined Networking}, HotSDN '13, pages 37--42, New York, NY, USA,
  2013. ACM.

\bibitem{b4:sigcomm13}
S.~Jain, A.~Kumar, S.~Mandal, J.~Ong, L.~Poutievski, A.~Singh, S.~Venkata,
  J.~Wanderer, J.~Zhou, M.~Zhu, J.~Zolla, U.~H\"{o}lzle, S.~Stuart, and
  A.~Vahdat.
\newblock B4: Experience with a globally-deployed software defined wan.
\newblock In {\em Proceedings of the ACM SIGCOMM 2013 Conference on SIGCOMM},
  SIGCOMM '13, pages 3--14, New York, NY, USA, 2013. ACM.

\bibitem{fgft:asplos13}
A.~Kadav, M.~J. Renzelmann, and M.~M. Swift.
\newblock Fine-grained fault tolerance using device checkpoints.
\newblock In {\em Proceedings of the Eighteenth International Conference on
  Architectural Support for Programming Languages and Operating Systems},
  ASPLOS '13, pages 473--484, New York, NY, USA, 2013. ACM.

\bibitem{veriflow:hotsdn12}
A.~Khurshid, W.~Zhou, M.~Caesar, and P.~B. Godfrey.
\newblock Veriflow: Verifying network-wide invariants in real time.
\newblock In {\em Proceedings of the First Workshop on Hot Topics in Software
  Defined Networks}, HotSDN '12, pages 49--54, New York, NY, USA, 2012. ACM.

\bibitem{onix:osdi10}
T.~Koponen, M.~Casado, N.~Gude, J.~Stribling, L.~Poutievski, M.~Zhu,
  R.~Ramanathan, Y.~Iwata, H.~Inoue, T.~Hama, and S.~Shenker.
\newblock Onix: A distributed control platform for large-scale production
  networks.
\newblock OSDI'10.

\bibitem{shadowsdn:hotsdn13}
M.~Ku\'{z}niar, P.~Pere\v{s}\'{\i}ni, N.~Vasi\'{c}, M.~Canini, and
  D.~Kosti\'{c}.
\newblock Automatic failure recovery for software-defined networks.
\newblock HotSDN '13, pages 159--160, New York, NY, USA, 2013. ACM.

\bibitem{pease-1980-paxos}
M.~Pease, R.~Shostak, and L.~Lamport.
\newblock {Reaching Agreement in the Presence of Faults}.
\newblock {\em Journal of the ACM}, 27(2):228--234, 1980.

\bibitem{bigswitch}
{Big Switch Networks, Inc.}
\newblock \url{http://www.bigswitch.com}.

\bibitem{bigtap}
{Big Tap Monitoring Fabric}.
\newblock \url{http://bigswitch.com/products/big-tap-monitoring-fabric}.

\bibitem{criu}
{CRIU}.
\newblock \url{http://criu.org/Main_Page}.

\bibitem{flowscale}
{FlowScale}.
\newblock \url{http://www.openflowhub.org/display/FlowScale/FlowScale+Home}.

\bibitem{flowscale_bugs}
{FlowScale Issues}.
\newblock \url{ http://bugs.openflowhub.org/}.

\bibitem{opendaylight}
{OpenDaylight: A linux foundation collaborative project.}
\newblock \url{http://www.opendaylight.com}.

\bibitem{floodlight}
{Project Floodlight.}
\newblock \url{http://www.projectfloodlight.org/}.

\bibitem{floodlight_greatestecosystem}
{Project Floodlight Grows to the World's Largest SDN Ecosystem}.
\newblock \url{http://www.bigswitch.com/press-releases/
  2013/03/26/project-floodlight-grows-to-the-worlds-
  largest-sdn-ecosystem-global-users}.

\bibitem{fattire:hotsdn13}
M.~Reitblatt, M.~Canini, A.~Guha, and N.~Foster.
\newblock Fattire: Declarative fault tolerance for software-defined networks.
\newblock HotSDN '13, New York, NY, USA. ACM.

\bibitem{failureobliviouscomputing:osdi04}
M.~Rinard, C.~Cadar, D.~Dumitran, D.~M. Roy, T.~Leu, and W.~S. Beebee, Jr.
\newblock Enhancing server availability and security through failure-oblivious
  computing.
\newblock In {\em Proceedings of the 6th Conference on Symposium on Opearting
  Systems Design \& Implementation - Volume 6}, OSDI'04, pages 21--21,
  Berkeley, CA, USA, 2004. USENIX Association.

\bibitem{routeflow:hotsdn12}
C.~E. Rothenberg, M.~R. Nascimento, M.~R. Salvador, C.~N.~A. Corr\^{e}a,
  S.~Cunha~de Lucena, and R.~Raszuk.
\newblock Revisiting routing control platforms with the eyes and muscles of
  software-defined networking.
\newblock In {\em Proceedings of the First Workshop on Hot Topics in Software
  Defined Networks}, HotSDN '12, pages 13--18, New York, NY, USA, 2012. ACM.

\bibitem{shadowdrivers:tcs06}
M.~M. Swift, M.~Annamalai, B.~N. Bershad, and H.~M. Levy.
\newblock Recovering device drivers.
\newblock {\em ACM Trans. Comput. Syst.}, 24(4):333--360, Nov. 2006.

\bibitem{nox:hotnets09}
A.~Tavakoli, M.~Casado, T.~Koponen, and S.~Shenker.
\newblock Applying nox to the datacenter.
\newblock In L.~Subramanian, W.~E. Leland, and R.~Mahajan, editors, {\em
  HotNets}. ACM SIGCOMM, 2009.

\bibitem{rulebricks:hotsdn13}
D.~Williams and H.~Jamjoom.
\newblock Cementing high availability in openflow with rulebricks.
\newblock In {\em Proceedings of the Second ACM SIGCOMM Workshop on Hot Topics
  in Software Defined Networking}, HotSDN '13, pages 139--144, New York, NY,
  USA, 2013. ACM.

\end{thebibliography}
