PLDI 2024
Mon 24 - Fri 28 June 2024 Copenhagen, Denmark

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 write better code. Infer is also being used in academia, both as a research tool and a teaching medium.

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

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, e.g. its analysis scheduler, language frontends, …
  • experience reports, for instance use of Infer in academic research, industry, or teaching

Please email your talk proposals to David Pichardie at david.pichardie[at]ens-rennes.fr. Suggested format: title + one paragraph description.