<p>Start with the notes form Ras Bodik's course, Program Synthesis for everyone: <a href="http://www.cs.berkeley.edu/~bodik/cs294fa12">http://www.cs.berkeley.edu/~bodik/cs294fa12</a></p>

<p>The slides from the recent summer school are also useful: <a href="https://excape.cis.upenn.edu/summer-school.html">https://excape.cis.upenn.edu/summer-school.html</a></p>

CC BY-SA 3.0
2013-07-03T21:18:33.667Z
2013-07-03T21:18:33.667Z
James Koppel
<p>There some internet pages:</p>

<ul>
<li><a href="http://en.wikipedia.org/wiki/Program_synthesis" rel="nofollow">http://en.wikipedia.org/wiki/Program_synthesis</a></li>
<li><a href="http://research.microsoft.com/en-us/um/people/sumitg/pubs/synthesis.html" rel="nofollow">http://research.microsoft.com/en-us/um/people/sumitg/pubs/synthesis.html</a></li>
<li><a href="https://sites.google.com/site/asergrp/bibli/program-synthesis" rel="nofollow">https://sites.google.com/site/asergrp/bibli/program-synthesis</a></li>
</ul>

<p>But, honestly, i can't find entrance to that topic. There are a lot of advanced level talks but only a few "hello world" examples(or completely none).</p>

<p>So where can one start learning about program synthesis ?</p>

CC BY-SA 3.0
2013-07-03T21:11:09.380Z
Without knowing what you don't know and what hurdles you have encountered, we cannot help – you already supply many many references (via those links).
Dave Clarke
CC BY-SA 3.0
2013-07-04T01:14:13.083Z
Have you tried learning other current research topics before? This is an active and developing field, so the focus is not "hello world" type examples. James Koppel's answer does have good starting points, but note that they are extremely recent.
Vijay D
<ds.algorithms>
Getting started with Program Synthesis
Oleksandr
# Getting started with Program Synthesis

(Asked by: username_0 on 2013-07-03)

There some internet pages:

* <http://en.wikipedia.org/wiki/Program_synthesis>
* <http://research.microsoft.com/en-us/um/people/sumitg/pubs/synthesis.html>
* <https://sites.google.com/site/asergrp/bibli/program-synthesis>

But, honestly, i can't find entrance to that topic. There are a lot of advanced level talks but only a few "hello world" examples(or completely none).

So where can one start learning about program synthesis ?

**Tags:** ds.algorithms

> **Comments:**
> **username_1**: Without knowing what you don't know and what hurdles you have encountered, we cannot help – you already supply many many references (via those links).  
> **username_2**: Have you tried learning other current research topics before? This is an active and developing field, so the focus is not "hello world" type examples. username_3's answer does have good starting points, but note that they are extremely recent.  

---

## 1 answers

### Answer by username_3 on 2013-07-03. Score: 9 | Accepted answer

Start with the notes form Ras Bodik's course, Program Synthesis for everyone: <http://www.cs.berkeley.edu/~bodik/cs294fa12>

The slides from the recent summer school are also useful: <https://excape.cis.upenn.edu/summer-school.html>


---

