Mark Reitblatt
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
5
Active years
2011–2016
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2016 | ESOP | Probabilistic NetKAT. | Nate Foster, Dexter Kozen, Konstantinos Mamouras, Mark Reitblatt, Alexandra Silva |
| 2013 | FMCAD | Tutorial: Practical verification of network programs. | Nate Foster, Arjun Guha, Mark Reitblatt, Cole Schlesinger |
| 2013 | PLDI | Machine-verified network controllers. | Arjun Guha, Mark Reitblatt, Nate Foster |
| 2013 | SIGCOMM | FatTire: declarative fault tolerance for software-defined networks. | Mark Reitblatt, Marco Canini, Arjun Guha, Nate Foster |
| 2012 | SIGCOMM | Abstractions for network update. | Mark Reitblatt, Nate Foster, Jennifer Rexford, Cole Schlesinger, David Walker |
| 2011 | HOTNETS | Consistent updates for software-defined networks: change you can believe in! | Mark Reitblatt, Nate Foster, Jennifer Rexford, David Walker |