EigenCFA, accelerating flow analysis with GPUs

DOI10.1145/1926385.1926445MaRDI QIDQ5408570zbMATHOpenAlexFDO

Authors

Publication date 10 April 2014

Published in Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1145/1926385.1926445

zbMATH Keywords

matrixabstract interpretationlambda calculusGPUprogram analysisflow analysisCPSEigenCFA

Mathematics Subject Classification ID

Analysis of algorithms (68W40) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Functional programming and lambda calculus (68N18)

Recommendations

• Improving flow analyses via ΓCFA
• scientific article; zbMATH DE number 2087560
• Using locality of flow in dataflow analyses.
• Pushdown control-flow analysis for free
• Structurally defined conditional data-flow static analysis

Cited in

(4)

• EigenCFA
• Better and Faster Spectra Analysis Using Analytical Programming on CUDA
• Distributed and predictable software model checking
• Static detection of uncoalesced accesses in GPU programs

Describes a project that uses

Uses Software

• CUDA
• PETSc

This page was built for publication: EigenCFA, accelerating flow analysis with GPUs

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