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 ?

  • $\begingroup$ I'm on the fence about this question. On one hand, it is a basic question, on the other there are some very popular questions on mathoverflow of the same bent: mathoverflow.net/questions/18794/how-to-start-game-theory mathoverflow.net/questions/1291/… mathoverflow.net/questions/83869/… Do we really want to disallow these types of questions? $\endgroup$ – cody Apr 9 '19 at 13:34
  • 2
    $\begingroup$ What's wrong with just moving it over to CS.SE? $\endgroup$ – Andrej Bauer Apr 9 '19 at 15:45
  • 1
    $\begingroup$ Either is fine, but I think questions of the style "what is a roadmap for learning X", where X is a field of computer science, should be on-topic here, as they are on mathoverflow. $\endgroup$ – cody Apr 9 '19 at 20:19
  • $\begingroup$ @cypher You might be interested in the Rosette language: emina.github.io/rosette $\endgroup$ – jmite Jul 28 '19 at 17:04

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.