Cliquer ici pour la version française.

ICPS
Université Louis Pasteur, Strasbourg
Pôle API
Boulevard Sébastien Brant
F-67400 Illkirch (France)

Sec. (33) 03 88 65 50 49
Fax (33) 03 88 65 50 61

ICPS Server

Welcome to the ICPS (Informatique et Calcul Parallèle de Strasbourg), the Research team in Computer Science and Parallel Computing of Strasbourg, France. The ICPS is involved in the Data Parallelism action of the CNRS Research Group 1169.

Parallel computing is a major research area. It is concerned with both architecture design and programming models, in order to address the Grand Challenges. This new technology involves fundamental issues such as the design of correct and efficient programs, or the parallelization of existing codes.

OPERA


The OPERA project deals with automatic parallelization techniques for regularly structured programs such as nested loops. Our approach comes from our previous works on systolic array synthesis methods from affine recurrence equations, and is founded on the so called polytope model. The main results concern the scheduling and allocation functions, and especially non linear size-optimal mappings.

PEI & VPEI


The PEI project defines a new equational style framework for data parallel programming. It lies on a small but powerful set of primitives and induces a refinement calculus to design or transform programs. Expressions and transformations can be carried out by using an interactive environment which supplies symbolic evaluations. Current works concern the foundations of PEI and practical developments as well, such as a compiler to a data parallel language.

Besides these fundamental research activities, ICPS assumes charge of the organization and the development of Parallel Computing facilities on the University Louis Pasteur campus : cooperations with other scientific laboratories, training and research courses, equipment.

You can find here the most recent release (0.6) of an interface between Camllight 0.7 and the Omega library 1.00 (more information)

ICPS Members

Publications and Research Reports : 1994, 1995, 1996

Conferences, Seminars

ASAP Conference Home page

RenPar'10 Conference Home page

The Data Parallelism Programming Model, LNCS 1132, Springer-Verlag, 1995

Postgraduate courses in Computer Science and Parallel Computing in Strasbourg :

DESS in Computer Science, mention "Parallel Computing" (french text).
DEA in Computer Science (french text).

Université Louis Pasteur Main page.
WWW servers in Strasbourg.