EigenCFA, accelerating flow analysis with GPUs

DOI10.1145/1926385.1926445zbMATH Open1284.68195OpenAlexW4231586329MaRDI QIDQ5408570FDOQ5408570

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

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

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)

Cited In (4)

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

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)