200 citations · 634 across the 27 of their papers we have counts for
5 papers · 1 filter
The Essence of JavaScript
Arjun Guha, Claudiu Saftoiu, Shriram Krishnamurthi
We reduce JavaScript to a core calculus structured as a small-step operational semantics. We present several peculiarities of the language and show that our calculus models them. W…
Morpheus: Safe and Flexible Dynamic Updates for SDNs
Karla Saur, Joseph Collard, Nate Foster +3
SDN controllers must be periodically modified to add features, improve performance, and fix bugs, but current techniques for implementing dynamic updates are inadequate. Simply hal…
Rehearsal: A Configuration Verification Tool for Puppet
Rian Shambaugh, Aaron Weiss, Arjun Guha
Large-scale data centers and cloud computing have turned system configuration into a challenging problem. Several widely-publicized outages have been blamed not on software bugs, b…
ADsafety: Type-Based Verification of JavaScript Sandboxing
Joe Gibbs Politz, Spiridon Eliopoulos, Arjun Guha +1
Web sites routinely incorporate JavaScript programs from several sources into a single page. These sources must be protected from one another, which requires robust sandboxing. The…
A Fast Compiler for NetKAT
Steffen Smolka, Spiridon Eliopoulos, Nate Foster +1
High-level programming languages play a key role in a growing number of networking platforms, streamlining application development and enabling precise formal reasoning about netwo…