Mark Reitblatt
Mark Reitblatt
Research Scientist, Facebook
Verified email at - Homepage
Cited by
Cited by
Abstractions for network update
M Reitblatt, N Foster, J Rexford, C Schlesinger, D Walker
SIGCOMM 2012, 323-334, 2012
Consistent Updates for Software-Defined Networks: Change You Can Believe In!
M Reitblatt, N Foster, J Rexford, D Walker
10th ACM Workshop on Hot Topics in Networks (HotNets X), 2011
Fattire: Declarative fault tolerance for software-defined networks
M Reitblatt, M Canini, A Guha, N Foster
Proceedings of the second ACM SIGCOMM workshop on Hot topics in software …, 2013
Languages for software-defined networks
N Foster, A Guha, M Reitblatt, A Story, MJ Freedman, NP Katta, ...
IEEE Communications Magazine 51 (2), 128-134, 2013
Machine-verified network controllers
A Guha, M Reitblatt, N Foster
Acm Sigplan Notices 48 (6), 483-494, 2013
Probabilistic netkat
N Foster, D Kozen, K Mamouras, M Reitblatt, A Silva
Programming Languages and Systems: 25th European Symposium on Programming …, 2016
Industrial strength distributed explicit state model checking
B Bingham, J Bingham, FM De Paula, J Erickson, G Singh, M Reitblatt
2010 Ninth International Workshop on Parallel and Distributed Methods in …, 2010
Formal foundations for software defined networks
A Guha, M Reitblatt, N Foster
Open Net Summit, 2013
Formal verification of LabVIEW programs using the ACL2 theorem prover
M Kaufmann, J Kornerup, M Reitblatt
Proceedings of the Eighth International Workshop on the ACL2 Theorem Prover …, 2009
Language Abstractions for Software-Defined Networks
N Foster, MJ Freedman, R Harrison, C Monsanto, M Reitblatt, J Rexford, ...
Languages for Distributed Algorithms, 2012
PREACH: A distributed explicit state model checker
FM De Paula, B Bingham, J Bingham, J Erickson, M Reitblatt, G Singh
Technical Report TR-2010-05, University of British Columbia, 2010
Formal reasoning in software-defined networks
M Reitblatt
Cornell University, 2017
Tutorial: Practical verification of network programs
N Foster, A Guha, M Reitblatt, C Schlesinger
2013 Formal Methods in Computer-Aided Design, 9-10, 2013
Tutorial I: Syntax-guided synthesis
R Alur, J Grundy, S Jha, T Reps, B Harris, N Foster, A Guha, M Reitblatt, ...
2013 Eleventh ACM/IEEE International Conference on Formal Methods and Models …, 2013
A System for the Formal Verification of LabVIEW/G Diagrams
M Reitblatt
Unanswered Questions
M Reitblatt
The system can't perform the operation now. Try again later.
Articles 1–16