Program Synthesis Demo

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

[opless]

And a link to his homepage where you might find more work on program synthesis http://research.microsoft.com/en-us/um/people/sumitg/

[chton]

I expect this will lead to a whole new category of bugs: "I wasn't precise enough in saying what I wanted, so now the code doesn't do what it should."

Interesting technology, but I doubt it will ever replace or even be used in a proper piece of code.

[jameshart]

"I wasn't precise enough in saying what I wanted, so now the code doesn't do what it should." is not, in any sense, a new category of bugs.

[tree_of_item]

You put in a query and get out some code. Concrete code not connected to the query anymore. The code doesn't shift out from under you later, if that's what you're implying.

Why wouldn't it be used in a "proper piece of code"? You ask Visual Studio/XCode/Eclipse for something and it gives you back a snippet that you can use as a starting point.

[webwarrior]

But it would be a good alternative to bash one-liners.

[isbadawi]

Pretty neat. I noticed something a bit off about the "tint a random photo blue" example around 2:22. Two of the three search results are fine, but the second search result is

    pics := media -> pictures
    pic := pics -> random
    pic -> tint (colors -> sepia)
    c := colors -> blue

All the components are there but not in the right order -- it still tints with the default color.

[Leszek]

Isn't that the point though? That the search results show different possible interpretations of the text entry, and this is one of the possible ones?

[agumonkey]

The animated (translation) transitions seems everything but ergonomic to me.

For instance, static touch controls grid are pretty efficient, see:

http://www.malacria.fr/pdf/gutwin14-fasttap.pdf http://www.malacria.fr/video/fasttap-video.mp4

[Uncompetative]

Interesting research. Of course, you could always hack the Home button to act as a Command key and hold the device in landscape orientation without having to give up a piece of the screen.

[frik]

This system could be used together with speech recognition (Siri, Cortana, etc. personal agent) to automate tasks and write little apps on a mobile device.

[robgibbons]

Very interesting demo. It reminds me of Microsoft Australia's work with on(X)... but this is closer to code completion on steroids.

[covi]

I have attended one of Sumit's guest lectures, and his work on Flash Fill is pretty cool.

[beemoe]

So this is what we were all working on at ICFP last year :)

[itamarhaber]

Am I the only one hearing Daft Punk's https://www.youtube.com/watch?v=XfH3erWacsQ?