I am a CS Major, I am a programmer with 10 years of experience. i want to get to know about program synthesis. there are no video tutorials / courses available online. i have researched about Emina Torlak, Ras Bodik, who offer courses here https://courses.cs.washington.edu/courses/cse507/14au/sched.html
Any pointers / materials ?