Write a Blog >>
PLDI 2020
Mon 15 - Fri 19 June 2020

** The workshop is over, massive thanks to everyone who presented, chaired sessions, and joined in, as well as to the PLDI organisers! Watch the talks and Q&A here: https://www.youtube.com/watch?v=FPCZ2TIxrpg. **

This first 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.

Accepted Papers

Title
Infer#: An Automatic Bug Detector on .NET Programs
Infer Practitioners
Plugins for Detecting Deadlocks and Atomicity Violation and Performance Analysis
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

If you would like to give a talk please email an abstract of your presentation to jul|-at-|fb.com (replace |-at-| with @).

There will be no formal proceedings for this workshop.

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

Tue 16 Jun

Displayed time zone: Pacific Time (US & Canada) change

04:30 - 05:00
04:30
30m
Day opening
Buffer time to get set up, Welcome
Infer Practitioners

05:00 - 07:00
05:00
45m
Talk
*Infer*ring things on Ada code – Invited Talk
Infer Practitioners
I: Boris Yakobowski AdaCore
05:45
45m
Talk
Static Performance Analysis
Infer Practitioners
P: Ezgi Çiçek Facebook London
06:30
30m
Coffee break
Break
Infer Practitioners

07:00 - 09:00
Session 2Infer Practitioners at Infer Practitioners live stream
Chair(s): Nikos Gorogiannis Facebook and Middlesex University London
07:00
45m
Talk
Plugins for Detecting Deadlocks and Atomicity Violation and Performance Analysis
Infer Practitioners
A: Tomas Fiedor VUT Brno, A: Dominik Harmim Brno University of Technology, Faculty of Information Technology, A: Vladimir Marcin Brno University of Technology, Faculty of Information Technology, A: Ondřej Pavela Brno University of Technology, Faculty of Information Technology, A: Adam Rogalewicz Brno University of Technology, Faculty of Information Technology, A: Tomáš Vojnar Brno University of Technology
07:45
45m
Talk
Concise Explanations in Static Analysis Driven Code Reviews – Invited Talk
Infer Practitioners
I: Pavle Subotic Amazon
08:30
30m
Coffee break
Break
Infer Practitioners

09:00 - 11:00
09:00
45m
Talk
Infer#: An Automatic Bug Detector on .NET Programs
Infer Practitioners
A: Shao Kun Deng Microsoft Corporation, A: Matthew Jin Microsoft Corporation, A: Xiaoyu Liu Microsoft Corporation, A: Xin Shi Microsoft Corporation, A: Neel Sundaresan Microsoft Corporation
09:45
45m
Talk
Experimenting with Infer at Scale – Invited Talk
Infer Practitioners
I: Stephen Magill Muse Dev
10:30
30m
Live Q&A
Infer team Q&A
Infer Practitioners
P: Dulma Churchill Facebook London, P: Ezgi Çiçek Facebook London, P: Nikos Gorogiannis Facebook and Middlesex University London, P: Jules Villard Facebook London