Mark Reitblatt

Mark Reitblatt

Office: 442 Gates Hall
Phone: (607) 484-7555
Email: reitblatt[at]cs.cornell.edu

Research Overview

I explore language-based approaches to building reliable, predictable networks as part of the Frenetic Project.

Recent News

Projects

Frenetic

Collaborators

Recent Publications

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 ]

Languages for software-defined networks. Nate Foster, Michael J. Freedman, Arjun Guha, Rob Harrison, Naga Praveen Katta, Christopher Monsanto, Joshua Reich, Mark Reitblatt, Jennifer Rexford, Cole Schlesinger, Alec Story, and David Walker. IEEE Communications Magazine, 51(2):128-134, 2013.
DOI | pdf ]

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 ]

Validate XHTML Validate CSS
Last updated February 2015