Interactive Static Performance Analysis with Infer in the IDE
Static analysis has the potential to provide early feedback on performance problems to developers without having to run profilers with expensive (and often unavailable) performance tests. We develop a VSCode tool that integrates the static cost analysis results from Infer, that enables interactive reasoning about static performance properties that is interleaved with the development workflow. We illustrate how this Infer IDE integration can be used to reason about software performance during development in the context of a real performance bug in the ElasticSearch open-source project.
CS Professor at TU Wien, Researcher/Software Engineer at Facebook
Mon 21 JunDisplayed time zone: Eastern Time (US & Canada) change
13:30 - 16:15
|Differential Cost Analysis with Infer and Possible Extensions for Concrete Cost Analysis|
|Interactive Static Performance Analysis with Infer in the IDE|
Jürgen Cito TU Wien and Facebook