Listen Top Shows Blog

Contemporary and Future Applications of Program Synthesis with Armando Solar-Lezama

Contemporary and Future Applications of Program Synthesis with Armando Solar-Lezama

Update: 2023-05-01

Share

Description

CSAIL Professor Armando Solar-Lezama shares his insights on Program Synthesis.

A full transcript of this podcast is available at cap.csail.mit.edu

Comments

Top Podcasts

The Best New Comedy Podcast Right Now – June 2024 The Best News Podcast Right Now – June 2024 The Best New Business Podcast Right Now – June 2024 The Best New Sports Podcast Right Now – June 2024 The Best New True Crime Podcast Right Now – June 2024 The Best New Joe Rogan Experience Podcast Right Now – June 20 The Best New Dan Bongino Show Podcast Right Now – June 20 The Best New Mark Levin Podcast – June 2024

In Channel

AI in Healthcare with UCSD Prof. Karandeep Singh & Robot Conversations with CSAIL Prof. Andreea Bobu

AI in Healthcare with UCSD Prof. Karandeep Singh & Robot Conversations with CSAIL Prof. Andreea Bobu

2024-11-0443:41

How companies can rebuild trust around data with Danny Weitzner

How companies can rebuild trust around data with Danny Weitzner

2024-10-0729:58

How AI can help with financial decision making with Professor Andrew Lo

How AI can help with financial decision making with Professor Andrew Lo

2024-09-0336:23

Hype vs. Reality: the Current State of AI with Arvind Narayanan

Hype vs. Reality: the Current State of AI with Arvind Narayanan

2024-08-0533:29

Understanding Generative AI with Stefanie Mueller

Understanding Generative AI with Stefanie Mueller

2024-07-2910:11

Reimagining Software Design with Daniel Jackson

Reimagining Software Design with Daniel Jackson

2024-07-0137:48

When is the right time to use AI in business?

When is the right time to use AI in business?

2024-06-0329:21

“Generative AI: Is it copying or creating?” Special Crossover Episode from the Click Here Podcast

“Generative AI: Is it copying or creating?” Special Crossover Episode from the Click Here Podcast

2024-05-2024:34

What's keeping two cybersecurity researchers up at night with Srini Devadas and Vinod Vaikuntanathan

What's keeping two cybersecurity researchers up at night with Srini Devadas and Vinod Vaikuntanathan

2024-05-0624:28

How Corporate Leaders Should Think About Cybersecurity with Andy Ellis and Amy Herzog

How Corporate Leaders Should Think About Cybersecurity with Andy Ellis and Amy Herzog

2024-04-0137:24

The Heart and the Chip with Professor Daniela Rus

The Heart and the Chip with Professor Daniela Rus

2024-03-0437:25

How AI will Shape the Future of Education with Hal Abelson

How AI will Shape the Future of Education with Hal Abelson

2024-02-0527:16

AI's Impact on the Future of Work with Neil Thompson

AI's Impact on the Future of Work with Neil Thompson

2024-01-0134:46

Combining Human and Computer Intelligence with Thomas Malone

Combining Human and Computer Intelligence with Thomas Malone

2023-12-0433:17

Optimization and the End of Moore’s Law with Charles E. Leiserson

Optimization and the End of Moore’s Law with Charles E. Leiserson

2023-11-0626:23

Evolving Research into Businesses with Turing Award winner Mike Stonebraker

Evolving Research into Businesses with Turing Award winner Mike Stonebraker

2023-10-0228:38

The Frontier of Large Language Models with Yoon Kim

The Frontier of Large Language Models with Yoon Kim

2023-09-1126:19

Understanding Large Language Models' Effects on Programming with Saman Amarasinghe

Understanding Large Language Models' Effects on Programming with Saman Amarasinghe

2023-08-0731:19

The Importance of Energy Efficiency in AI with Vivienne Sze

The Importance of Energy Efficiency in AI with Vivienne Sze

2023-06-0528:17

Contemporary and Future Applications of Program Synthesis with Armando Solar-Lezama

Contemporary and Future Applications of Program Synthesis with Armando Solar-Lezama

2023-05-0125:39

00:00

00:00

x

Contemporary and Future Applications of Program Synthesis with Armando Solar-Lezama

Contemporary and Future Applications of Program Synthesis with Armando Solar-Lezama

CSAIL Alliances