Section: Overall Objectives

Highlights

This year the ASCOLA team has produced several particularly notable results in the academic realm as well as concerning the transfer of academic results to industry.

We have contributed several first-rate results on new programming language features. We have shown, in particular, how to define the Java security model using aspects [21] , how to integrate Object-Oriented programming, Event-Based Programming and Aspect-Oriented Programming [24] , and have extended results on the preservation of formal properties in the presence of aspects [17] (see Sec.  6.1 for details).

Based on ASCOLA's results on virtual machine management (developed under the lead of Jean-Marc Menaud), the start-up EasyVirt was founded in July 2011. EasyVirt develops and distributes software solutions for the management and optimization of data centers in active cooperation with the ASCOLA team (see Sec.  7.1 ).