r SRDS 2013

Technical Program and Social Program.

Technical Program

Pre-Symposium Workshops

Monday September 30, 2013

  • 09:00 - 09:30 Registration
  • 09:30 - 09:45 Welcome and Opening, João Leitão and Miguel Correia
  • 09:45 - 10:30 Keynote
    "On the Role of State Machine Replication in Cloud Infrastructures", Alysson Bessani, FCUL, University of Lisbon
  • 10:30 - 10:50 Break
  • 10:50 - 12:30 Workshop on Dependability Issues in Cloud Computing, Miguel Correia
    "Assessing Data Availability of Cassandra in the Presence of Non-accurate Membership", L. Aniello, S. Bonomi, M. Breno and R. Baldoni
    "A Methodology and Supporting Techniques for the Quantitative Assessment of Insider Threats", N. Nostro, A. Ceccarelli, A. Bondavalli and F. Brancati
    "An Online Failure Prediction System for Private IaaS Platforms", P. Capelastegui, A. Navas, F. Huertas, R. Garcia-Carmona and J. Dueñas
    "The TClouds Platform - Concept, Architecture and Instantiations", G. Ramunno, P. Smiraglia, L. Antonio Cutillo, A. Bessani and N. Schirmer
  • 12:30 - 14:00 Lunch
  • 14:00 - 14:45 Keynote
    "Making Geo-replicated Systems Fast When Possible, Consistent If Necessary", Rodrigo Rodrigues, FCT, Nova University of Lisbon
  • 14:45 - 15:35 Workshop on Planetary-Scale Distributed Systems, Ricardo Vilaça
    "Cooperation in Planetary-Scale Epidemic Dissemination", X. Vilaça and L. Rodrigues
    "Conflict Classes for Replicated Databases: A Case-Study", A. Nunes, R. Oliveira and J. Pereira
  • 15:35 - 15:55 Break
  • 15:55 - 16:45 Workshop on Planetary-Scale Distributed Systems, João Leitão
    "Evaluating State Machine Replication Over a WAN", J. Sousa and A. Bessani
    "On Data Center Fault Models", D. Porto, J. Leitão, C. Li, A. Clement, F. Junqueira, A. Kate, and R. Rodrigues
  • 16:45 - 17:30 Keynote
    "Towards Data-as-a-Service on Micro-clouds Federations", Étienne Rivière, University of Neuchatel


Tuesday October 1, 2013

  • 08:30 – 09:00 Registration
  • 09:00 – 09:30 Welcome and Opening
  • 09:30 – 10:30 Keynote
    "Global Trends on Cloud Computing", Miguel Moreira, CEO, Portugal Telecom Sistemas de Informação
  • 10:30 – 10:45 Break
  • 10:45 – 12:15 Session on Transactions and Consistency, chaired by Ricardo Jimenez-Peris
    "Non-Monotonic Snapshot Isolation: Scalable and Strong Consistency for Geo-replicated Transactional Systems", M. Ardekani, P. Sutra and M. Shapiro
    "Clock-SI: Snapshot Isolation for Partitioned Data Stores Using Loosely Synchronized Clocks", J. Du, S. Elnikety and W. Zwaenepoel
    "Bumper: Sheltering Transactions from Conflicts", N. Diegues and P. Romano
  • 12:15 – 13:45 Lunch
  • 13:45 – 15:15 Session on Detection and Diagnosis, chaired by Sara Bouchenak
    "A Distributed Abstraction Algorithm for Online Predicate Detection", H. Chauhan, V. Garg, A. Natarajan and N. Mittal
    "Linking Resource Usage Anomalies with System Failures from Cluster Log Data", E. Chuah, A. Jhumka, S. Narasimhamurthy, J. Hammond, J. Browne and B. Barth
    "Automatic Problem Localization in Distributed Applications via Multi-dimensional Metric Profiling", I. Laguna, S. Mitra, F. A. Arshad, N. Theera-Ampornpunt, Z. Zhu, S. Bagchi, S. Midkiff, M. Kistler and A. Gheith
  • 15:15 – 15:30 Break
  • 15:30 – 17:00 Session on Replication and Reliability, chaired by José Pereira
    "Bounded Delay in Byzantine Tolerant State Machine Replication", Z. Milosevic, M. Biely and A. Schiper
    "Automated Multi-Graceful Degradation", Y. Lin and S. Kulkarni

  • 17:30 – 19:30 Old Town Guided Tour
  • 19:30 – 20:30 Welcome Reception

