Infer Practitioners 2021
Mon 21 Jun 2021 PLDI
co-located with PLDI 2021
All Editions
Mon 21 Jun 2021 PLDI

Infer Practitioners 2021 with PLDI 2021

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

Tue 16 Jun 2020

Infer Practitioners 2020 with PLDI 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 i ...

Organizing Committee (Infer Practitioners 2021)