I work on neural program synthesis from input-output examples and natural language, intersections of machine learning and software engineering, and neuro-symbolic architectures. I am particularly interested in combining neural and symbolic techniques to tackle the next generation of AI problems, including program synthesis, planning, and reasoning. My main passion of the past few years has been PROSE, a program synthesis framework for mass-market development of by-example technologies.
I completed my Ph.D. in the Paul G. Allen School of Computer Science & Engineering at the University of Washington. My advisors were Sumit Gulwani and Zoran Popović. Before joining UW, I received my B.S. in System Analysis with honors from the National Technical University of Ukraine “Kyiv Polytechnic Institute” in 2012.
- 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.
- Program committee member for IJCAI-ECAI 2018
- Ad-hoc reviewer for the Theoretical Computer Science Journal, 2015