** 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 A: Tomas Fiedor, A: Dominik Harmim, A: Vladimir Marcin, A: Ondřej Pavela, A: Adam Rogalewicz, A: Tomáš Vojnar |
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.
Tue 16 Jun Times are displayed in time zone: Pacific Time (US & Canada) change
04:30 - 05:00 Day opening | Buffer time to get set up, Welcome Infer Practitioners |
05:00 - 07:00: Session 1Infer Practitioners at Infer Practitioners live stream Chair(s): Dulma ChurchillFacebook London | |||
05:00 - 05:45 Talk | *Infer*ring things on Ada code – Invited Talk Infer Practitioners | ||
05:45 - 06:30 Talk | Static Performance Analysis Infer Practitioners | ||
06:30 - 07:00 Coffee break | Break Infer Practitioners |
07:00 - 09:00: Session 2Infer Practitioners at Infer Practitioners live stream Chair(s): Nikos GorogiannisFacebook and Middlesex University London | |||
07:00 - 07:45 Talk | Plugins for Detecting Deadlocks and Atomicity Violation and Performance Analysis Infer Practitioners A: Tomas FiedorVUT Brno, A: Dominik HarmimBrno University of Technology, Faculty of Information Technology, A: Vladimir MarcinBrno University of Technology, Faculty of Information Technology, A: Ondřej PavelaBrno University of Technology, Faculty of Information Technology, A: Adam RogalewiczBrno University of Technology, Faculty of Information Technology, A: Tomáš VojnarBrno University of Technology | ||
07:45 - 08:30 Talk | Concise Explanations in Static Analysis Driven Code Reviews – Invited Talk Infer Practitioners | ||
08:30 - 09:00 Coffee break | Break Infer Practitioners |
09:00 - 11:00: Session 3Infer Practitioners at Infer Practitioners live stream Chair(s): Ezgi ÇiçekFacebook London | |||
09:00 - 09:45 Talk | Infer#: An Automatic Bug Detector on .NET Programs Infer Practitioners A: Shao Kun DengMicrosoft Corporation, A: Matthew JinMicrosoft Corporation, A: Xiaoyu LiuMicrosoft Corporation, A: Xin ShiMicrosoft Corporation, A: Neel SundaresanMicrosoft Corporation | ||
09:45 - 10:30 Talk | Experimenting with Infer at Scale – Invited Talk Infer Practitioners | ||
10:30 - 11:00 Live Q&A | Infer team Q&A Infer Practitioners P: Dulma ChurchillFacebook London, P: Ezgi ÇiçekFacebook London, P: Nikos GorogiannisFacebook and Middlesex University London, P: Jules VillardFacebook London |