automatic tools: compilation, program transformations, static
analyses, analyses based on polyhedral operations.
security analyses and models.
Publications
P. Fradet,
J. Mallet, "Compilation of a Specialized Functional Language for Massively
Parallel Computers", Journal of Functional Programming, 10(6), pp. 561-605,
nov. 2000.
J. Mallet. "Compilation d'un langage spécialisé
pour machine massivement parallèle". Thèse de l'Université de Rennes I, IFSIC, IRISA, France, dec. 1998, in french. [ps.gz,
abstract].
J. Mallet, "Symbolic Cost Analysis and Automatic Data
Distribution for a Skeleton-Based Language" , In EURO-PAR'98, LNCS n°1470,
Springer-Verlag, sept 1998.
Extended version: J. Mallet,
"Compilation of a Skeleton-Based Parallel Language Through Symbolic
Cost Analysis and Automatic Data Distribution", INRIA Tech. Report
nº 3436, May 1998. [ps.gz,
abstract].