Section: Overall Objectives

Highlights of the year

Two groups of results of ASCOLA deserve particular notice:

• ASCOLA participates in the European training network SCALUS that started end of 2009 and involves 11 academic and industrial partners working on a foundation for ubiquitous storage systems that can be scaled with respect to multiple characteristics, such as capacity, performance, distance, security (for details see http://ralyx.inria.fr/2008/Raweb/obasco/uid63.html )

  Furthermore, we have set up and will coordinate the national project CESSA that involves two academic and two industrial partners on the topic of the secure evolution of service-oriented architectures using new composition mechanisms, in particular aspects (for details see Sec.  8.2 ).

• We have developed new techniques for the virtualization of large-scale applications running on cluster architectures. More specifically, we have proposed new techniques for the placement of activities within clusters based on constraint-based placement algorithms and developed Entropy, a corresponding framework and tool. These results have been published in the main international conference on virtualization techniques, VEE'09 [25] (for details see Sec.  6.4 ).

Furthermore, Nicolas Tabareau joined ASCOLA in September 2009 as a junior INRIA researcher, starting work on the foundations of programming language semantics, aspect languages (for distributed systems), and formal methods for the (certified) compilation of programming languages, especially domain-specific ones.