Automatic Static Cost Analysis for Parallel Programs
DOI10.1007/978-3-662-46669-8_6zbMATH Open1335.68056OpenAlexW912214939MaRDI QIDQ2802433FDOQ2802433
Authors: Jan Hoffmann, Zhong Shao 
Publication date: 26 April 2016
Published in: Programming Languages and Systems (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-662-46669-8_6
Recommendations
- Reducing parallel program simulation complexity by static analysis
- A general framework for static cost analysis of parallel logic programs
- scientific article; zbMATH DE number 4020458
- COMPILE-TIME ANALYSIS AND OPTIMIZATION OF EXPLICITLY PARALLEL PROGRAMS*
- Costing stepwise refinements of parallel programs
- scientific article; zbMATH DE number 2090576
Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Functional programming and lambda calculus (68N18) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19)
Cited In (27)
- A Dependently Typed Framework for Static Analysis of Program Execution Costs
- Relational cost analysis
- Lower-bound synthesis using loop specialization and Max-SMT
- Analysing parallel complexity of term rewriting
- Static determination of quantitative resource usage for higher-order programs
- Dynamic matrices and the cost analysis of concurrent programs
- Work analysis with resource-aware session types
- A Coq library for internal verification of running-times
- A transformational approach to parametric accumulated-cost static profiling
- Types for complexity of parallel computation in pi-calculus
- A general framework for static cost analysis of parallel logic programs
- A general framework for static profiling of parametric resource usage
- Two decades of automatic amortized resource analysis
- Calculating statically maximum log memory used by multi-threaded transactional programs
- Type-based cost analysis for lazy functional languages
- Semantic foundations for cost analysis of pipeline-optimized programs
- Cost analysis for an actor-based workflow modelling language
- On complexity bounds and confluence of parallel term rewriting
- Time analysis of actor programs
- Automatic inference of resource consumption bounds
- Title not available (Why is that?)
- Parallel cost analysis
- Cost analysis of object-oriented bytecode programs
- Space profiling for parallel functional programs
- Parallel functional arrays
- Type-based analysis of logarithmic amortised complexity
- Characterising effective resource analyses for parallel and distributed coordination
This page was built for publication: Automatic Static Cost Analysis for Parallel Programs
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2802433)
