International audienceProfiling feedback is an important technique used by developers for performance debugging, where it is usually used to pinpoint performance bottlenecks and also to find optimization opportunities. Assessing the validity and potential benefit of a program transformation requires accurate knowledge of the data flow and dependencies, which can be uncovered by profiling a particular execution of the program. In this work we develop poly-prof, an end-to-end infrastructure for dynamic binary analysis, which produces feedback about the potential to apply complex program rescheduling. Our tool can handle both inter-and intraproce-dural aspects of the program in a unified way, thus providing interprocedural transformation feedb...
International audienceIn this document, we use the Abstract Interpretation framework to analyze conc...
In this paper we present an intermediate program representation, called a program dependence graph o...
International audienceProgram optimizations, transformations and analyses are ap-plied to intermedia...
International audienceProfiling feedback is an important technique used by developers for performanc...
International audienceThis paper describes a tool using one or more executions of a sequential progr...
International audienceParallel architectures are now omnipresent in mainstream electronic devices an...
International audienceParallelism is one of the key performance sources in modern computer systems. ...
International audienceWith the widespread of multicore systems, automatic parallelization becomes mo...
In this paper we present an intermediate program representation, called the program dependence graph...
A supercompiler is a program that attempts to automatically restructure serial code into an equivale...
Thesis (Ph. D.)--University of Rochester. Dept. of Computer Science, 2012.Speculative parallelizatio...
Traditional methods of performance analysis offer a code centric view, presenting performance data i...
International audienceThe polyhedral model is a powerful framework for automatic optimization and pa...
International audienceUsing SIMD instructions is essential in modern processor architecture for high...
Debugging, as usually understood, revolves around finding and removing defects in software that prev...
International audienceIn this document, we use the Abstract Interpretation framework to analyze conc...
In this paper we present an intermediate program representation, called a program dependence graph o...
International audienceProgram optimizations, transformations and analyses are ap-plied to intermedia...
International audienceProfiling feedback is an important technique used by developers for performanc...
International audienceThis paper describes a tool using one or more executions of a sequential progr...
International audienceParallel architectures are now omnipresent in mainstream electronic devices an...
International audienceParallelism is one of the key performance sources in modern computer systems. ...
International audienceWith the widespread of multicore systems, automatic parallelization becomes mo...
In this paper we present an intermediate program representation, called the program dependence graph...
A supercompiler is a program that attempts to automatically restructure serial code into an equivale...
Thesis (Ph. D.)--University of Rochester. Dept. of Computer Science, 2012.Speculative parallelizatio...
Traditional methods of performance analysis offer a code centric view, presenting performance data i...
International audienceThe polyhedral model is a powerful framework for automatic optimization and pa...
International audienceUsing SIMD instructions is essential in modern processor architecture for high...
Debugging, as usually understood, revolves around finding and removing defects in software that prev...
International audienceIn this document, we use the Abstract Interpretation framework to analyze conc...
In this paper we present an intermediate program representation, called a program dependence graph o...
International audienceProgram optimizations, transformations and analyses are ap-plied to intermedia...