- Program Synthesis via Neural-Guided Deductive Search
Invited talk at the Machine Learning + Programming Languages Workshop 2018.
- Bringing Program Synthesis to the Mass Markets
Approaches and Applications of Inductive Programming, Dagstuhl Seminar 2017.
- Data Processing Using Input-Output Examples with Microsoft PROSE SDK
Creating Programming-By-Example Features in Arbitrary Domains with Microsoft PROSE SDK
A series of tutorials hosted as part of the Machine Learning & Data Science Conference (MLADS) 2017.
- PROSE: Inductive Program Synthesis for the Mass Markets
Invited talk & Hackathon for graduate students at UC Berkeley, January 2017.
- Automated Program Synthesis
Invited talk at the Human-Like Computing Machine Intelligence Workshop (MI20-HLC), October 2016.
- PROSE: Growing Program Synthesis to Industrial Applications
UW PLSE Research Retreat Workshop, September 2016.
- PROSE: Programming using Examples
Co-lectured with Sumit Gulwani.
Invited tutorial at the ACM SIGPLAN Conference on Programming Languages Design & Implementation (PLDI) 2016.
- Program synthesis in the industrial world: inductive, incremental, interactive
Alex Polozov, Sumit Gulwani, and the rest of the PROSE team
5th Workshop on Program Synthesis (SYNT), 2016.
- Programming by Examples
Co-lectured with Sumit Gulwani at Marktoberdorf Summer School 2015.
- Personalized Mathematical Word Problem Generation
Approaches and Applications of Inductive Programming, Dagstuhl Seminar 2013.
- 2019: AAAI’19 PC
- 2018: IJCAI-ECAI’18 PC, GPCE’18 PC, ML4PL’18 PC, ESEC/FSE’18 SRC PC