TUESDAY JUNE 3
- 9.30: Keynote speaker: Frank Leymann. Orchestrating Management Behavior of Cloud Applications.
- 10.30: Coffee break
- 11.00-12.30: Session 1 – Cloud Computing
- Mario Macias and Jordi Guitart.
A Risk-based Model for Service Level Agreement Differentiation in Cloud Market Providers.
- Stefan Brenner, Benjamin Garbers and Rüdiger Kapitza.
Adaptive and Scalable High Availability for Infrastructure Clouds.
- Mario Macias and Jordi Guitart.
Trust-aware Operation of Providers in Cloud Markets (short paper).
- 12.30-14.00: Lunch
- 14.00-16:00: Session 2 – Storage
- Kamal Hakimzadeh, Hooman Peiro Sajjad and Jim Dowling.
Scaling HDFS with a Strongly Consistent Relational Model for Metadata.
- João Paulo and José Pereira.
Distributed Exact Deduplication for Primary Storage Infrastructures.
- Ricardo Gonçalves, Paulo Sérgio Almeida, Carlos Baquero, Nuno Preguica and Victor Fonte.
Scalable and Accurate Causality Tracking for Eventually Consistent Stores.
- Neil Donnelly, Mark Roantree and Kate Irving.
Cooperation Across Multiple Healthcare Clinics on the Cloud (short paper).
- 16.00-16.30: Coffee break
- 16.30-18.00: Session 3 – Web and peer-to-peer systems
- Davide Frey, Mathieu Goessens and Anne-Marie Kermarrec.
Behave: Behavioral Cache for Web Content.
- Kent Inge Fagerland Simonsen and Lars Kristensen.
Implementing the Web Socket Protocol based on Formal Modelling and Automated Code Generation.
- Gonçalo Avelar and Luís Veiga.
GreenBrowsing (short paper).
WEDNESDAY JUNE 4
- 9.30: Keynote speaker: Maarten van Steen. A perspective on the future of computer sciences (through a technical example).
- 10.30: Coffee break
- 11.00-12.30: Joint Session
- Carlos Baquero, Paulo Sérgio Almeida and Ali Shoker.
Making Operation-based CRDTs Operation-based (DAIS).
- Paolo Baldan, Filippo Bonchi, Fabio Gadducci and Giacoma Monreale.
Encoding Synchronous Interactions using Labelled Petri Nets (COORDINATION).
- David Romero-Hernández, David de Frutos Escrig.
Coinductive Definition of Distances Between Processes: Beyond Bisimulation Distances (FORTE).
- 12.30-14.30: Lunch
- 14.30-16:00: Session 4 - Large-scale systems
- Mathieu Pasquet, Francisco Maia, Etienne Rivière and Valerio Schiavoni. A
utonomous Multi-Dimensional Slicing for Large-Scale Distributed Systems.
- Andreas Benzing, Boris Koldehofe and Kurt Rothermel.
Bandwidth-Minimized Distribution of Measurements in Global Sensor Networks.
- Abdulrahman Azab, Hein Meling and Reggie Davidrajuh.
A Fuzzy-Logic Based Coordinated Scheduling Technique for Inter-Grid Architectures.
- 16.00-16.30: Coffee break
- 16.30-17.30: Session 5 - Distributed algorithms
- Fatemeh Rahimian, Amir Payberah, Sarunas Girdzijauskas and Seif Haridi.
Distributed Vertex-Cut Partitioning.
- Marino Miculan, Marco Peressotti and Alessio Mansutti.
Multi-agent systems design and prototyping with bigraphical reactive systems (short paper).
- 19.00-: Social Dinner.
THURSDAY JUNE 5
- 9.30: Keynote speaker: Joachim Parrow. The right stuff.
- 10.30: Coffee break