Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision Next revision | Previous revision Last revision Both sides next revision | ||
isynth [2011/07/14 21:19] gvero |
isynth [2011/07/15 08:41] gvero |
||
---|---|---|---|
Line 1: | Line 1: | ||
- | ====== InSynth: Interactive Synthesis of Code Snippets ====== | + | Please go to the new InSynth [[insynth|website]]. |
- | \\ | + | |
- | **InSynth** is a tool for interactive synthesis of code snippets. It applies theorem proving technology to synthesize code fragments that use given library functions. InSynth synthesizes code applying polymorphic type constraints as well as code behavior. | ||
- | \\ | ||
- | |||
- | For system description please read | ||
- | [[http://laraserver.epfl.ch/~gvero/InSynth.pdf|the full paper (under submission)]] or | ||
- | [[http://lara.epfl.ch/~kuncak/papers/GveroETAL11InteractiveSynthesisofCodeSnippets.pdf|the short paper]] or [[http://laraserver.epfl.ch/~gvero/InSynthSlides.ppt|the slides]]. | ||
- | |||
- | === Download === | ||
- | You can download InSynth from [[http://laraserver.epfl.ch/~gvero/insynth-0-2.zip|here]]. | ||
- | |||
- | |||
- | === Benchmarks === | ||
- | You can find our benchmarks and examples [[http://laraserver.epfl.ch/~gvero/benchmarks.zip|here]]. | ||
- | |||
- | |||
- | === Training Data === | ||
- | Please find training data we use to build a corpus [[http://laraserver.epfl.ch/~gvero/corpus.zip|here]]. | ||
- | |||
- | \\ | ||
- | \\ |