Information Retrieval based Program Synthesis

Add to your list(s) Download to your calendar using vCal

• T-yiwei Yi (Jason) Wei, ETH Zurich
• Tuesday 01 November 2011, 10:00-11:00
• Small lecture theatre, Microsoft Research Ltd, 7 J J Thomson Avenue (Off Madingley Road), Cambridge.

If you have a question about this talk, please contact Microsoft Research Cambridge Talks Admins.

Program Synthesis is a long-term dream in computer science. Traditional approaches often rely on full-functional formal specification and are limited to generate code containing a small predefined set of operations. In this talk, I will present an information retrieval based, fully automated approach to generate code in VisualStudio from a possibly very partial specification given in natural language. The key idea is first applying machine learning on top of the Bing search engine and then using program generalization to derive the best solution in user’s current programming context.

For example, in VisualStudio, a C# programmer can type in a specification such as “How to generate MD5 hash?” in a comment and use the automated-programming-aware Intellisense to get the following code:

///How to generate MD5 hash?

string input; MD5 CryptoServiceProvider md5 = new MD5 CryptoServiceProvider(); byte[] hash = md5.ComputeHash(Encoding.UTF8.GetBytes(input)); StringBuilder sb = new StringBuilder();

for (int i = 0; i hash.Length; i++) { sb.Append(hash[i].ToString(“X2”)); }

// Use sb.ToString();

In the talk, I will discuss the design of such a system, the progress and results so far, the limitations and the many problems yet to solve.

This talk is part of the Microsoft Research Cambridge, public talks series.

This talk is included in these lists:

• All Talks (aka the CURE list)
• Cambridge Centre for Data-Driven Discovery (C2D3)
• Cambridge talks
• Chris Davis' list
• Guy Emerson's list
• Interested Talks
• Microsoft Research Cambridge, public talks
• Optics for the Cloud
• PMRFPS's
• School of Technology
• Small lecture theatre, Microsoft Research Ltd, 7 J J Thomson Avenue (Off Madingley Road), Cambridge
• Trust & Technology Initiative - interesting events
• bld31
• ndk22's list
• ob366-ai4er
• personal list
• rp587

Note that ex-directory lists are not shown.