EigenCFA
- 26 January 2011
- journal article
- conference paper
- Published by Association for Computing Machinery (ACM) in ACM SIGPLAN Notices
- Vol. 46 (1), 511-522
- https://doi.org/10.1145/1925844.1926445
Abstract
No abstract availableKeywords
This publication has 17 references indexed in Scilit:
- Implementing sparse matrix-vector multiplication on throughput-oriented processorsPublished by Association for Computing Machinery (ACM) ,2009
- Subcubic algorithms for recursive state machinesPublished by Association for Computing Machinery (ACM) ,2008
- Relating complexity and precision in control flow analysisPublished by Association for Computing Machinery (ACM) ,2007
- Closure analysis in constraint formACM Transactions on Programming Languages and Systems, 1995
- Region analysis: a parallel elimination method for data flow analysisIEEE Transactions on Software Engineering, 1995
- The combining DAG: a technique for parallel data flow analysisIEEE Transactions on Parallel and Distributed Systems, 1994
- Elimination algorithms for data flow analysisACM Computing Surveys, 1986
- Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpointsPublished by Association for Computing Machinery (ACM) ,1977
- A program data flow analysis procedureCommunications of the ACM, 1976
- A unified approach to global program optimizationPublished by Association for Computing Machinery (ACM) ,1973