Automating Repetitive Tasks for the Masses - Gulwani, Sumit (Keynote at POPL 2015, 2015)
Keynote at POPL 2015