A fast compiler for NetKAT

Document Details

Document Type
Pub Defense Publication
Publication Date
Aug 29, 2015
Source ID
10.1145/2784731.2784761

Entities

People

  • Arjun Guha
  • Nate Foster
  • Spiridon Eliopoulos
  • Steffen Smolka

Organizations

  • Cornell University
  • National Science Foundation
  • Office of Naval Research
  • University of Massachusetts Amherst