DiscoverCSAIL Alliances PodcastsContemporary and Future Applications of Program Synthesis with Armando Solar-Lezama
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 
loading
In Channel
loading
00:00
00:00
1.0x

0.5x

0.8x

1.0x

1.25x

1.5x

2.0x

3.0x

Sleep Timer

Off

End of Episode

5 Minutes

10 Minutes

15 Minutes

30 Minutes

45 Minutes

60 Minutes

120 Minutes

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

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

CSAIL Alliances