As part of the PROSE team, my research is focused on leveraging program synthesis technologies to make users more productive by automating repetitive tasks. Two research directions that I am ...