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  (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.