ICSE20 Gulwani Most Influential Paper Award Speech

July 20, 2020
Sumit Gulwani | Microsoft Research
Microsoft at ICSE 2020

Sumit Gulwani talks about the past 11 years of his journey at Microsoft, developing various usable program synthesis technologies and the role that this ICSE 2010 paper played in that journey.

- Sumit Gulwani
  
  Distinguished Scientist and Vice President
Research Area
Event
- Microsoft at ICSE 2020
- Microsoft @ POPL 2020
Publication
- Oracle-Guided Component-Based Program Synthesis
- From Program Verification to Program Synthesis

Watch Next

Introducing Muse: Our first generative AI model designed for gameplay ideation
May 20, 2026
Guiding the AI disruption to the Good Place
May 14, 2026
Yash Lara,

David Rothschild
New fine-tuning of language models: Match meaning, not tokens
May 14, 2026
Yash Lara,

Carles Domingo-Enrich
Introducing Interwhen: Steering reasoning agents with real-time verification
May 14, 2026
Yash Lara,

Amit Sharma
Introducing GitHub Agentic Workflows: AI that runs your repo
May 14, 2026
Yash Lara,

Peli de Halleux
MagenticLite: A full-stack agentic experience powered by Small Models
May 14, 2026
Harkirat Behl,

Weili Shi,

Hussein Mozannar
Generative AI for High-Stakes Decision-Making with Applications in One Health
May 12, 2026
Lingkai Kong
Physics and information theory of generative diffusion
May 5, 2026
Luca Ambrogioni
Language & Voice AI for Africa: From Data to Deployment and Impact
April 30, 2026
Vukosi Marivate,

Tavonga Siyavora,

Tobi Olatunji

, et. al.
Upper Bound 2024: Towards Human-Centered AI in AAA Video Game
June 11, 2024
Raluca Georgescu

ICSE20 Gulwani Most Influential Paper Award Speech

Research Area

Event

Publication

Watch Next