<p>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 <a href="https://courses.cs.washington.edu/courses/cse507/14au/sched.html" rel="nofollow noreferrer">https://courses.cs.washington.edu/courses/cse507/14au/sched.html</a></p>

<p>Any pointers / materials ?</p>

CC BY-SA 4.0
2019-04-09T13:34:36.547Z
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: https://mathoverflow.net/questions/18794/how-to-start-game-theory https://mathoverflow.net/questions/1291/a-learning-roadmap-for-algebraic-geometry/1378 https://mathoverflow.net/questions/83869/getting-started-combinatorial-optimization-for-computer-scientists/83927 Do we really want to disallow these types of questions?
cody
CC BY-SA 4.0
2019-04-09T15:45:39.730Z
What's wrong with just moving it over to CS.SE?
Andrej Bauer
CC BY-SA 4.0
2019-04-09T20:19:19.087Z
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.
cody
CC BY-SA 4.0
2019-07-28T17:04:20.807Z
@cypher You might be interested in the Rosette language: https://emina.github.io/rosette/
Joey Eremondi
<reference-request><pl.programming-languages>
How to get started with program synthesis
cypher
# How to get started with program synthesis

(Asked by: username_0 on 2019-04-09)

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 ?

**Tags:** reference-request, pl.programming-languages
> **Comments:**
> **username_1**: 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: https://mathoverflow.net/questions/18794/how-to-start-game-theory https://mathoverflow.net/questions/1291/a-learning-roadmap-for-algebraic-geometry/1378 https://mathoverflow.net/questions/83869/getting-started-combinatorial-optimization-for-computer-scientists/83927 Do we really want to disallow these types of questions?  
> **username_2**: What's wrong with just moving it over to CS.SE?  
> **username_1**: 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.  
> **username_3**: @cypher You might be interested in the Rosette language: https://emina.github.io/rosette/  

---

## 0 answers

