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