Wednesday October 2, 2013

  • 09:00 – 10:00 Keynote
    "European Commission: Vision and Priorities for Cloud Computing" (slides), Francisco Medeiros, Deputy Head of Unit on Software and Services, Cloud Computing, European Commission
  • 10:00 – 10:30 Best Paper Award Session, chaired by Paulo Veríssimo
    "Validity-based Failure Algebra for Distributed Sensor Systems", T. Brade, S. Zug and J. Kaiser
  • 10:30 – 10:45 Break
  • 10:45 – 12:30 Ph.D. Students Session, chaired by Andrea Bondavalli and Shambhu Upadhyaya
    "Elastic Enterprise Applications", Ana Nunes Alonso
    "Designing Dependable Control Platforms for Software Defined Networks", Diego Kreutz
    "Fault Tolerant Service Integration", Filipe Campos
    "A Platform-as-a-Service for the Cloud-of-Clouds Environment", João Sousa
    "Workload Aware Elasticity for NoSQL", Francisco Cruz
    "Intrusion-Tolerant Diverse Systems", Miguel Garcia
    "DATAFLASKS: an Epidemic Dependable Key-value Substrate", Francisco Maia
    "Anomaly Filtering in Large Scale Systems", Romaric Ludinard
    "A Privacy-Assuring Disclosure Filter for Genetic Information", Vinicius Cogo
  • 12:30 – 14:00 Lunch
  • 14:00 – 15:30 Session on Handling Uncertainty, chaired by Xavier Défago
    "Fighting Uncertainty in Highly Dynamic Wireless Sensor Networks with Probabilistic Models", L. Marques and A. Casimiro
    "A Distributed Polling with Probabilistic Privacy", Y. Benkaouz, R. Guerraoui, M. Erradi and F. Huc
    "Consensus with Unknown Participants in Shared Memory", C. Khouri, F. Greve and S. Tixeuil
  • 15:30 – 15:45 Break
  • 15:45 – 17:15 Session on Modeling and Analysis, chaired by Takahiro Hara
    "Efficient Verification of Distributed Protocols Using Stateful Model Checking", H. Saissi, P. Bokor, C. Muftuoglu, M. Serafini and N. Suri
    "Stochastic Analysis on RAID Reliability for Solid-State Drives", Y. Li, P. Lee and J. Lui
    "Rigorous Performance Evaluation of Self-stabilization Using Probabilistic Model Checking", N. Fallahi, B. Bonakdarpour and S. Tixeuil

  • 17:45 – 22:00 Conference Dinner

Thursday October 3, 2013

  • 09:00 – 10:00 Keynote
    "Replication for Fault Tolerance: What Have We Learned in Fourty Years?", André Schiper, École Polytechnique Fédérale de Lausanne
  • 10:00 – 10:15 Break
  • 10:15 – 11:45 Session on Security, chaired by Edgar Nett
    "Analysis of Malware Propagation in Twitter", A. Sanzgiri, A. Hughes and S. Upadhyaya
    "Adaptive Anomaly Identification by Exploring Metric Subspace in Cloud Computing Infrastructures", Q. Guan and S. Fu
    "A Unified Framework for Measuring a Network's Mean Time-to-Compromise", W. Tankou, L. Wang, S. Jajodia and A. Singhal
  • 11:45 – 12:00 Break
  • 12:00 – 13:30 Session on Network Reliability and Integrity, chaired by Alysson Bessani
    "A Fault-Tolerant Routing Algorithm Design for On-Chip Optical Networks", D. Xiang, Y. Zhang and Y. Xu
    "PIP: Privacy and Integrity Preserving Data Aggregation in Wireless Sensor Networks", V. Kumar and S. Madria
    "Virtual Synchrony Guarantees for Cyber-physical Systems", F. Ferrari, M. Zimmerling, L. Mottola and L. Thiele
  • 13:30             Concluding Remarks

