Automatic Static Cost Analysis for Parallel Programs

DOI10.1007/978-3-662-46669-8_6MaRDI QIDQ2802433zbMATH OpenOpenAlexFDO

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

zbMATH Keywords

functional programmingstatic analysisresource consumptionamortized analysis

Mathematics Subject Classification ID

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)

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

Cited in

(28)

• Parallel cost analysis
• Automatic inference of resource consumption bounds
• Parallel functional arrays
• On complexity bounds and confluence of parallel term rewriting
• Types for complexity of parallel computation in pi-calculus
• scientific article; zbMATH DE number 2090576 (Why is no real title available?)
• A Dependently Typed Framework for Static Analysis of Program Execution Costs
• Static determination of quantitative resource usage for higher-order programs
• Lower-bound synthesis using loop specialization and Max-SMT
• Calculating statically maximum log memory used by multi-threaded transactional programs
• Two decades of automatic amortized resource analysis
• A general framework for static profiling of parametric resource usage
• A Coq library for internal verification of running-times
• Relational cost analysis in a functional-imperative setting
• Type-based cost analysis for lazy functional languages
• Space profiling for parallel functional programs
• Cost analysis for an actor-based workflow modelling language
• Analysing parallel complexity of term rewriting
• Work analysis with resource-aware session types
• Dynamic matrices and the cost analysis of concurrent programs
• A general framework for static cost analysis of parallel logic programs
• Relational cost analysis
• A transformational approach to parametric accumulated-cost static profiling
• Time analysis of actor programs
• Characterising effective resource analyses for parallel and distributed coordination
• Type-based analysis of logarithmic amortised complexity
• Semantic foundations for cost analysis of pipeline-optimized programs
• Cost analysis of object-oriented bytecode programs

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)