Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision Next revision | Previous revision | ||
|
insynth [2013/05/17 22:25] vkuncak |
insynth [2013/06/29 10:53] gvero |
||
|---|---|---|---|
| Line 5: | Line 5: | ||
| 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/~gvero/gveroETAL13CompleteCompletionTypesWeights.pdf|Complete Completion using Types and Weights]], PLDI'2013 |
| - | [[https://dl.dropboxusercontent.com/u/4182451/insynth/poster.pdf|Here is the corresponding poster]] | + | [[http://lara.epfl.ch/~gvero/pldi-slides.pdf|Here are the corresponding slides]] and [[https://dl.dropboxusercontent.com/u/4182451/insynth/poster.pdf|the poster]]. |
| These techniques are used in [[https://infoscience.epfl.ch/record/186043?ln=en|this framework for synthesis and verification of recursive functional programs]]. | These techniques are used in [[https://infoscience.epfl.ch/record/186043?ln=en|this framework for synthesis and verification of recursive functional programs]]. | ||
| Line 16: | Line 16: | ||
| ---- | ---- | ||
| - | |||