Hybrid analysis: Static \& dynamic memory reference analysis

DOI10.1023/A:1024597010150zbMATH Open1067.68048OpenAlexW16598917MaRDI QIDQ1425035FDOQ1425035

Silvius Rus, Lawrence Rauchwerger, J. Hoeflinger

Publication date: 15 March 2004

Published in: International Journal of Parallel Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1024597010150

zbMATH Keywords

Automatic parallelizationhybrid analysismemory access representation

Mathematics Subject Classification ID

Theory of compilers and interpreters (68N20)

Cited In (2)

• An exact data dependence testing method for quadratic expressions
• A compile/Run-time environment for the automatic transformation of linked list data structures

Recommendations

• Partitioned Memory Models for Program Analysis 👍 👎
• Compiler Construction 👍 👎
• Static analysis for optimizing reference counting 👍 👎
• A framework for memory efficient context-sensitive program analysis 👍 👎
• Combining dynamic and static slicing for analysing assembler 👍 👎
• Static analysis of binary code with memory indirections using polyhedra 👍 👎
• Static Analysis Via Abstract Interpretation of the Happens-Before Memory Model 👍 👎

This page was built for publication: Hybrid analysis: Static \& dynamic memory reference analysis

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