Mark Reitblatt

According to our database, Mark Reitblatt authored at least 8 papers between 2011 and 2017.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2017

Formal reasoning in software-defined networks.

Mark Reitblatt

PhD thesis, 2017

2016

Probabilistic NetKAT.

Nate Foster, Dexter Kozen, Konstantinos Mamouras, Mark Reitblatt, Alexandra Silva

Proceedings of the Programming Languages and Systems, 2016

2013

Languages for software-defined networks.

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

IEEE Commun. Mag., 2013

FatTire: declarative fault tolerance for software-defined networks.

Mark Reitblatt, Marco Canini, Arjun Guha, Nate Foster

Proceedings of the Second ACM SIGCOMM Workshop on Hot Topics in Software Defined Networking, 2013

Machine-verified network controllers.

Arjun Guha, Mark Reitblatt, Nate Foster

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2013

Tutorial: Practical verification of network programs.

Nate Foster, Arjun Guha, Mark Reitblatt, Cole Schlesinger

Proceedings of the Formal Methods in Computer-Aided Design, 2013

2012

Abstractions for network update.

Mark Reitblatt, Nate Foster, Jennifer Rexford, Cole Schlesinger, David Walker

Proceedings of the ACM SIGCOMM 2012 Conference, 2012

2011

Consistent updates for software-defined networks: change you can believe in!

Mark Reitblatt, Nate Foster, Jennifer Rexford, David Walker

Proceedings of the Tenth ACM Workshop on Hot Topics in Networks (HotNets-X), 2011