Affiliation:
1. PLT @ Northeastern University, United States of America
2. PLT @ Northwestern University, United States of America
3. Northeastern University and Czech Technical University
Abstract
While high-level languages come with significant readability and maintainability benefits, their performance remains difficult to predict. For example, programmers may unknowingly use language features inappropriately, which cause their programs to run slower than expected. To address this issue, we introduce
feature-specific profiling
, a technique that reports performance costs in terms of linguistic constructs. Feature-specific profilers help programmers find expensive uses of specific features of their language. We describe the architecture of a profiler that implements our approach, explain prototypes of the profiler for two languages with different characteristics and implementation strategies, and provide empirical evidence for the approach’s general usefulness as a performance debugging tool.
Publisher
Association for Computing Machinery (ACM)
Reference29 articles.
1. Validity of the single processor approach to achieving large scale computing capabilities
2. Flexible and efficient profiling with aspect-oriented programming
3. R. Kent Dybvig. 2009. Chez Scheme Version 8 User’s Guide. Cadence Research Systems. R. Kent Dybvig. 2009. Chez Scheme Version 8 User’s Guide. Cadence Research Systems.
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Effectful Software Contracts;Proceedings of the ACM on Programming Languages;2024-01-05
2. How Profilers Can Help Navigate Type Migration;Proceedings of the ACM on Programming Languages;2023-10-16
3. GTP Benchmarks for Gradual Typing Performance;Proceedings of the 2023 ACM Conference on Reproducibility and Replicability;2023-06-27
4. Trace contracts;Journal of Functional Programming;2023
5. Corpse reviver: sound and efficient gradual typing via contract verification;Proceedings of the ACM on Programming Languages;2021-01-04