FatTire: Declarative Fault Tolerance for Software Defined Networks. Mark Reitblatt, Marco Canini, Nate Foster, and Arjun Guha. In HotSDN, Hong Kong, HK, August 2013.
[ pdf | slides | source code ]

Machine-Verified Network Controllers. Arjun Guha, Mark Reitblatt, and Nate Foster. In PLDI, Seattle, WA, June 2013.
[ pdf | source code ]

Abstractions for Network Update. Mark Reitblatt, Nate Foster, Jennifer Rexford, Cole Schlesinger, and David Walker. In SIGCOMM, Helsinki, Finland, August 2012.
[ DOI | pdf | slides | video ]

Consistent Updates for Software-Defined Networks: Change You Can Believe In. Mark Reitblatt, Nate Foster, Jennifer Rexford, and David Walker. In HotNets, Cambridge, MA, November 2011.
[ pdf | slides ]

Industrial Strength Distributed Explicit State Model Checking. Brad Bingham, Jesse Bingham, Flavio M. de Paula, John Erickson, Gaurav Singh, and Mark Reitblatt. In PDMC, Twente, NL, September 2010.
[ DOI ]

Formal verification of LabVIEW programs using the ACL2 Theorem Prover. Matt Kaufmann, Jacob Kornerup, and Mark Reitblatt. In ACL2, Boston, MA, May 2009.
[ DOI | pdf | slides ]