Slide 1 Dimensions in Synthesis Sumit Gulwani [email protected] Microsoft Research, Redmond May 2012 Slide 2 Synthesize a program in some underlying language from user…