Write a Blog >>
PLDI 2020
Mon 15 - Fri 19 June 2020
Tue 16 Jun 2020 05:45 - 06:30 at Infer Practitioners live stream - Session 1 Chair(s): Dulma Churchill

As computer applications grow in complexity, ensuring that the performance of an application does not regress becomes more and more difficult. Most performance regressions are usually detected after apps are deployed to users, hurting the experience of many users. Once such performance regressions are detected, it takes a lot of effort and time to fix. This talk introduces a technique to detect potential performance regressions early in the development cycle before they even reach users. The technique is based on a static resource analysis which automatically infers asymptotic complexity of a program’s resource usage and is implemented in Facebook’s Infer static analysis tool. This talk will delve into how the underlying static analysis works, how the tool is deployed, and used in combination with dynamic profiling tools to detect performance regressions.

Tue 16 Jun

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

05:00 - 07:00
*Infer*ring things on Ada code – Invited Talk
Infer Practitioners
I: Boris Yakobowski AdaCore
Static Performance Analysis
Infer Practitioners
P: Ezgi Çiçek Facebook London
Coffee break
Infer Practitioners