Master internship offer: Eliminating clocks from X10 Polyhedral Programs 1 Internship supervisor and host laboratory

This work is related to parallel programming languages and program trans-formations and is set in a collaboration between some people (including Paul Feautrier, Alain Ketterlin and Eric Violard) which are members of two INRIA teams (CAMUS and COMPSYS). These two teams are interested in develop-ing parallelizing and optimizing techniques, as well as proof and certification methods, for the efficient use of parallel architectures. This project is particularly concerned with optimizing X10 programs. The X10 language [3] is a promising recent parallel language, developed by IBM Research and designed specifically to address the challenges of productively pro-gramming a wide variety of target platforms including complex hardware systems such as clusters of multi-core CPUs and accelerators. The sequential core of X10 is an object-oriented language in the Java family. This core is augmented by a few parallel constructs that create activities and synchronize them. Like many other parallel languages, these constructs are redundant and may be used interchange-ably in some circumstances, allowing a programmer to choose amongst severa