Mark Reitblatt
PhD Student
Department of Computer Science
Cornell University
Office: 4161 Upson Hall
Phone: (607) 484-7555
Email: reitblatt[at]cs.cornell.edu
Conference and Workshop Papers
Mark Reitblatt, Nate Foster, Jennifer Rexford, and David Walker. Consistent Updates for Software-Defined Networks: Change You Can Believe In. In ACM SIGCOMM Workshop on Hot Topics in Networks (HotNets), Cambridge, MA, November 2011. [ pdf | slides ]
Brad Bingham, Jesse Bingham, Flavio M. de Paula, John Erickson, Gaurav Singh, and Mark Reitblatt. Industrial Strength Distributed Explicit State Model Checking. In Proceedings of the 2010 Ninth International Workshop on Parallel and Distributed Methods in Verification, and Second International Workshop on High Performance Computational Systems Biology, PDMC-HIBI '10, pages 28-36, Washington, DC, USA, 2010. IEEE Computer Society. [ DOI ]
Matt Kaufmann, Jacob Kornerup, and Mark Reitblatt. Formal verification of LabVIEW programs using the ACL2 Theorem Prover. In Proceedings of the Eighth International Workshop on the ACL2 Theorem Prover and its Applications, ACL2 '09, pages 82-89, New York, NY, USA, 2009. ACM. [ DOI | conference version | slides | http ]
Theses
Mark Reitblatt. A System for the Formal Verification of LabVIEW/G Diagrams. Senior honors thesis, Department of Computer Science, University of Texas at Austin, Austin, TX, July 2009. [ pdf | slides ]
Copyright
These documents are included by the contributing authors to ensure timely dissemination of scholarly and technical work on a non-commercial basis. Copyright and all rights therein are maintained by the authors or by other copyright holders. All persons copying this information must adhere to the terms and constraints invoked by each author's copyright. These works may not be reposted without the explicit permission of the copyright holder.
