Research interests and papers
- Pyret: A language designed for teaching introductory programming, with an emphasis on testing, clarity, and the occasionally-awful pirate-themed pun.
- Semantics for Web Programming: Modern web programs mix rich data structures, subtle event-based execution, third-party data, and powerful but small-scale APIs. Understanding and analyzing these programs requires first building testable and executable semantics for each of these pieces, and then using these semantics to drive program analyses.
- Web browser extension compatibility: Firefox’s rise in popularity can be largely attributed to its much-touted extensions, which offer versatility, convenience and relatively-low learning curves to amateur and expert coders alike. But with such customizability comes problems: many extensions fail to work properly when installed simultaneously. This project aims to provide a better programming model for extensions that can detect and perhaps correct these conflicts before they happen.
More information can be found on the following page.