[Adapt] [ADAPT Group Seminar] Introduction to program synthesis

[李伟]

Hi all,

I will give you an* introduction to* *program synthesis* 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.

Program synthsis is a process to *synthesize* *programs automatically* with
some form of *user intent* as constraints.
I will mainly talk about the listed four aspects of program synthesis
tommorrow:

   - Why program synthesis
   - What is program synthesis
   - How does program synthesis work
   - Concludions and future work

Hope you can enjoy that :)

Cheers

Wei Li
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://cs.sjtu.edu.cn/pipermail/adapt/attachments/20121009/d13ced6e/attachment-0001.html>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: ProgramSynthesis.pdf
Type: application/pdf
Size: 1018387 bytes
Desc: not available
URL: <http://cs.sjtu.edu.cn/pipermail/adapt/attachments/20121009/d13ced6e/attachment-0001.pdf>