Mark Reitblatt

Publication Activity (10 Years)

Years Active: 2011-2016
Publications (10 Years): 1

Top Topics

High Scalability

Replicated Databases

Probabilistic Interpretation

Top Venues

IEEE Commun. Mag.

Publications

Nate Foster, Dexter Kozen, Konstantinos Mamouras, Mark Reitblatt, Alexandra Silva
Probabilistic NetKAT. ESOP (2016)
Nate Foster, Arjun Guha, Mark Reitblatt, Cole Schlesinger
Tutorial: Practical verification of network programs. FMCAD (2013)
Nate Foster, Arjun Guha, Mark Reitblatt, Alec Story, Michael J. Freedman, Naga Praveen Katta, Christopher Monsanto, Joshua Reich, Jennifer Rexford, Cole Schlesinger, David Walker, Rob Harrison
Languages for software-defined networks. IEEE Commun. Mag. 51 (2) (2013)
Arjun Guha, Mark Reitblatt, Nate Foster
Machine-verified network controllers. PLDI (2013)
Mark Reitblatt, Marco Canini, Arjun Guha, Nate Foster
FatTire: declarative fault tolerance for software-defined networks. HotSDN (2013)
Mark Reitblatt, Nate Foster, Jennifer Rexford, Cole Schlesinger, David Walker
Abstractions for network update. SIGCOMM (2012)
Mark Reitblatt, Nate Foster, Jennifer Rexford, David Walker
Consistent updates for software-defined networks: change you can believe in! HotNets (2011)