Section: Highlights of the Year

Highlights of the Year

Scientific Results and Dissemination

Despite the approaching end of Compsys, we continued the objectives we fixed for Compsys III, i.e., pushing static compilation beyond its present limits, both in terms of techniques and applications. Our most important efforts in 2016 were to extend static analysis from sequential codes to parallel specifications and languages, to develop polynomial techniques, and to increase inter-disciplinary collaborations and dissemination towards HPC users and their applications. The most important results in 2016 are the following:

• Publications Well recognized in the polyhedral community, we got three papers at IMPACT'16, the central event of this community, one paper at the main compiler conference (CC'16), and a last one in the field of FPGA, which remains an important target for polyhedral optimizations. See Sections 7.1 to 7.7 for more details.

• Interdisciplinary spring school With colleagues from HPC numerical simulation, we organized a very successful inter-disciplinary event in May 2016, to bridge the gap between polyhedral compilation and HPC users. See details in Section 10.1.

• Move towards HPC users In addition to the spring school we organized, we increased our activity towards HPC users and their applications through the supervision of the internship of J. Versaci (quantum physics), the reviewing of T. Gasc's PhD thesis (fluid dynamics), and the regular contacts with the LMGC lab (mechanics).

• PhD theses The end of Compsys coincided also with the end of two PhD theses, the PhD thesis of Guillaume Iooss [16] and the PhD thesis of Alexandre Isoard [17], see Section 10.2.2.

• Final evaluation The team was evaluated in March 2016, this was also its final evaluation.

Final Evaluation and End of Compsys

Compsys has been created in 2002 as an Inria team, then in 2004 as an Inria project-team, and evaluated by Inria first in 2007, then in 2012. It was evaluated again in March 2016, which was its final evaluation because an Inria project-team is limited to 12 years. The construction of a new project was planned in early 2015, following the shift in the research directions that started in the second half of Compsys III. A few tentative research directions were:

• Shift the application domain from embedded systems to high performance computing (HPC) but at small scale (desktop HPC: FPGA, GPU, multicores). In fact, the two ecosystems are nowadays slowly converging.

• A stronger attention to real HPC users and real HPC applications may lead to better programming models (“putting the programmer in the loop”).

• Design new models of programs. The polynomial model is but an example.

• Explore the synergy between parallel programming and program verification and certification; in particular, import approximation methods from one field to the other. Abstract interpretation is a case in point.

However, while its field of expertise, compilation for parallel and heterogeneous systems, is still of crucial importance, the unexpected departure in Sep. 2015 of two of its staff members made this future impossible. We nevertheless continued in 2016, in particular to present our activities in this last evaluation, until the three last members had to split in three different cities (Lyon, Paris, Rennes). We report here some of the comments made by the external reviewers that, we think, summarize well some aspects of our efforts, successes, and difficulties during 15 years: