Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision Next revision | Previous revision Next revision Both sides next revision | ||
|
insynth [2013/05/17 22:25] vkuncak |
insynth [2013/05/17 22:25] vkuncak |
||
|---|---|---|---|
| Line 1: | Line 1: | ||
| ====== InSynth: Type-Driven Interactive Synthesis of Code Snippets ====== | ====== InSynth: Type-Driven Interactive Synthesis of Code Snippets ====== | ||
| - | **InSynth** is a tool for interactive synthesis of code snippets. It solves quantiative version of the type inhabitation problem to synthesize a ranked list of code fragments that use given library functions. | + | **InSynth** is a tool for interactive synthesis of code snippets. It synthesizes a ranked list of code fragments that use given library functions. |
| A recent version is presented in the following paper: | A recent version is presented in the following paper: | ||
| - | *[[http://lara.epfl.ch/~kuncak/papers/GveroETAL13CompleteCompletionTypesWeights.pdf|Complete Completion using Types and Weights]], PLDI'2013 | + | * [[http://lara.epfl.ch/~kuncak/papers/GveroETAL13CompleteCompletionTypesWeights.pdf|Complete Completion using Types and Weights]], PLDI'2013 |
| [[https://dl.dropboxusercontent.com/u/4182451/insynth/poster.pdf|Here is the corresponding poster]] | [[https://dl.dropboxusercontent.com/u/4182451/insynth/poster.pdf|Here is the corresponding poster]] | ||