Fourth Latin-American - Francisco "Fubica" Vilar Brasileiro

Day
31/ago
1/set
2/set
3/set
4/set
Opening and welcome
(8:30-9:00)
Workshop de Testes e Tolerância a
Falhas
(8:30-10:30)
Tutorial 1: From Object Replication to
Database Replication,
by Fernando Pedone
(8:30-10:30)
Technical Session 1:
Dependability in Database
Systems
(9:00-10:30)
Student Forum
(8:30-10:30)
Workshop on Dependability and Security in
Peer-to-Peer Systems, organized by Fabíola
Greve and Emmanuelle Anceaume
(8:30-10:30)
Coffee Break
(10:30-11:00)
Coffee Break
(10:30-11:00)
Coffee Break
(10:30-11:00)
Coffee Break
(10:30-11:00)
Coffee Break
(10:30-11:00)
Workshop de Testes e Tolerância a
Falhas
(11:00-12:30)
Tutorial 1: From Object Replication to
Database Replication,
by Fernando Pedone
(11:00-12:30)
Technical Session 2: Algorithms
and Methods for Dependable
Computing
(11:00-12:30)
Student Forum
(11:00-12:30)
Workshop on Dependability and Security in
Peer-to-Peer Systems, organized by Fabíola
Greve and Emmanuelle Anceaume
(11:00-13:00)
Lunch
(12:30-14:00)
Lunch
(12:30-14:30)
Lunch
(12:30-14:00)
Lunch
(12:30-14:00)
Lunch
(13:00-14:30)
Workshop de Testes e Tolerância a
Falhas
(14:00-16:30)
Tutorial 2: Experimental Methods for
Computer Science Research,
by Roy Maxion
(14:30-16:30)
Technical Session 3:
Dependability and Security
Benchmarking
(14:00-15:30)
Technical Session 5:
Dependability of Software
(14:00-15:30)
Panel: Fostering Dependability Research in
Latin America
(14:30-15:30)
Invited Talk 1 – Dependability in
the Time of Forensics
by Roy Maxion
(15:30-16:30)
Invited Talk 2 - Empirical
Data-driven Modeling for
Dependability Enhancement
by Miroslav Malek
(15:30-16:30)
Closing and Business Meeting
(15:30-16:30)
Coffee Break
(16:30-17:00)
Coffee Break
(16:30-17:00)
Coffee Break
(16:30-17:00)
Coffee Break
(16:30-17:00)
Workshop de Testes e Tolerância a
Falhas
(17:00-18:30)
Tutorial 2: Experimental Methods for
Computer Science Research,
by Roy Maxion
(17:00-18:30)
Technical Session 4: Design of
Dependable Systems
(17:00-18:00)
Technical Session 6:
Engineering Dependable
Systems
(17:00-18:30)
Fast Abstract I
(18:00-19:00)
Fast Abstracts II
(18:30-19:00)
Business Meeting
(18:30-19:00)
Tutorials
T1. From Object Replication to Database Replication
Abstract:
In this tutorial, I intend to review some of the work done in the distributed systems
community on database replication, focusing on group communication-based
protocols. Designing database replication systems and algorithms based on group
communication leads to modular approaches, in which synchronization among
servers, for example, is encapsulated in the group communication primitives. As a
result, reasoning about the correctness of such systems is simpler. In addition to
discussing group communication-based database replication, the tutorial is intended
to illustrate the use of group communication in the design of fault tolerant
distributed systems.
Fernando Pedone received his Ph.D. degree in computer science from Ecole
Polytechnique Fédérale de Lausanne (EPFL), Switzerland, in 1999. Before becoming
Assistant and Associate Professor at the University of Lugano, he worked as a
researcher at the Hewlett-Packard Laboratories in Palo Alto, California, and as a
senior researcher at EPFL. His professional interests include the theory and practice
of distributed systems and distributed data management systems. Fernando Pedone
has authored more than 50 scientific papers. In November 2007 he co- chaired the
Monte Verita seminar “A 30-year perspective on replication”.
T2. Experimental Methods for Computer Science Research
Invited Talks
IT1. Dependability in the Time of Forensics
IT2. Empirical Data-driven Modeling for Dependability Enhancement
Technical Sessions
TS1. Dependability in Database Systems
Benchmarking Untrustworthiness in DBMS Configurations
Afonso Araujo Neto (University of Coimbra), Marco Vieira (University of Coimbra)
A Weight-Based Symptom Correlation Approach to SQL Injection Attacks
Massimo Ficco (Dipartimento per le Tecnologie, Universita' degli Studi di Napoli
``Parthenope'), Luigi Romano (University of Naples Parthenope), Luigi Coppolino
(Univesità degli Studi di Napoli "Parthenope")
Detecting SQL Injection Vulnerabilities in Web Services
Nuno Antunes (University of Coimbra), Marco Vieira (University of Coimbra)
TS2. Algorithms and Methods for Dependable Computing
Adaptive Sabotage-Tolerant Scheduling for Peer-to-Peer Grids
Ana Cristina Oliveira (UFCG), Lívia Sampaio (UFCG), Stenio Fernandes (IF-AL), Francisco
Brasileiro (UFCG)
Probabilistic Estimation of Network Size and Diameter
Jorge Cardoso (Portuguese Catholic University), Carlos Baquero (DI/CCTC, Universidade
do Minho), Paulo Almeida (DI/CCTC, Universidade do Minho)
A Timer-free Fault Tolerant K-Mutual Exclusion Algorithm
Mathieu Bouillaguet (Université Pierre et Marie Curie, Lip6), Luciana Arantes
(Université de Paris VI), Pierre Sens (Laboratoire d''informatique de Paris 6)
TS3. Dependability and Security Benchmarking
Using Dependability, Performance, Area and Energy Consumption Experimental
Measures to Benchmark IP Cores
David de Andres (Technical University of Valencia)
Appraisals based on Security Best Practices for Software Configurations
Afonso Araujo Neto (University of Coimbra), Marco Vieira (University of Coimbra)
BitTorrent Needs Psychiatric Guarantees: Quantifying How Vulnerable BitTorrent
Swarms Are to Sybil Attacks
Felipe Pontes (Universidade Federal de Campina Grande), Francisco Brasileiro
(Universidade Federal de Campina Grande), Nazareno Andrade (Universidade Federal
de Campina Grande)
TS4. Design of Dependable Systems
Implementing Retry - Featuring AOP
Bruno Cabral (CISUC, University of Coimbra), Paulo Marques (University of Coimbra)
Structuring Specifications with Modes
Alexei Iliasov (Newcastle University), Fernando Dotti (PUCRS), Alexander Romanovsky
(Newcastle University)
TS5. Dependability of Software
Mapping Web-based Applications Failures to Faults
Regina Moraes (Universidade Estadual de Campinas), Bruno Abreu (Sofist - Intelligent
Software Testing), Eliane Martins (UNICAMP)
Comparative analysis on the impact of defensive programming techniques for safetycritical systems
Alex Ander Javarotti Zumalde (University of São Paulo), João Batista Camargo Jr. (PoliUSP)
Architectural-Based Validation of Fault-Tolerant Software
Patrick Brito (State University of Campinas), Rogério de Lemos (University of Coimbra),
Eliane Martins (UNICAMP), Regina Moraes (Universidade Estadual de Campinas),
Cecilia Rubira (UNICAMP)
TS6. Engineering Dependable Systems
A Low-Cost On-Line Monitoring Mechanism for the FlexRay Communication Protocol
Yasser Sedaghat (Sharif University of Technology), Seyed Ghassem Miremadi (Sharif
University of Technology)
Dealing with Driver Failures in the Storage Stack
Jorrit Niek Herder (Vrije Universiteit), David C. van Moolenbroek (Vrije Universiteit
Amsterdam), Raja Appuswamy (Vrije Universiteit Amsterdam), Bingzheng Wu (Chinese
Academy of Sciences), Ben Gras (Vrije Universiteit Amsterdam), Andrew S. Tanenbaum
(Vrije Universiteit Amsterdam)
A Proof-carrying-code Infrastructure for Resources
Hans-Wolfgang Loidl (Ludwig-Maximilians-Universität München), Kenneth MacKenzie
(Laboratory for the Foundations of Computer Science, School of Informatics, The
University of Edinb), Steffen Jost (School of Computer Science, University of St Andrews,
North Haugh, St Andrews, Fife, KY16 9SX), Lennart Beringer (Institut für Informatik,
Ludwig-Maximilians Universität, D-80538 München, Germany)