Program Synthesis For The Masses

Summary

New computing platforms have greatly increased the demand for programmers, but learning to The way a problem is represented can determine whether it is solvable at all. Céline Hocquette, AI researcher at Ndea and former ... Recorded 10 January 2023. Osbert Bastani of the University of Pennsylvania presents "Interpretable Machine Learning via ... This talk was recorded at Lambda Days in June 2025. If you're curious about our upcoming event, check lambdadays.org ... Sumit Gulwani will talk about the four bets that he made in the second half of his research career, which yielded greater personal ... In this video we discuss the paper " Panel discussion with Francois Chollet, Kevin Ellis, and Zenna Tavares on why pldi22.sigplan.org/details/pldi-2022-pldi/25/Type-Directed- Architects and designers are increasingly embracing scripting paradigms to generate complex and beautiful forms that are too ... Kevin Ellis (Cornell) and Zenna Tavares (BASIS) argue that the next wave of AI needs to learn humans do: building abstract ... Link to Paper: dl.acm.org/doi/10.1145/3527315 Voiceover: Generated using ElevenLabs AI voice technology.