Estimating types in binaries using predictive modeling

gasche · Nov 1, 2016 · 959545e · 959545e
1 parent f1ecc2a
commit 959545e
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/README.md b/README.md
@@ -103,6 +103,7 @@ benefit an even larger audience.
   by Davide Sangiorgi, Valeria Vignudelli  
 
 * **Estimating types in binaries using predictive modeling**  
+  ([preprint](http://www.cs.technion.ac.il/~yahave/papers/popl16.pdf))  
   by Omer Katz, Ran El-Yaniv, Eran Yahav  
 
 * **Example-Directed Synthesis: A Type-Theoretic Interpretation**