research
∙
06/15/2023
Live Exploration of AI-Generated Programs
AI-powered programming assistants are increasingly gaining popularity, w...
share
research
∙
03/01/2020
Retrofitting Fine Grain Isolation in the Firefox Renderer (Extended Version)
Firefox and other major browsers rely on dozens of third-party libraries...
research
∙
12/04/2019
Gobi: WebAssembly as a Practical Path to Library Sandboxing
Software based fault isolation (SFI) is a powerful approach to reduce th...
research
∙
07/17/2019
Generating Correctness Proofs with Neural Networks
Foundational verification allows programmers to build software which has...
research
∙
04/30/2019
Targeted Synthesis for Programming with Data Invariants
Programmers frequently maintain implicit data invariants, which are rela...
research
∙
05/29/2017