https://research.microsoft.com/en-us/events/icfpcontest2013/ 今年の ICFP Programming Contest はEasyChair使うのかw あと、プログラム合成に関係するらしいけれど、MSRだし↓みたいな話でも関係するのかね。
From program verification to program synthesis
http://www.cs.umd.edu/~saurabhs/pubs/popl10-syn.html
Path-based Inductive Synthesis for Program Inversion
http://www.cs.umd.edu/~saurabhs/pubs/pldi11-pins.html