Lab for Automated Reasoning and Analysis LARA

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

insynth [2013/06/28 11:19]
gvero
insynth [2013/06/29 10:53] (current)
gvero
Line 5: Line 5:
 A recent version is presented in the following paper: A recent version is presented in the following paper:
  
-  * [[http://http://​lara.epfl.ch/​~gvero/​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 ​
  
 [[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]]. ​ [[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]]. ​
 
insynth.txt · Last modified: 2013/06/29 10:53 by gvero