In this section, we present new results in the main themes tackled by Sardes : languages and foundations ( 6.2 ), system support ( 6.3 ), management and control ( 6.4 ), virtual machine ( 6.5 ).