<story><title>Program Synthesis Demo</title><url>http://research.microsoft.com/en-us/um/people/sumitg/pubs/mobisys13.mp4</url><text></text></story><parent_chain></parent_chain><comment><author>krilnon</author><text>The demo is neat, although the flashy, impressive part (NL-&amp;gt;program) predates this particular piece of work. For example, Greg Little&amp;#x27;s &amp;quot;sloppy programming&amp;quot; is from 2008-ish: &lt;a href=&quot;http://groups.csail.mit.edu/uid/projects/keyword-commands/index.html&quot; rel=&quot;nofollow&quot;&gt;http:&amp;#x2F;&amp;#x2F;groups.csail.mit.edu&amp;#x2F;uid&amp;#x2F;projects&amp;#x2F;keyword-commands&amp;#x2F;in...&lt;/a&gt;&lt;p&gt;Le and Gulwani&amp;#x27;s paper does cite Little, but the refutation is a bit weak.&lt;p&gt;&amp;gt; Little and Miller propose a code completion tool that synthesizes the most likely Java expression in a code context from a set of keywords [23]. Smart-Synth is different, in that it synthesizes a complete script and does not require extra contextual information.&lt;p&gt;From the video, a &amp;quot;complete script&amp;quot; appears to be 1 or 2 simple expressions.  And not requiring contextual information sounds like it can&amp;#x27;t take advantage of contextual information.</text></comment>
<story><title>Program Synthesis Demo</title><url>http://research.microsoft.com/en-us/um/people/sumitg/pubs/mobisys13.mp4</url><text></text></story><parent_chain></parent_chain><comment><author>opless</author><text>And a link to his homepage where you might find more work on program synthesis &lt;a href=&quot;http://research.microsoft.com/en-us/um/people/sumitg/&quot; rel=&quot;nofollow&quot;&gt;http:&amp;#x2F;&amp;#x2F;research.microsoft.com&amp;#x2F;en-us&amp;#x2F;um&amp;#x2F;people&amp;#x2F;sumitg&amp;#x2F;&lt;/a&gt;</text></comment>