From 63017f3a4d18a0878b87fdc487189d4928546a8d Mon Sep 17 00:00:00 2001 From: Teresa Carbajo-Garcia <t.carbajo-garcia@imperial.ac.uk> Date: Tue, 29 Nov 2016 16:51:35 +0000 Subject: [PATCH] Update 2016-11-14-inferlab.md --- _posts/2016-11-14-inferlab.md | 17 +++++++++-------- 1 file changed, 9 insertions(+), 8 deletions(-) diff --git a/_posts/2016-11-14-inferlab.md b/_posts/2016-11-14-inferlab.md index 8869dcd..7ab89a6 100644 --- a/_posts/2016-11-14-inferlab.md +++ b/_posts/2016-11-14-inferlab.md @@ -6,15 +6,16 @@ The [Separation Logic](https://psvg.doc.ic.ac.uk/teaching/separationlogic.html) an automatic verification tool based on separation logic, developed at [Facebook](https://www.facebook.com/inferstaticanalyzer/) where it is used every day to verify millions of lines of code. + + [Peter O’Hearn](http://www.pl-enthusiast.net/2015/09/15/facebooks-peter-ohearn-on-programming-languages/), -Engineering Manager and leader of the Infer team, gave an overview of the use of Infer at Facebook. and [Jules Villard](https://www.doc.ic.ac.uk/~jvillar1/), -Software Engineer at Facebook, gave a tutorial on how to use [Infer](http://fbinfer.com/). Jules Villard, Software Engineer at Facebook, gave a tutorial on bi-abduction, +Engineering Manager 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, based on the slides that he developed together with Daiva Naudžiūnienė whilst a Post-Doc at Imperial College London. - - -Then the Imperial team ran a lab on how to use Infer, targeting real world Android applications,such as PocketHub, Wikipedia Android app, DuckDuckGo and k-9 mail client. -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. +Then the Imperial team ran a lab on how to use [Infer](http://fbinfer.com/), targeting real world Android applications, +such as PocketHub, Wikipedia Android app, DuckDuckGo and k-9 mail client. +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. -For more details and slides, see the [Infer Lab](https://psvg.doc.ic.ac.uk/teaching/InferLab.html) page. \ No newline at end of file +For more details and slides, see the [Infer Lab 2016](https://psvg.doc.ic.ac.uk/teaching/InferLab.html) page. \ No newline at end of file -- GitLab