[35] Armando Solar-Lezama - Program Synthesis by Sketching

from The Thesis Review Hosted by Sean Welleck

Armando Solar-Lezama is a Professor at MIT, and the Associate Director & COO of CSAIL. He leads the Computer Assisted Programming Group, focused on program synthesis. Armando’s PhD thesis is titled, "Program Synthesis by Sketching", which he completed in 2008 at UC Berkeley. We talk about program synthesis & his work on Sketch, how machine learning's role in program synthesis has evolved over time, and more. - Episode notes: https://cs.nyu.edu/~welleck/episode35.html - Follow the Thesis Review (@thesisreview) and Sean Welleck (@wellecks) on Twitter - Find out more info about the show at https://cs.nyu.edu/~welleck/podcast.html - Support The Thesis Review at www.patreon.com/thesisreview or www.buymeacoffee.com/thesisreview

Episode details come from the podcast's RSS feed.

Embed this episode

Attribution link and audio player

Ready to play

[35] Armando Solar-Lezama - Program Synthesis by Sketching

0:00 1:15:56

No transcript yet.

Requests help us decide what to transcribe next.

Share this episode

Frequently asked questions

How long is this episode of The Thesis Review?

This episode is 1 hour and 15 minutes long.

When was this The Thesis Review episode published?

This episode was published on November 6, 2021.

Can I download this The Thesis Review episode?

Yes. Use the download control on the episode player to save the publisher-provided media file.