Research
Building programming languages, tools, and software engineering techniques that make software more reliable, secure, and productive.
The Bosque Programming Language project is investigating the implications of explicitly designing a program intermediate representation with the goal of supporting automated reasoning tools while simultaneously providing an accessible and agile surface programming language for…
Differential privacy is considered a de facto standard for private data analysis. However, the definition and much of the supporting literature applies to flat tables. While there exist variants of the definition and specialized algorithms…
Project Everest is a multiyear collaborative effort focused on building a verified, secure communications stack designed to improve the security of HTTPS, a key internet safeguard. This post, about the high-performance industrial-grade EverCrypt cryptographic provider,…
