Bibtex de la publication

@InProceedings{ RoSaFéCa1999.1,
author = {Rochange, Christine and Sainrat, Pascal and Féraud, Louis and Cassé, Hugues},
title = "{Using Abstract Interpretation Technics for Static Pointer Analysis}",
booktitle = "{3rd workshop on Interaction Between Compilers and Computer Architectures (INTERACT'3), San Jose, USA, 03/10/99-07/10/99}",
year = {1999},
month = {octobre},
publisher = {Pen-Chung Yew},
address = {University of Minnesota},
pages = {},
URL = {},
keywords = {APARA MARCH SUPSCA, ULYSSE, compilation, disambiguation, load/store, abstract interpretation},
note = { Pages de la publication : 10pages.},
abstract = {Static pointer analysis by aliasing becomes more and more significant for low-level optimisation while superscalar processors exploit more and more instruction-level parallelism. This paper describes an original method to compute static pointer dependencies. Static pointer approximations are extracted from the source language program by the so-called Abstract Interpretation technique and used for improving the efficiency of memory access reordering by allowing some ready loads to be launched in presence of former blocking stores. Our approach is implemented using the SUIF compiler and performance results are obtained thanks to the SimpleScalar simulator. }