099 - Program synthesis and the art of programming by intent with Dr. Sumit Gulwani

099 - Program synthesis and the art of programming by intent with Dr. Sumit Gulwani

Dr. Sumit Gulwani is a programmer’s programmer. Literally. A Partner Research Manager in the Program Synthesis, or PROSE, group at Microsoft Research, Dr. Gulwani is a leading researcher in program synthesis and the inventor of many intent-understanding, programming-by-example and programming-by-natural language technologies – aka, the automation of “what I meant to do and wanted to do, but my computer wouldn’t let me” tasks.

Today, Dr. Gulwani gives us an overview of the exciting “now” and promising future of program synthesis; reveals some fascinating new applications and technical advances; tells us the story behind the creation of Excel’s popular Flash Fill feature (and how a Flash Fill Fail elicited a viral tweet that paved the way for new domain investments); and shares a heartwarming story of how human empathy facilitated an “ah-ha math moment” in the life of a child, and what that might mean to computer scientists, educators and even tech companies in the future.

https://www.microsoft.com/research

Denne episoden er hentet fra en åpen RSS-feed og er ikke publisert av Podme. Den kan derfor inneholde annonser.

Episoder(200)

Learn the rules: The hacker mindset

Learn the rules: The hacker mindset

Research Manager Mike Walker reflects on a career spanning hacker culture, cybersecurity, and AI, sharing lessons about trust, teamwork, leadership, and why solving difficult problems requires curiosi...

3 Nov 0s

Microsoft Research Focus – Edition #97

Microsoft Research Focus – Edition #97

Host Sowbhagya Suresh shares some of the latest news and cutting-edge research from across Microsoft—from understanding the challenges facing coding agents to uncovering how people use AI at work and ...

29 Okt 0s

Called to serve: Tech, research, and positive impact with Chris White

Called to serve: Tech, research, and positive impact with Chris White

Lab Director Chris White has worked on research challenges with real-world implications—from new approaches to wartime data analysis to tools for combating human trafficking. He talks to program manag...

20 Okt 38min

What AI gets wrong and what failure teaches us

What AI gets wrong and what failure teaches us

Jennifer Neville did not want to go into computer science—but that’s exactly where she landed. Neville discusses the starts and stops that led to her professional sweet spot and her work identifying “...

6 Okt 39min

Can we AI our way to a more sustainable world?

Can we AI our way to a more sustainable world?

Doug Burger, sustainability expert Amy Luers, and optimization researcher Ishai Menache examine the global emissions implications of datacenter operations, efficiency gains, and AI's potential across ...

20 Apr 1h 1min

Ideas: Steering AI toward the work future we want

Ideas: Steering AI toward the work future we want

Microsoft Chief Scientist Jaime Teevan and researchers Jenna Butler, Jake Hofman, and Rebecca Janssen unpack the New Future of Work Report 2025 and explore the ideal AI-driven working world. Plus, is ...

9 Apr 54min

Will machines ever be intelligent?

Will machines ever be intelligent?

Are machines truly intelligent? AI researchers Subutai Ahmad and Nicolò Fusi join Doug Burger to compare transformer-based AI with the human brain, exploring continual learning, efficiency, and whethe...

23 Mar 1h 8min

Trailer: The Shape of Things to Come

Trailer: The Shape of Things to Come

Microsoft research lead Doug Burger introduces his new podcast series, The Shape of Things to Come, an exploration into the fundamental truths about AI and how the technology will reshape the future.T...

3 Mar 2min

Populært innen Teknologi

teknisk-sett
energi-og-klima
nasjonal-sikkerhetsmyndighet-nsm
rss-snakk-om-sikkerhet
shifter
rss-ai-forklart
teknologi-og-mennesker
lydartikler-fra-aftenposten
rss-kunstig-intelligens-med-elisabeth-maren-og-morten
rss-alt-som-gar-pa-strom
tomprat-med-gunnar-tjomlid
elektropodden
rss-polypod
rss-digitaliseringspodden
fornybaren
rss-teknologioptimistene-en-podkast-om-teknologi-og-mennesker
rss-ki-praten
rss-ki-til-kaffen
blaskjerm-brodrene
i-loopen