[Adapt] [ADAPT Group Seminar] Introduction to program synthesis
李伟
liwei606 at gmail.com
Tue Oct 9 19:54:47 CST 2012
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>
More information about the Adapt
mailing list