diff --git a/_posts/2016-11-14-inferlab.md b/_posts/2016-11-14-inferlab.md index 8869dcd36b5743c76c6cc383a5c9fa80c10d58c7..7ab89a6bace18d49803cdfa9c4a10bd604c13b76 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