Hi all,<div><br></div><div>I will give you an<b> introduction to</b> <b>program synthesis</b> on our group seminar tommorrow. Enclosed are my slides. And I have added links to the reference papers or invited talks in case that you have interest to know more details.</div>
<div><br></div><div>Program synthsis is a process<span style="background-color:rgb(255,255,0)"> t</span><span style="background-color:rgb(255,255,51)">o <b>synthesize</b> <b>programs automatically</b> with some form of <b>user intent</b> as constraints</span>. </div>
<div>I will mainly talk about the listed four aspects of program synthesis tommorrow:</div><div><ul><li>Why program synthesis</li><li>What is program synthesis</li><li>How does program synthesis work</li><li>Concludions and future work</li>
</ul>Hope you can enjoy that :)</div><div><br></div><div>Cheers</div><div><br></div><div>Wei Li </div>