Section: Highlights of the Year

Highlights of the Year

This year the team has produced major results in the domains of the foundations of computer science as well as capacity management for large-scale distributed software systems.

Concerning the foundations of computer science, we have presented new results on the provably correct execution of programs that are only partially typed [22] and generalized the use of dependent types with side effects [26].

As to distributed systems, we have introduced a new cloud model that provides QoS-levels and SLA as first-class citizens of cloud-based systems [19]. Furthermore, we have provided new mechanisms for the privacy-preserving storage of data of a user over clouds managed by different cloud providers [30].