Mark Reitblatt
PhD Student
Department of Computer Science
Cornell University
Office: 4143 Upson Hall
Phone: (607) 484-7555
Email: reitblatt[at]cs.cornell.edu
Research Overview
My research is focused on using language-based approaches to build reliable network systems.
Recent News
- FatTire: Declarative Fault Tolerance for Software Defined Networks accepted to HotSDN [April]
- Machine Verified Network Controllers camera-ready sent to PLDI [April]
Projects
Collaborators
Recent Publications
FatTire: Declarative Fault Tolerance for Software Defined Networks. Mark Reitblatt, Marco Canini, Nate Foster, and Arjun Guha. In ACM SIGCOMM Workshop on Hot Topics in Software Defined Networking (HotSDN), Hong Kong, HK, August 2013.
Machine-Verified Network Controllers. Arjun Guha, Mark Reitblatt, and Nate Foster. In ACM SIGPLAN Programming Languages Design and Implementation (PLDI), Seattle, WA, June 2013. [ pdf ]
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 ACM SIGCOMM Conference, Helsinki, Finland, August 2012. [ DOI | pdf | video | slides ]
