This third 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++, C#, Objective-C, Erlang, 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 Meta (previously known as 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 13 JunDisplayed time zone: Pacific Time (US & Canada) change
09:00 - 09:50 | |||
09:00 40mTalk | Three years of analyzing Ada code with Infer: a retrospectivevirtual Infer Boris Yakobowski AdaCore | ||
09:40 10mLive Q&A | Q&A 1 Infer | ||
10:20 - 12:00 | |||
10:20 40mTalk | Higher-order function specialization in Infervirtual Infer | ||
11:00 10mLive Q&A | Q&A 2 Infer | ||
11:10 40mTalk | InfERL: Scalable and extensible static analysis for Erlangvirtual Infer Ákos Hajdu Meta | ||
11:50 10mLive Q&A | Q&A 3 Infer | ||
13:30 - 15:10 | |||
13:30 40mTalk | Finding Real Bugs in Big Programs with Incorrectness Logicvirtual Infer Quang Loc Le University College London, Azalea Raad Imperial College London, Jules Villard Facebook London, Josh Berdine Meta, Derek Dreyer MPI-SWS, Peter W. O'Hearn Meta; University College London | ||
14:10 10mLive Q&A | Q&A 4 Infer | ||
14:20 40mTalk | HIPPODROME: Data Race Repair using Static Analysis Summaries Infer Andreea Costea School of Computing, National University Of Singapore, Abhishek Tiwari National University of Singapore, Sigmund Chianasta , Kishore R , Abhik Roychoudhury National University of Singapore, Ilya Sergey National University of Singapore | ||
15:00 10mLive Q&A | Q&A 5 Infer | ||
15:30 - 16:45 | |||
15:30 40mTalk | Infer#’s journey to bring Infer to the .NET world Infer Xin Shi Microsoft Corporation, Xiaoyu Liu Microsoft Corporation, Matthew Jin Microsoft Corporation, Neel Sundaresan Microsoft Corporation | ||
16:10 10mLive Q&A | Q&A 6 Infer | ||
16:20 20mTalk | Infer in the cloud: An Overview of Infer Usage via Sonatype Lift Infer | ||
16:40 5mLive Q&A | Q&A 7 Infer | ||
22:20 - 00:00 | |||
22:20 40mTalk | Higher-order function specialization in Infervirtual Infer | ||
23:00 10mLive Q&A | Q&A 2 Infer | ||
23:10 40mTalk | InfERL: Scalable and extensible static analysis for Erlangvirtual Infer Ákos Hajdu Meta | ||
23:50 10mLive Q&A | Q&A 3 Infer | ||
Tue 14 JunDisplayed time zone: Pacific Time (US & Canada) change
01:30 - 03:10 | |||
01:30 40mTalk | Finding Real Bugs in Big Programs with Incorrectness Logicvirtual Infer Quang Loc Le University College London, Azalea Raad Imperial College London, Jules Villard Facebook London, Josh Berdine Meta, Derek Dreyer MPI-SWS, Peter W. O'Hearn Meta; University College London | ||
02:10 10mLive Q&A | Q&A 4 Infer | ||
02:20 40mTalk | HIPPODROME: Data Race Repair using Static Analysis Summaries Infer Andreea Costea School of Computing, National University Of Singapore, Abhishek Tiwari National University of Singapore, Sigmund Chianasta , Kishore R , Abhik Roychoudhury National University of Singapore, Ilya Sergey National University of Singapore | ||
03:00 10mLive Q&A | Q&A 5 Infer | ||
03:30 - 04:45 | |||
03:30 40mTalk | Infer#’s journey to bring Infer to the .NET world Infer Xin Shi Microsoft Corporation, Xiaoyu Liu Microsoft Corporation, Matthew Jin Microsoft Corporation, Neel Sundaresan Microsoft Corporation | ||
04:10 10mLive Q&A | Q&A 6 Infer | ||
04:20 20mTalk | Infer in the cloud: An Overview of Infer Usage via Sonatype Lift Infer | ||
04:40 5mLive Q&A | Q&A 7 Infer | ||
Accepted Papers/Presentations
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, e.g. its analysis scheduler, language frontends, …
- experience reports, for instance use of Infer in academic research, industry, or teaching
Please email your talk proposals to Ezgi Çiçek at ezgi-at-fb.com. Suggested format: title + one paragraph description.
| Mon 13 Jun 2022 Workshop |
| Fri 29 Apr 2022 Submission Deadline |
