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 ?


Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Browse other questions tagged or ask your own question.