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.
Mon 21 JunDisplayed time zone: Eastern Time (US & Canada) change
09:00 - 11:45 | |||
09:00 40mTalk | Journey to null safety for Java at Facebook. An experience report. Infer Practitioners | ||
09:40 15mLive Q&A | Q&A 1 Infer Practitioners | ||
09:55 40mTalk | Classifying and Prioritizing Facebook Infer's Warnings Infer Practitioners Sofia Reis Instituto Superior Técnico, U. Lisboa & INESC-ID, João Francisco Roberto Martins Instituto Superior Técnico, U. Lisboa & INESC-ID, João F. Ferreira INESC-ID and IST, University of Lisbon, Rui Abreu Faculty of Engineering, University of Porto, Portugal | ||
10:35 15mLive Q&A | Q&A 2 Infer Practitioners | ||
10:50 40mTalk | Compositional checking of safety temporal properties Infer Practitioners Radu Grigore Facebook | ||
11:30 15mLive Q&A | Q&A 3 Infer Practitioners | ||
13:30 - 16:15 | |||
13:30 40mTalk | Differential Cost Analysis with Infer and Possible Extensions for Concrete Cost Analysis Infer Practitioners Đorđe Žikelić IST Austria, Pauline Bolignano Amazon, Bor-Yuh Evan Chang University of Colorado at Boulder; Amazon | ||
14:10 15mLive Q&A | Q&A 4 Infer Practitioners | ||
14:25 40mTalk | Interactive Static Performance Analysis with Infer in the IDE Infer Practitioners Jürgen Cito TU Wien and Facebook | ||
15:05 15mLive Q&A | Q&A 5 Infer Practitioners | ||
Accepted Papers
| Title | |
|---|---|
| Classifying and Prioritizing Facebook Infer's Warnings Infer Practitioners | |
| Compositional checking of safety temporal properties Infer Practitioners | |
| Differential Cost Analysis with Infer and Possible Extensions for Concrete Cost Analysis Infer Practitioners | |
| Interactive Static Performance Analysis with Infer in the IDE Infer Practitioners | |
| Journey to null safety for Java at Facebook. An experience report. 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.
| Mon 21 Jun 2021 Workshop |
| Wed 5 May 2021 Submission Deadline |
