Yann RADENAC Personal address: 63, rue de Flandre 35135 Chantepie, France Job address: Irisa, Campus de Beaulieu 35042 Rennes Cedex, France Phone: +33 (0) 2 99 84 71 53 Email: [email protected] Nationality: French Age: 28

EDUCATION • 2001 - Bachelor of Science in Computer Science (University of Rennes 1) • 2003 - Master of Science in Computer Science (University of Rennes 1) • 18th april 2007 - PhD (University of Rennes 1, Irisa/Inria) PhD Higher-order Chemical Programming Keywords : multisets, rule programming, chemical metaphor, coordination, self-organizing systems, grids. This thesis is the continuation of the initial work of J.P. Banˆ atre and D. Le M´etayer on the development of a programming language GAMMA based on the rewriting of a multiset. A rewrite rule as the following form: replace P by M if C. If some data in the multiset match the pattern P and fullfill the reaction condition C, then they are replaced by the data M. The program finishes when no more rewriting is possible. This kind of language is qualified “chemical” since we can intuitively describe a program by abstract chemical reactions between molecules inside a chemical solution. Rewrite rules describe possible reactions between data, the molecules, inside a chemical solution, the multiset. This thesis defines and tackles with the application of an higher-order chemical language for grid programming. The main direction consists in providing a high level language to the application programmer so that he does not get involve into low level details. These low level details should be taken care of by the grid system that takes profit from the implementation choice points let by the application programmer. Since a grid is huge and dynamic, the grid system will eventually be autonomic. Programming autonomic grid is mainly a coordination problem. To express chemical coordination of chemical programs, the first step is to define a higher-order chem-

ical language inspired by GAMMA. The key idea consists in considering rewrite rules themselves as molecules inside the chemical solutions. The γcalculus [3] is a minimal higher-order chemical calculus where reaction rules are themselves molecules. Thus rewrite rules can be moved and rewritten like any other molecule. The γ-calculus is however too low level to write practical programs. The next step has been to define a programming model called HOCL [4] based on the γ-calculus that provides some high level constructions. In generalised multisets, elements may have an infinite or negative multiplicities. That property has suggested an other extension to HOCL called multiplets [5, 4]. Multiplets allow to express some more coordination. Like a grid, a HOCL program can be massively parallel, non deterministic, and self-organising [1, 2]. This makes HOCL a suitable language to specify and program both grid applications and the system of the grid [6, 7]. The γ-calculus has been tested under Elan, an implementation of the ρ-calculus. And a sequential prototype of HOCL has been implemented as a preprocessor of Java.

ALL PUBLICATIONS [1] Jean-Pierre Banˆatre, Pascal Fradet, and Yann Radenac. Chemical specification of autonomic systems. In Proc. of the 13th Int. Conf. on Intelligent and Adaptive Systems and Software Engineering (IASSE’04), 2004. [2] Jean-Pierre Banˆatre, Pascal Fradet, and Yann Radenac. Higher-order programming style. In Proc. of the workshop on Unconventional Programming Paradigms (UPP’04), volume 3566 of LNCS. Springer-Verlag, 2005. [3] Jean-Pierre Banˆatre, Pascal Fradet, and Yann Radenac. Principles of chemical programming. In S. Abdennadher and C. Ringeissen, editors, Proceedings of the 5th International Workshop on Rule-Based Programming (RULE 2004), volume 124 of ENTCS, pages 133–147. Elsevier, June 2005. [4] Jean-Pierre Banˆatre, Pascal Fradet, and Yann Radenac. Generalised multisets for chemical programming. Mathematical Structures in Computer Science, 16(4):557–580, August 2006. [5] Jean-Pierre Banˆatre, Pascal Fradet, and Yann Radenac. A generalized higher-order chemical computation model. In Proceedings of the First International Workshop on Developments in Computational Models (DCM 2005), volume 135 of ENTCS, pages 3–13, March 2006. [6] Jean-Pierre Banˆatre, Pascal Fradet, and Yann Radenac. Programming self-organizing systems with the higher-order chemical language. International Journal of Unconventional Computing, 2006. (to appear). [7] Jean-Pierre Banˆatre, Pascal Fradet, and Yann Radenac. Towards chemical coordination for grids. In Proceedings of the 2006 ACM symposium on Applied computing (SAC ’06), pages 445–446. ACM Press, 2006. TEACHING ASSISTANT • Object modeling (UML, Design Patterns) • Introduction to the Unix interface • Algorithms and complexity LANGUAGES French native speaker English written and spoken fluently