SEMay 4, 2021

Interactive Static Software Performance Analysis in the IDE

arXiv:2105.02023v12 citationsHas Code
Originality Incremental advance
AI Analysis

This addresses performance debugging for software developers by offering an interactive IDE tool, but it is incremental as it builds on existing static analysis methods.

The researchers tackled the problem of detecting performance issues in code during development by creating a VSCode tool that integrates static performance analysis from Infer, providing early feedback without running profilers. They evaluated it by measuring workflow overhead and demonstrated its use in fixing a real bug in ElasticSearch.

Detecting performance issues due to suboptimal code during the development process can be a daunting task, especially when it comes to localizing them after noticing performance degradation after deployment. 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 performance analysis results from Infer via code annotations and decorations (surfacing complexity analysis results in context) and side panel views showing details and overviews (enabling explainability of the results). Additionally, we design our system for interactivity to allow for more responsiveness to code changes as they happen. We evaluate the efficacy of our tool by measuring the overhead that the static performance analysis integration introduces in the development workflow. Further, we report on a case study that illustrates how our system can be used to reason about software performance in the context of a real performance bug in the ElasticSearch open-source project. Demo video: https://www.youtube.com/watch?v=-GqPb_YZMOs Repository: https://github.com/ipa-lab/vscode-infer-performance

Code Implementations1 repo
Foundations

The foundational work for this paper's niche, ranked by how specifically the neighbourhood builds on it — not by global fame.

Your Notes