Infer 2024
Mon 24 Jun 2024 Copenhagen, Denmark
co-located with PLDI 2024
All Editions
Mon 24 Jun 2024 Copenhagen, Denmark

Infer 2024 with PLDI 2024

This fifth 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 with only a few lines of code for programs written in various languages, including C, C++, C#, Java, Erlang and more. Infer is deployed at several companies where it helps developers wri ...

Sun 18 Jun 2023 Orlando, Florida, United States

Infer 2023 with PLDI 2023

This fourth 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 with only a few lines of code for programs written in various languages, including C, C++, Objective-C, Java and more. Infer is deployed at several companies where it helps developers w ...

Mon 13 Jun 2022 San Diego, California, United States

Infer 2022 with PLDI 2022

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

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