Software

I am (or was) a primary contributor to the following software systems.

Web Programming and Security

• Stopify: JS-to-JS compiler that adds support for blocking I/O, in-browser debugging, and more
• Strobe: type-checker for JavaScript
• LambdaJS: executable semantics for JavaScript
• Ovid: control-flow analysis for JavaScript
• Flapjax: functional reactive JavaScript

System Configuration Management

• Rehearsal: verifier for Puppet

Software-defined Networking

• Frenetic: a high-level language for programming networks
• PANE: an SDN controller that supports decentralized control