DAIS 2013 Program

MONDAY JUNE 3

  • 9.30: Keynote speaker: Tevfik Bultan
  • 10.30: Coffee break
  • 11.00-12.30: Session 1 – Cloud Computing I
    • Tobias Gebhardt and Hans P. Reiser. Network Forensics for Cloud Computing (Full Research Paper).
    • Kevin Pinte, Andoni Lombide Carreton, Elisa Gonzalez Boix and Wolfgang De Meuter. Ambient Clouds: Reactive Asynchronous Collections for Mobile Ad-Hoc Network Applications (Full Research Paper).
    • Everton Cavalcante, Thais Batista, Frederico Lopes, AndrÈ Almeida, Ana Lucia De Moura, Noemi Rodriguez, Gustavo Alves, Flavia Delicato and Paulo Pires. Autonomous Adaptation of Cloud Applications (Work in Progress Paper).
  • 12.30-14.30: Lunch
  • 14.30-16:00: Session 2 - Cloud Computing II
    • Ngoc Minh Tran and Guillaume Pierre. Failure Analysis and Modeling in Large Multi-Site Infrastructures (Full Research Paper).
    • Alain Tchana, Noel De Palma, Ahmed El Rheddane, Bruno Dillenseger, Xavier Etchevers, and Ibrahim Safieddine. A Scalable Benchmark as a Service Platform (Full Research Paper).
    • David Eyers and Giovanni Russello. Toward unified and flexible security policies enforceable within the Cloud (Work in Progress Paper).
  • 16.00-16.30: Coffee break

TUESDAY JUNE 4

  • 9.30: Keynote speaker: Gian Pietro Picco
  • 10.30: Coffee break
  • 11.00-12.30: Joint Session 
    • Andrea Cerone, Matthew Hennessy and Massimo Merro. Modelling Mac-layer communications in wireless systems (COORDINATION).
    • Vinicius V. Cogo, Andrè Nogueira, João Sousa, Marcelo Pasin, Hans P. Reiser and Alysson Bessani. FITCH: Supporting Adaptive Replicated Services in the Cloud (DAIS).
    • Andreas Griesmayer and Alessio Lomuscio. Model Checking Distributed Systems against Temporal-Epistemic Specifications (FORTE/FMOODS).
  • 12.30-14.30: Lunch
  • 14.30-16:00: Session 4 - Consistency and Scheduling
    • Matthew Brook, Craig Sharp and Graham Morgan. Semantically Aware Contention Management for Distributed Applications (Full Research Paper).
    • Ana Nunes, Rui Oliveira, and Jose Pereira. AJITTS: Adaptive Just-In-Time Transaction Scheduling (Full Research Paper).
    • Hector Fernandez, Marko Obrovac and Cedric Tedeschi. Towards Decentralised Workflow Scheduling via a Rule-driven Shared Space (Work in Progress Paper).
  • 16.00-16.30: Coffee break
  • 16.30-: Social Event and Dinner.

WEDNESDAY JUNE 5

  • 9.30: Keynote speaker: Roberto Baldoni
  • 10.30: Coffee break
  • 11.00-12.30: Session 5 - Storage
    • Josè Valerio, Pierre Sutra, Etienne Rivière and Pascal Felber. Evaluating the Price of Consistency in Distributed File Storage Services (Full Research Paper).
    • Ricardo Vilaáa, Francisco Cruz, Jose Pereira and Rui Oliveira. An effective scalable SQL engine for NoSQL databases (Full Research Paper).
    • Panagiotis Garefalakis, Panagiotis Papadopoulos, Ioannis Manousakis and Kostas Magoutis. Strengthening Consistency in the Cassandra Distributed Key-Value Store (Work in Progress Paper).
  • 12.30-14.30: Lunch
  • 14.30-16:00: Session 6 - Networking and Peer-to-Peer
    • Sven Schober, Stefan Brenner, R¸diger Kapitza and Franz Hauck. Bandwidth Prediction in the Face of Asymmetry (Full Research Paper).
    • Ana-Maria Oprescu, Spyros Voulgaris and Haralambie Leahu. Strategies for Generating and Evaluating Large-Scale Powerlaw-distributed P2P Overlays (Full Research Paper).
    • Andreas Jaegermann, Timm Filler and Michael Schoettner. Distributed architecture for a peer-to-peer-based virtual microscope (Work in Progress Paper).
  • 16.00-16.30: Coffee break
  • 16.30-17.30: Session 7 - Middleware
    • Nicolas Haderer, Romain Rouvoy and Lionel Seinturier. Dynamic Deployment of Sensing Experiments in the Wild Using Smartphones (Full Research Paper).
    • Yerom-David Bromberg, Floréal Morandat, Laurent Réveillère and GaÎl Thomas. EZ: towards efficient asynchronous protocol gateway construction (Work in Progress Paper).
  • 17.30: Closing