Programming by Examples - Gulwani, Sumit (Tutorial at PLDI 2016, 2016)
Tutorial at PLDI 2016