Section: Overall Objectives

Highlights of the Year

This year we have published two groups of major results. In the domain of efficient resource management in the Cloud, we have proposed an elastic consolidation service, new techniques for enforcing SLA guarantees, and new simulation methods for Cloud environments. These results have all been published in major conferences of the domain: IEEE Cloud, IEEE/ACM CCGrid and IEEE CloudCom, see Sec.  6.3 for more information.

The team has also presented several major results on the foundations of software composition. These include new programming language mechanisms for the correct definition of aspects and techniques for their semantic, in particular type-based, definition. These results have also been published through major dissemination channels: Elsevier's journal Science of Computer Programming and the international conference Modularity.aosd, see Sec.  6.2 for more information.

Moreover, Ismael Figueroa Palet, a PhD student co-supervised by Nicolas Tabareau and Prof. Éric Tanter from University of Chile, has finished first place at the ACM Student Research Competition at Modularity:aosd'13 with the work “Taming Aspects with Monads and Membranes.”

Finally, Adrien Lèbre has been appointed in September on an Inria research position for three years.