Static Performance Analysis
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 Times are displayed in time zone: Pacific Time (US & Canada) change
05:00 - 07:00
|*Infer*ring things on Ada code – Invited Talk|
I: Boris YakobowskiAdaCore
|Static Performance Analysis|
P: Ezgi ÇiçekFacebook London