Infer
Mon 24 Jun 2024 Copenhagen, DenmarkInfer 2024 with PLDI 2024This 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 StatesInfer 2023 with PLDI 2023This 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 StatesInfer 2022 with PLDI 2022This 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 PLDIInfer Practitioners 2021 with PLDI 2021This 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 ... |
