International audienceParallel architectures are now omnipresent in mainstream electronic devices and exploiting them efficiently is a challenge for all developers. Hence, they need the support of languages, libraries and tools to assist them in the optimization or parallelization task. Compilers can provide a major help by automating this work. However they are very fragile black-boxes. A compiler may take a bad optimization decision because of imprecise heuristics or may turn off an optimization because of imprecise analyses, without providing much control or feedback to the end user. To address this issue, we introduce mapping deviation, a new compiler technique that aims at providing a useful feedback on the semantics of a given program...
International audienceThe quality of compiler-optimized code for high-performance applications lags ...
We present an automated technique for generating compiler op-timizations from examples of concrete p...
International audienceManual program parallelization and optimization may be necessary to reach a de...
International audienceParallel architectures are now omnipresent in mainstream electronic devices an...
Distinguished paper award Commercial link : http://www.springerlink.de ALCHEMY/http://www.springer.c...
International audienceWhile compilers offer a fair trade-off between productivity and executable per...
Special issue on Microgrids. %HEVEA\publinkGVBCPST06.ps.gzInternational audienceModern compilers are...
International audienceThis paper reports on the correctness proof of compiler optimizations based on...
The constant evolution of processors architectures, with superscalar, instruction-level parallelism,...
Abstract. This paper presents a system, Loopy, for programming loop transformations. Manual loop tra...
Abstract. Helping programmers write parallel software is an urgent problem given the popularity of m...
International audienceIncreasingly complex hardware makes the design of effective compilers difficul...
To meet the demands of modern architectures, optimizing compilers must incorporate an ever larger nu...
International audienceProfiling feedback is an important technique used by developers for performanc...
International audienceThe quality of compiler-optimized code for high-performance applications lags ...
We present an automated technique for generating compiler op-timizations from examples of concrete p...
International audienceManual program parallelization and optimization may be necessary to reach a de...
International audienceParallel architectures are now omnipresent in mainstream electronic devices an...
Distinguished paper award Commercial link : http://www.springerlink.de ALCHEMY/http://www.springer.c...
International audienceWhile compilers offer a fair trade-off between productivity and executable per...
Special issue on Microgrids. %HEVEA\publinkGVBCPST06.ps.gzInternational audienceModern compilers are...
International audienceThis paper reports on the correctness proof of compiler optimizations based on...
The constant evolution of processors architectures, with superscalar, instruction-level parallelism,...
Abstract. This paper presents a system, Loopy, for programming loop transformations. Manual loop tra...
Abstract. Helping programmers write parallel software is an urgent problem given the popularity of m...
International audienceIncreasingly complex hardware makes the design of effective compilers difficul...
To meet the demands of modern architectures, optimizing compilers must incorporate an ever larger nu...
International audienceProfiling feedback is an important technique used by developers for performanc...
International audienceThe quality of compiler-optimized code for high-performance applications lags ...
We present an automated technique for generating compiler op-timizations from examples of concrete p...
International audienceManual program parallelization and optimization may be necessary to reach a de...