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 write better code. Inside Meta, thousands of code changes are analyzed every month by Infer, leading to thousands of bugs being found and fixed before they reach the codebase. Infer is also being used in academia, both as a research tool and a teaching medium.

This program is tentative and subject to change.

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

Sun 18 Jun

Displayed time zone: Eastern Time (US & Canada) change

09:00 - 11:00
Infer: Session 1Infer at Magnolia 5
09:00
15m
Other
Welcome
Infer
09:15
45m
Talk
Talk slot 1
Infer

10:00
45m
Talk
Talk slot 2
Infer

11:20 - 12:30
Infer: Session 2Infer at Magnolia 5
11:20
45m
Talk
Talk slot 3
Infer

14:00 - 15:30
Infer: Session 3Infer at Magnolia 5
14:00
45m
Talk
Talk slot 4
Infer

14:45
45m
Talk
Talk slot 5
Infer

16:00 - 17:50
Infer: Session 4Infer at Magnolia 5
16:00
45m
Talk
Talk slot 6
Infer

16:45
45m
Talk
Talk slot 7
Infer

17:30
20m
Other
Wrap up
Infer

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 Akos Hajdu at akoshajdu-at-meta.com. Suggested format: title + one paragraph description. If you do not receive a confirmation within a few days, please feel free to reach out on alternative channels.