Write a Blog >>
PLDI 2021
Sun 20 - Sat 26 June 2021 Virtual Conference

This second edition of the Infer Practitioners Workshop gathers together developers and researchers working with the Infer static analysis platform. Infer enables anyone to write their own scalable inter-procedural static analysis for C, C++, Objective-C, and Java source code in only a few lines of code. Infer is deployed at several companies where it helps developers write better code. Inside Facebook, thousands of code changes are analysed every month by Infer, leading to thousands of bugs being found and fixed before they reach the codebase. Infer is also being used in academia, both as a research tool and a teaching medium.

The goal of the workshop is to share knowledge about how to use and modify Infer in industrial and academic contexts.

This program is tentative and subject to change.

You're viewing the program in a time zone which is different from your device's time zone - change time zone

Mon 21 Jun
Times are displayed in time zone: Eastern Time (US & Canada) change

09:00 - 11:45
Session 1Infer Practitioners at Infer Practitioners
Chair(s): Dino DistefanoFacebook London
09:00
40m
Talk
Amending Hoare's "billion dollar mistake" at Facebook's scale. An experience report
Infer Practitioners
Artem PianykhFacebook London, Mitya LyubarskiyFacebook London
09:40
15m
Live Q&A
Q&A 1
Infer Practitioners
09:55
40m
Talk
Classifying and Prioritizing Facebook Infer's Warnings
Infer Practitioners
Sofia ReisInstituto Superior Técnico, U. Lisboa & INESC-ID, João Francisco Roberto MartinsInstituto Superior Técnico, U. Lisboa & INESC-ID, João F. FerreiraINESC-ID and IST, University of Lisbon, Rui AbreuFaculty of Engineering, University of Porto, Portugal
10:35
15m
Live Q&A
Q&A 2
Infer Practitioners
10:50
40m
Talk
Compositional checking of safety temporal properties
Infer Practitioners
Radu GrigoreFacebook
11:30
15m
Live Q&A
Q&A 3
Infer Practitioners
13:30 - 16:15
Session 2Infer Practitioners at Infer Practitioners
Chair(s): Ezgi ÇiçekFacebook London
13:30
40m
Talk
Interactive Static Performance Analysis with Infer in the IDE
Infer Practitioners
Jürgen CitoTU Wien and Facebook
14:10
15m
Live Q&A
Q&A 4
Infer Practitioners
14:25
40m
Talk
Differential Cost Analysis with Infer and Possible Extensions for Concrete Cost Analysis
Infer Practitioners
Đorđe ŽikelićIST Austria, Pauline BolignanoAmazon, Bor-Yuh Evan ChangUniversity of Colorado at Boulder; Amazon
15:05
15m
Live Q&A
Q&A 5
Infer Practitioners

Call for Presentations

We welcome contributed technical talks around a range of Infer-related topics, including but not limited to:

  • new analyses implemented in Infer or using the results of existing Infer analyses
  • Infer’s core components, eg its analysis scheduler, language frontends, …
  • experience reports, for instance use of Infer in academic research, industry, or teaching

Please email your talk proposals to Jules Villard at jul-at-fb.com. Suggested format: title + one paragraph description.