PROSE group header - blue background

PROSE

AI-Assisted Programming

The PROSE research and engineering team, led by Sumit Gulwani, develops program synthesis APIs over a wide variety of modalities — programming by examples (PBE), natural language, temporal context — with applications in diverse areas such as assisting sloppy programmers through automatic program repair and conversational AI.

Programming by examples (PBE) is a new frontier in AI that enables users to create scripts from input-output examples. PBE can provide a 10-100x productivity increase for developers in some task domains. About 99% of computer users are non-programmers and PBE can enable them to create small scripts to automate repetitive tasks. Moreover, PBE is revolutionizing data wrangling as well, as data scientists spend up to 80% time transforming data into a form suitable for machine learning (ML). We own part of the AI surface for mass-market products over four customer segments: developers (Visual Studio (opens in new tab), VS Code (opens in new tab)), data scientists (Notebooks (opens in new tab)), low-code/no-code users (Excel (opens in new tab), Power Apps (opens in new tab), Power Automate (opens in new tab), Power Query (opens in new tab)), and students (Github Education (opens in new tab)).

We advance the state of the art in program synthesis through innovations and deliver these innovations in mass-market products, as indicated by active customer usage and testimonials. We also heavily publish in top-tier conferences, which gained significant recognition and delivered impact over the broader research community. We empower our team members through the culture of strong collaboration within impactful projects, trusted relationships with product partners, and accelerate impact by giving back through mentorship to long-term interns and research fellows (learn more about our research fellowship program). Our research culture is based on: customer connection that enables us to pick the relevant problems, synergy between research and engineering, an approach towards building foundational frameworks, and cross-disciplinary work.