Increasing the Power of [Human+Program Synthesis] through Interface Design

Program synthesis is a powerful tool for generating programs, but in the hands of users, its potential can be severely limited by unanticipated usability obstacles. In this talk, I will describe several key usability obstacles and new synthesis-powered interaction mechanisms that help users get past these obstacles to their goal: a program that behaves the way they want it to.