Sorin Lerner

Retrofitting Fine Grain Isolation in the Firefox Renderer (Extended Version)

2020 · arXiv (Cornell University)

Firefox and other major browsers rely on dozens of third-party libraries to render audio, video, images, and other content. These libraries are a frequent source of vulnerabilities. To mitigate this threat, we are migrating Firefox …

Small-Step Live Programming by Example

2020

Live programming is a paradigm in which the programming environment continually displays runtime values. Program synthesis is a technique that can generate programs or program snippets from examples. \deltextThis paper presents a new programming paradigm …

Data-driven lemma synthesis for interactive proofs

2022 · Proceedings of the ACM on Programming Languages

Interactive proofs of theorems often require auxiliary helper lemmas to prove the desired theorem. Existing approaches for automatically synthesizing helper lemmas fall into two broad categories. Some approaches are goal-directed, producing lemmas specifically to help …

Validating AI-Generated Code with Live Programming

2023 · arXiv (Cornell University)

AI-powered programming assistants are increasingly gaining popularity, with GitHub Copilot alone used by over a million developers worldwide. These tools are far from perfect, however, producing code suggestions that may be incorrect in subtle ways. …