Space profiling for parallel functional programs

DOI10.1017/S0956796810000146MaRDI QIDQ3021408zbMATH OpenFDO

Authors Daniel Spoonhower, Guy E. Blelloch, Robert Harper, Phillip B. Gibbons

Publication date 25 July 2011

Published in Journal of Functional Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/S0956796810000146

zbMATH Keywords

semantic space profiler

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19)

Recommendations

• Space profiling for parallel functional programs
• Run-Time Profiling of Functional Logic Programs
• Lexical profiling: theory and practice
• A cost calculus for parallel functional programming
• Automatic Static Cost Analysis for Parallel Programs

Cites work

• Algorithm + strategy = parallelism
• New dimensions in heap profiling
• Provably efficient scheduling for languages with fine-grained parallelism
• Scheduling multithreaded computations by work stealing
• Space-Efficient Scheduling of Multithreaded Computations

Cited in

(7)

• Memory requirements for parallel programs
• Profiling large-scale lazy functional programs
• Space profiling for parallel functional programs
• Automatic Space Bound Analysis for Functional Programs with Garbage Collection
• Run-Time Profiling of Functional Logic Programs
• Reasonable space for the -calculus, logarithmically
• Reasonable space for the -calculus, logarithmically

Describes a project that uses

Uses Software

• ML
• JoCaml

This page was built for publication: Space profiling for parallel functional programs

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3021408)