InferLab.md

title: Infer Lab 
project_id: infer
menu: true
parent_menu: Teaching
menu_order: 5

A team from Facebook came to Imperial College to run a lab on Infer, 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, Engineering Manager, and Jules Villard, Software Engineer at Facebook, gave a tutorial on how to use Infer. The tutorial targeted real world Android applications, such as:

• PocketHub
• Wikipedia Android app
• DuckDuckGo
• k-9 mail client

As well as Facebook, Infer is used by Instagram, kiuwan, oculus, Spotify, UBER, WhatsApp, Marks and Spencer, and Sky. Infer was open sourced in June 2015

You can find the slides to the tutorial here

You can follow the Infer team on their blog and Twitter