From c06ee64e4148dac8badddd1fa07613b02dbeb8d2 Mon Sep 17 00:00:00 2001 From: Teresa Carbajo-Garcia <t.carbajo-garcia@imperial.ac.uk> Date: Wed, 30 Nov 2016 10:19:40 +0000 Subject: [PATCH] Update InferLab.md --- teaching/InferLab.md | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/teaching/InferLab.md b/teaching/InferLab.md index 0d6bf6e..395832b 100644 --- a/teaching/InferLab.md +++ b/teaching/InferLab.md @@ -28,13 +28,15 @@ The lab offered students an opportunity to run Infer on real world Android appli - [k-9 mail client](https://github.com/k9mail/k-9) Peter O’Hearn, Engineering Manager at Facebook and leader of the Infer team, gave an overview of the use of Infer at Facebook. -[Jules Villard](https://www.doc.ic.ac.uk/~jvillar1/), Software Engineer at Facebook, gave a tutorial on bi-abduction, +Jules Villard, Software Engineer at Facebook, gave a tutorial on bi-abduction, based on the [slides](/teaching/Bi-Abduction-slides-Sutherland.pdf) that he developed together with Daiva Naudžiūnienė whilst a Post-Doc at Imperial College London.  -Peter, Jules and the Imperial team then showed students at the lab how to use Infer on real worl applications. During the tutorial, one of the students, Lorenzo Paoliani, ran infer on ConnectBot, an SSH client for Android, and found several null dereference bugs. He reported this on github and submitted a pull request for fixing this problem, which has been accepted and now merged. +Peter, Jules and the Imperial team then showed students at the lab how to use Infer on real worl applications. During the tutorial, one of the students, +Lorenzo Paoliani, ran Infer on [ConnectBot](https://play.google.com/store/apps/details?id=org.connectbot&hl=en_GB), an SSH client for Android, and found several null dereference bugs. He reported this on github and submitted +a pull request for fixing this problem, which has been accepted and now merged. You can see Lorenzo’s [pull request here.](https://github.com/connectbot/connectbot/pull/448) To follow the Infer team, check their [blog](http://fbinfer.com/blog/) or [Twitter](https://twitter.com/fbinfer) -- GitLab