Research interests

It is too hard to build trustworthy software systems. I aim for simple, high-level abstractions that offer programmers strong guarantees about cross-cutting concerns: security, distribution, extensibility, persistence.

Active Projects

• Chair, SIGPLAN Executive Committee.
• Viaduct: Automatically compiling high-level code to secure cryptographic protocols.
• SCIF: a language for building secure smart contracts.
• Gallifrey: A new language for efficient geodistributed programming.
• SecVerilog and ChiselFlow: hardware description languages for building processors that control timing channels, such as Hyperflow.
• Constrain, a JavaScript constraint-based system for drawing animated figures.
• Reduct, a game for teaching programming.
• Fabric: A language and system for secure, distributed computation, sharing, and storage, built on Jif: an extended version of Java that enforces security and privacy by controlling information flow.
• SHErrLoc: The Static Holistic Error Locator identifies the most likely locations of program errors by analyzing graphs of program constraints.
• JLang, an LLVM back end for Polyglot, a widely used, extensible Java compiler front end framework for rapid experimentation with new language extensions.
• Current program committees: EuroSys'26
• ▸ Undergraduate and MEng research opportunities
• [Show older projects]