Jump to navigation Jump to search
Offres de contrats doctoraux 2015
- Adaptive Program Optimization
Directeur : C. Bastoul
Compute-intensive applications now range from image processing on smartphones to large simulations on supercomputers. A significant part of their development effort is devoted to making the computation done within a finite budget of time, space or energy. Given the complexity of modern architectures, writing such applications typically requires developers to design a sequential program for algorithmic tuning and debugging purpose and then to create an optimized and parallelized version to scale to the actual problem size and to exploit the target architecture. To minimize the development time, automated approaches exist and provide good results at vectorizing and extracting thread-level parallelism for some classes of very large loops. However, those techniques have been historically designed for precise and long-lasting computations on supercomputers with well-known characteristics, and they are not well adapted to the new range of applications on mainstream parallel architectures, including short and approximate computations, which may be run on very different devices while being compiled only once. The goal of this PhD proposal is to target this issue by researching, designing and evaluating new compiler techniques for automatic optimization and parallelization with adaptive capabilities that build on domain-specific knowledge about the application and on state-of-the-art program optimization techniques.