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

amortized analysisfunctional programmingresource consumptionstatic analysis

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

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

(29)

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

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)