Keynote Speakers

  • Miguel Moreira, age 53, works for Portugal Telecom since 2002, and currently leads the IT subsidiary of the Group (PT Sistemas de Informação) for the past four years. Previously, between 2003 and 2009, launched and was the leader of PT PRO, the independent shared services unit of Portugal Telecom. With an engineering degree, Miguel Moreira has previously worked for 15 years as a management consultant for and earlier as a manufacturing engineer in the Auto Industry.

    PT Sistemas de Informação is the IT services unit of Portugal Telecom, with the focus on the internal systems management and integration, and the main ICT supplier for the corporate clients of the Group. The company includes around 1500 professionals that operate mainly in Portugal, but also in Africa and Brasil. The range of services include, service management, customer help desk, application maintenance and development, system integration, new ICT technologies and solution deployment like cloud computing, smart cities, networking solutions, besides core telecom and enterprise solutions.

  • Francisco Medeiros has an Engineering Degree (Electronics), an MSc Degree (Telecommunications) and a PhD in Electrical Engineering (millimetre-wave systems and devices). He was awarded the “Barlow Prize” by University College London (UCL) for the most original contribution to research in the UCL Department of Electronic and Electrical Engineering during the academic session 1982/1983. He was a Fulbright Scholar in 1983 and an ITU Fellow in 1984 with the United States Telecommunications Training Institute (Washington DC, USA).

    In 1986, he joined the Radio Frequency Technology Division of ERA Technology Ltd, an independent research organisation based in Leatherhead (UK), where he worked on the design and development of high performance reflector antennas and microwave & millimetre-wave components and systems. He was recruited by NEC Europe (London, UK) in 1990 and became the General Manager of its Telecommunications Technologies Division in 1996. Francisco Medeiros joined the European Commission, Information Society and Media Directorate-General (DG INFSO) in 2000, where he worked on radio spectrum policy, mainly focused on 3G mobile communications. In 2003, he moved to the R&D side of the European Commission services, initially in the area of Mobile and Satellite Communications, later in the Networked Media Systems sector. In January 2012, he was appointed as Deputy Head of Unit, Networked Media Systems.

    When DG INFSO became DG CONNECT in July 2012, he became Deputy Head of Unit, Software and Services, Cloud Computing. In this capacity, Francisco Medeiros is heavily involved in the implementation of many of the actions described in the Commission Communication on Unleashing the Potential of Cloud Computing in Europe as well as responsible for the oversight of Software & Services and Cloud Computing research and innovation projects funded by the EU in the context of the 7th Framework Programme and the forthcoming Horizon 2020 Programme .

  • André Schiper graduated in Physics from the ETHZ in Zurich in 1973 and received the PhD degree in computer science from the EPFL in 1980. He has been a professor of computer science at EPFL since 1985, leading the Distributed Systems Laboratory. His research interests are in the area of dependable distributed systems, middleware support for dependable systems, replication techniques (including for database systems), group communication, distributed transactions, and MANETs.

    André Schiper is member of the editorial boards of Distributed Computing, Springer Verlag (2003-), Transactions on Dependable and Secure Computing, IEEE (2004-2008), International Journal of Security and Networks, Inderscience (2005-).

Social Program

The conference will comprise two social events, a short guided tour to Braga old town followed by a Welcome Reception on the first day and the Conference Dinner on the second day, October 2.

We do believe that a visit to the north of Portugal would not be complete without getting to know Porto and the Douro Valley.


The whole region has recently been nominated by Lonely Planet the best european holiday destination in 2013. "We try to point out what's the next hot thing, what's been overlooked and deserving of more attention and places that people have heard about forever but may not know have been revitalized in recent years," said Andy Murdock, Lonely Planet's U.S. digital editor. Porto, Portugal's second-largest city, has so much going for it. The birthplace of port, this picturesque hilly town in northern Portugal also has a thriving arts scene and up and coming culinary reputation. And it's a good value destination right now. "Porto is really the best in show for this year," Murdock said.

The Douro Region is the oldest demarcated wine region, having held the 'title' since 1756. Stretching along the River Douro Valley, a UNESCO world heritage site, the excellent wines produced here include the famous Port wine. Let yourself be enchanted by the Douro landscape; the valleys, the winding river, the terraced vines, the pure air while you enjoy the typical Portuguese cuisine accompanied by wine produced in the region.


We are planning an extra program excursion to the Douro Valley on Friday, October 4. This will be a full-day program and consists of going up the valley by train to Régua and then descending the river on boat. Port wine tasting and lunch will be served on board. Details can be found here and any questions can be sent to Sonia Pinto from mindthemoment.


Sponsored by:

IEEE Computer Society Technical Committee on Distributed Processing (TCDP)

IEEE                 IEEE Computer Society

Supported by:

University of Minho                 Critical Software                 Maxdata