Program Synthesis For The Masses

Summary

New computing platforms have greatly increased the demand for programmers, but learning to Panel discussion with Francois Chollet, Kevin Ellis, and Zenna Tavares on why Link to Paper: dl.acm.org/doi/10.1145/3527315 Voiceover: Generated using ElevenLabs AI voice technology. 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 ... pldi22.sigplan.org/details/pldi-2022-pldi/25/Type-Directed- Aws Albarghouthi, Associate Professor of Computer Science at the University of Wisconsin-Madison, discusses his paper ... Sumit Gulwani will talk about the four bets that he made in the second half of his research career, which yielded greater personal ... Kevin Ellis (Cornell) and Zenna Tavares (BASIS) argue that the next wave of AI needs to learn humans do: building abstract ... Architects and designers are increasingly embracing scripting paradigms to generate complex and beautiful forms that are too ... 3 min presentation for icml paper : openreview.net/pdf/2cc1c8652099cbee25888f05fbea6675fe11e558.pdf. This talk was recorded at Lambda Days in June 2025. If you're curious about our upcoming event, check lambdadays.org ...