• Publications
  • Influence
NetKAT: semantic foundations for networks
TLDR
It is shown that NetKAT is an instance of a canonical and well-studied mathematical structure called a Kleene algebra with tests (KAT) and proved that its equational theory is sound and complete with respect to its denotational semantics. Expand
The Essence of JavaScript
TLDR
This work reduces JavaScript to a core calculus structured as a small-step operational semantics, and explicates the desugaring process that turns JavaScript programs into ones in the core. Expand
Participatory networking: an API for application control of SDNs
We present the design, implementation, and evaluation of an API for applications to control a software-defined network (SDN). Our API is implemented by an OpenFlow controller that delegates read andExpand
Flapjax: a programming language for Ajax applications
TLDR
Flapjax provides two key features that simplify writing these applications: it provides event streams, a uniform abstraction for communication within a program as well as with external Web services, and the language itself is reactive: it automatically tracks data dependencies and propagates updates along those dataflows. Expand
FatTire: declarative fault tolerance for software-defined networks
TLDR
This paper presents FatTire, a new language for writing fault-tolerant network programs that allows developers to specify the set of paths that packets may take through the network as well as the degree of fault tolerance required. Expand
Flapjax: a programming language for Ajax applications
TLDR
Flapjax provides two key features that simplify writing these applications: it provides event streams, a uniform abstraction for communication within a program as well as with external Web services, and the language itself is reactive: it automatically tracks data dependencies and propagates updates along those dataflows. Expand
Languages for software-defined networks
TLDR
The Frenetic project is designing simple and intuitive abstractions for programming the three main stages of network management: monitoring network traffic, specifying and composing packet forwarding policies, and updating policies in a consistent way to reach SDNs full potential. Expand
ADsafety: Type-Based Verification of JavaScript Sandboxing
TLDR
A novel type system for JavaScript is used to encode and verify sandboxing properties, which is lightweight and efficient, and operates on actual source. Expand
A fast compiler for NetKAT
TLDR
This paper presents a new compiler for the NetKAT language that handles rich features including regular paths and virtual networks, and yet is several orders of magnitude faster than previous compilers. Expand
Using static analysis for Ajax intrusion detection
TLDR
This analysis tackles numerous challenges posed by modern web applications including asynchronous communication, frameworks, and dynamic code generation, and builds an intrusion-prevention proxy for the server that intercepts client requests and disables those that do not meet the expected behavior. Expand
...
1
2
3
4
5
...