From c660b1396a277fc3d4794a5daeff73534152c0d0 Mon Sep 17 00:00:00 2001 From: Teresa Carbajo-Garcia <t.carbajo-garcia@imperial.ac.uk> Date: Fri, 25 Nov 2016 20:48:08 +0000 Subject: [PATCH] Update InferLab.md --- teaching/InferLab.md | 1 + 1 file changed, 1 insertion(+) diff --git a/teaching/InferLab.md b/teaching/InferLab.md index 8490a03..9ecfbc9 100644 --- a/teaching/InferLab.md +++ b/teaching/InferLab.md @@ -27,6 +27,7 @@ The tutorial targeted real world Android applications, such as: As well as Facebook, Infer is used by Instagram, kiuwan, oculus, Spotify, UBER, WhatsApp, Marks and Spencer, and Sky. Infer was [open sourced](https://code.facebook.com/posts/1648953042007882/open-sourcing-facebook-infer-identify-bugs-before-you-ship/) in June 2015. You can find the slides to the tutorial [here](https://gitlab.doc.ic.ac.uk/resource-reasoning/psvg.doc.ic.ac.uk/blob/master/teaching/Bi-Abduction-slides-Sutherland.pdf) +  To follow the Infer team, check their [blog](http://fbinfer.com/blog/) or [Twitter](https://twitter.com/fbinfer) -- GitLab