[krilnon]

The demo is neat, although the flashy, impressive part (NL->program) predates this particular piece of work. For example, Greg Little's "sloppy programming" is from 2008-ish: http://groups.csail.mit.edu/uid/projects/keyword-commands/in...

Le and Gulwani's paper does cite Little, but the refutation is a bit weak.

> 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.

From the video, a "complete script" appears to be 1 or 2 simple expressions. And not requiring contextual information sounds like it can't take advantage of contextual information.