Hybrid analysis: Static \& dynamic memory reference analysis

DOI10.1023/A:1024597010150MaRDI QIDQ1425035zbMATH OpenOpenAlexFDO

Authors 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)

Recommendations

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

Cited in

(2)

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

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)