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)

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

Ideas: Community building, machine learning, and the future of AI

Ideas: Community building, machine learning, and the future of AI

As the Women in Machine Learning Workshop (WiML) marks its 20th annual gathering, cofounders, friends, and collaborators Jenn Wortman Vaughan and Hanna Wallach reflect on WiML’s evolution, navigating ...

1 Des 202556min

Ideas: More AI-resilient biosecurity with the Paraphrase Project

Ideas: More AI-resilient biosecurity with the Paraphrase Project

Microsoft’s Eric Horvitz and guests Bruce Wittmann, Tessa Alexanian, and James Diggans discuss the Paraphrase Project—a red-teaming effort that exposed and secured a biosecurity vulnerability in AI-dr...

6 Okt 202552min

Coauthor roundtable: Reflecting on healthcare economics, biomedical research, and medical education

Coauthor roundtable: Reflecting on healthcare economics, biomedical research, and medical education

For the series finale, Peter Lee, Carey Goldberg, and Dr. Zak Kohane compare their predictions to insights from the series’ most recent guests, including experts on AI’s economic and societal impact, ...

21 Aug 20251h 18min

Reimagining healthcare delivery and public health with AI

Reimagining healthcare delivery and public health with AI

Former Washington State Secretary of Health Dr. Umair Shah and Mayo Clinic CEO Dr. Gianrico Farrugia explore how healthcare leaders are approaching AI when it comes to public health, care delivery, th...

7 Aug 20251h 15min

Populært innen Teknologi

lydartikler-fra-aftenposten
romkapsel
teknisk-sett
elektropodden
shifter
energi-og-klima
nasjonal-sikkerhetsmyndighet-nsm
tomprat-med-gunnar-tjomlid
fornybaren
hans-petter-og-co
rss-ki-praten
teknologi-og-mennesker
rss-for-alarmen-gar
rss-digitaliseringspadden
rss-heis
rss-ai-forklart
rss-bouvet-bobler
rss-alt-som-gar-pa-strom
i-loopen
rss-alt-vi-kan