Mark Reitblatt
Mark Reitblatt
Research Scientist, Facebook
Verified email at cs.cornell.edu - Homepage
Title
Cited by
Cited by
Year
Abstractions for network update
M Reitblatt, N Foster, J Rexford, C Schlesinger, D Walker
SIGCOMM 2012, 323-334, 2012
7052012
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
2402011
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
2352013
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
2262013
Machine-verified network controllers
A Guha, M Reitblatt, N Foster
Acm Sigplan Notices 48 (6), 483-494, 2013
1182013
Probabilistic netkat
N Foster, D Kozen, K Mamouras, M Reitblatt, A Silva
European Symposium on Programming, 282-309, 2016
542016
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
532010
Formal foundations for software defined networks
A Guha, M Reitblatt, N Foster
Open Net Summit, 2013
82013
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
42009
Language Abstractions for Software-Defined Networks
N Foster, MJ Freedman, R Harrison, C Monsanto, M Reitblatt, J Rexford, ...
Languages for Distributed Algorithms, 2012
12012
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
12010
Formal Reasoning in Software-defined Networks
M Reitblatt
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
2013
Tutorial I: Syntax-guided synthesis
R Alur
10th ACM/IEEE International Conference on Formal Methods and Models for Codesign, 2013
2013
A System for the Formal Verification of LabVIEW/G Diagrams
M Reitblatt
2009
Languages for Software—Defined Networks
N Foster, MI Freedmanl, A Guha, R Harrisonl, NP Kattal, C Monsantol, ...
The system can't perform the operation now. Try again later.
Articles 1–16