Write a Blog >>
PLDI 2021
Sun 20 - Sat 26 June 2021 PLDI
Mon 21 Jun 2021 13:30 - 14:10 at Infer Practitioners - Session 2 Chair(s): Ezgi Çiçek

In this talk we will describe our project on differential cost analysis, where we employed Infer to detect regressions in the allocation cost between two project versions. We observed that Infer computes very precise cost bounds when it comes to estimating the polynomial degree of cost usage. However, in discussions with our customers we learned that they would be more interested in detecting regressions in concrete costs and for a variety of specialized costs beyond time, such as allocations and thread usage. As a lightweight experiment, we implemented a basic concrete allocation cost analysis on top of Infer. While it performs well on many examples, we observed imprecision in computed costs for programs with more complex control-flow and in which a path sensitive cost analysis is needed. In the talk, we will first discuss reasons for which our customers are interested in concrete allocation cost analysis. We will then present our new algorithm for differential cost analysis, which is less scalable, but computes more precise cost bounds and which we believe could be combined with Infer in order to obtain better precision for performance critical methods. We note that our new algorithm for differential cost analysis is a work in progress.

Mon 21 Jun

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

13:30 - 16:15
Session 2Infer Practitioners at Infer Practitioners
Chair(s): Ezgi Çiçek Facebook London
13:30
40m
Talk
Differential Cost Analysis with Infer and Possible Extensions for Concrete Cost Analysis
Infer Practitioners
Đorđe Žikelić IST Austria, Pauline Bolignano Amazon, Bor-Yuh Evan Chang University of Colorado at Boulder; Amazon
14:10
15m
Live Q&A
Q&A 4
Infer Practitioners

14:25
40m
Talk
Interactive Static Performance Analysis with Infer in the IDE
Infer Practitioners
Jürgen Cito TU Wien and Facebook
15:05
15m
Live Q&A
Q&A 5
Infer Practitioners