Section: New Results

Highlights of the Year

For 2014, from the point of view of organization, funding, collaborations, the main points to highlight are:

• Christophe Alias and Alexandru Plesco have co-founded the XtremLogic start-up in January 2014 (see Section  7.2 ), following the incubation of Zettice. XtremLogic recently won the “concours région rhône-alpes” grant in November 2014 (40k).

• Tomofumi Yuki was hired as an Inria researcher and became a permanent member of Compsys.

• The 1988 “Array Expansion” seminal paper of Paul Feautrier has been selected for the 25th Anniversary Volume of the ACM International Conference on Supercomputing (ICS) together with 34 other papers selected from the 1800 papers published from 1987 to 2011. A short “reminescence” paper [13] was written for the occasion.

• The team was evaluated in Nov. 2014 by the HCERES (new name of AERES), as part of the LIP lab evaluation. The report has not been received yet.

From a scientific point of view, the shift, in Compsys III, towards the analysis of parallel programs and the extensions of the polyhedral model, both in terms of techniques and applications, is continuing, see the section “New Results”, in particular:

• The design (by Christophe Alias and Alexandru Plesco) of a HLS compiler technology (see Section  6.2 ), patented by Inria [12] and transferred to XtremLogic under an Inria licence (see Section  5.5 ).

• Two new static analyses: a more precise array bound check analysis [9] (see Section  6.3 ) and a more scalable termination algorithm for C programs (see Section  6.4 ).

• A novel equivalence-checking algorithm [7] modulo associativity/commutativity, which is a first step towards semantic program transformations (see Section  6.5 ).

• A groundbreaking introduction of polyhedral techniques for the analysis of parallel programs, in particular X10 (see  [29] and [6] ) and OpenStream (see Section  6.6 ).

• A seminal paper [5] introducing polynomial techniques in program analysis and compilation (see Section  6.7 ).

• Innovative contributions on parametric tiling [8] , [3] , [4] as extensions of the polyhedral model (see Sections  6.8 and  6.9 ).