From 276fdd5fea975efc63eb57b265df97132a767e70 Mon Sep 17 00:00:00 2001 From: Teresa Carbajo-Garcia <t.carbajo-garcia@imperial.ac.uk> Date: Fri, 25 Nov 2016 14:49:50 +0000 Subject: [PATCH] Update InferLab.md --- teaching/InferLab.md | 14 ++++++++------ 1 file changed, 8 insertions(+), 6 deletions(-) diff --git a/teaching/InferLab.md b/teaching/InferLab.md index 0629295..ec2db66 100644 --- a/teaching/InferLab.md +++ b/teaching/InferLab.md @@ -5,13 +5,15 @@ menu: true parent_menu: menu_order: 5 --- -A team from Facebook came run a lab on [Infer](http://fbinfer.com/), an industrial verification tool developed at Facebook by a team led by -[Peter O’Hearn](http://www.pl-enthusiast.net/2015/09/15/facebooks-peter-ohearn-on-programming-languages/) -Petar O'Hearn, Engineering Manager at Facebook, and Jules Villard, Software Engineer, gave a tutorial on how to use Infer -- an automatic verification tool based on separation logic to students on the Separation Logic MEng and MSc course. -At Facebook, Infer is used every day to verify millions of lines of code. -The tutorial targeted real world Android applications, such as: +A team from Facebook came to College to run a lab on [Infer](http://fbinfer.com/), an automatic verification tool based on separation logic, +developed by a team led by Peter O’Hearn. At Facebook, Infer is used every day to verify millions of lines of code. +This was part of the Separation Logic MEng and MSc course (404H). + +[Peter O’Hearn](http://www.pl-enthusiast.net/2015/09/15/facebooks-peter-ohearn-on-programming-languages/), +Engineering Manager at Facebook, and Jules Villard, Software Engineer, gave a tutorial on how to use Infer. +The tutorial targeted real world Android applications, such as: + - [PocketHub](https://github.com/pockethub/PocketHub) - [Wikipedia Android app](https://github.com/wikimedia/apps-android-wikipedia) - [DuckDuckGo](https://github.com/duckduckgo/duckduckgo) -- GitLab