Apologies if you receive multiple copies of this announcement.
*****************************************************************************
- SSS 2009 -
- CALL FOR PARTICIPATION -
11th International Symposium on
Stabilization, Safety, and Security of Distributed Systems
November 3-6, 2009, Lyon, France
http://graal.ens-lyon.fr/SSS09/
******************************************************************************
Early Registration Deadline: **September 18, 2009**
******************************************************************************
The Symposium is an international forum for researchers and
practitioners in the design and development of fault-tolerant distributed
systems with self-* properties, such as self-stabilizing, self-configuring,
self-organizing, self-managing, self-repairing, self-healing, self-optimizing,
self-adaptive, and self-protecting. Research in distributed systems is now
at a crucial point in its evolution, marked by the importance of dynamic
systems such as peer-to-peer networks, large-scale wireless sensor networks,
mobile ad hoc networks, robotic networks, etc. Moreover, new applications such
as grid and web services, banking and e-commerce, e-health and robotics,
aerospace and avionics, automotive, industrial process control, etc. have
joined the traditional applications of distributed systems.
The conference provides a wide spectrum of topics, covered in the following
tracks:
* Alternative Systems and Models
* Autonomic Computational Science
* Cloud Computing
* Embedded Systems
* Fault-Tolerance in Distributed Systems / Dependability
* Formal Methods in Distributed Systems
* Grid Computing
* Mobility and Dynamic Networks
* Multicore Computing
* Peer-to-Peer Systems
* Self-Organizing Systems
* Sensor Networks
* Stabilization
* System Safety and Security
Registration information is available at http://graal.ens-lyon.fr/SSS09/
Rachid Guerraoui and Franck Petit, Program Chairs
-=-=-=-=-=-=-=-=-
TENTATIVE PROGRAM
-=-=-=-=-=-=-=-=-
------------------------
Tuesday, November 3 2009
------------------------
8:30 - 9:00 Registration
9:00 - 9:15 Opening
9:15 - 10:30
Invited Speaker #1: Roger Wattenhoffer
Local Algorithms: Self-Stabilization on Speed.
Joint work with Christoph Lenzen and Jukka Suomela
10:30 - 11:00 Pause
11:00 - 12:30
Session 1A: Alternative Systems and Models
Robustness and Dependability of Self-Organising Systems Ð A Safety
Engineering Perspective.
Giovanna Di Marzo Serugendo
Visiting Gafni's Reduction Land: from the BG Simulation to the
Extended BG Simulation.
Damien Imbs and Michel Raynal
Analysis of an Intentional Fault Which is Undetectable by Local
Checks under an Unfair Scheduler.
Jun Kiniwa and Kensaku Kikuta
Session 1B: Peer-to-Peer Systems #1
FoG: fighting the Achilles? heel of gossip protocols with fountain codes.
Mary-Luc Champel, Anne-Marie Kermarrec, and Nicolas Le Scouarnec
Scalable Stealth Mode P2P Networks: an Emerging Security Threat.
Mark Jelasity and Vilmos Bilicki
Finding Good Partners in Availability-aware P2P Networks.
Stevens Le Blond, Fabrice Le Fessant, and Erwan Le Merrer
12:30 - 14:30 Lunch
14:30 - 16:00
Session 2A: Stabilization #1
Multicore Constraint-Based Automated Stabilization.
Fuad Abujarad and Sandeep Kulkarni
Making Population Protocols Self-Stabilizing.
Joffroy Beauquier, Janna Burman, and Shay Kutten
How to improve snap-stabilizing point-to-point communication space
complexity?
Alain Cournier, Swan Dubois and Vincent Villain
Session 2B: Self-Organizing Systems and Multicore Computing
ACCADA: A Framework for Continuous Context-Aware Deployment and Adaptation.
Ning Gui, Vincenzo De Florio, Hung Sun, and Chris Blondia
Distributed Power control with multiple agents in a distributed
base station scheme using macrodiversity.
Philippe Leroux and Sebastien Roy
OpenMP Support for NBTI-induced Aging Tolerance in MPSoCs.
Andrea Marongiu, Andrea Acquaviva, and Luca Benini
From 16:00 Pause and Social Event
--------------------------
Wednesday, November 4 2009
--------------------------
9:00 - 10:15
Invited Speaker #2: David Peleg
As Good As It Gets: Competitive Fault Tolerance in Network Structures.
10:15 - 10:45 Pause
10:45 - 12:15
Session 3A: Fault-Tolerance in Distributed Systems / Dependability #1
Looking for the Weakest Failure Detector for k-Set Agreement in
Message-passing Systems: Is ?k the End of the Road?
Fran ois Bonnet and Michel Raynal
Optimal Byzantine Resilient Convergence in Asynchronous Robot Networks.
Zohir Bouzid, Maria Gradinariu Potop-Butucaru, and Sebastien Tixeuil
Dependability Engineering of Silent Self-Stabilizing Systems.
Abhishek Dhama, Oliver Theel, Pepijn Crouzen, Holger Hermanns, Ralf
Wimmer, and Bernd Becker
Session 3B: System Safety and Security #1
Anonymous Transactions in Computer Networks.
Shlomi Dolev and Marina Kopeetsky
A Wireless Security Framework without Shared Secrets.
Lifeng Sang and Anish Arora
Black Hole Search with Tokens in Interconnected Networks.
Wei Shi
12:15 - 14:00 Lunch
14:00 - 15:30
Session 4A: Stabilization #2
Fault-Containment in Weakly-Stabilizing Systems.
Anurag Dasgupta, Sukumar Ghosh, and Xin Xiao
An Optimal Self-Stabilizing Firing Squad.
Danny Dolev, Ezra N. Hoch, and Yoram Moses
Nash Equilibria in Stabilizing Systems.
Mohamed Gouda and Hrishikesh Acharya
Session 4B: Mobility and Dynamic Networks
Consensus when all processes may be Byzantine for some time.
Martin Biely and Martin Hutle
A Superstabilizing log(n)-Approximation Algorithm for Dynamic Steiner Trees.
Lelia Blin, Maria Gradinariu Potop-Butucaru, and Stephane Rovedakis
Randomized Gathering of Mobile Robots with Local-Multiplicity Detection.
Taisuke Izumi, Tomoko Izumi, Sayaka Kamei and Fukuhito Ooshita
15:30 - 16:00 Pause
16:00 - 17:00
Brief Announcements #1A
Consistent Fixed Points and Negative Gain.
Hrishikesh Acharya, Ehab Elamallah, and Mohamed Gouda
Analytical Study of Adversarial Strategies in PeerCube, a
Structured based Overlay.
Emmanuelle Anceaume, Romaric Ludinard, Bruno Sericola, Frederic
Tronel, and Francisco Brasileiro
Safer than Safe: On the Initial State of Self-Stabilizing Systems.
Sylvie Dela't, Shlomi Dolev, and Olivier Peres
Unique Permutation Hashing.
Shlomi Dolev, Limor Lahiani, and Yinnon Haviv
Brief Announcements #1B
Randomization Adaptive Self-Stabilization.
Shlomi Dolev and Nir Tzachar
On the Time Complexity of Distributed Topological Self-Stabilization.
Dominik Gall, Riko Jacob, Andrea Richa, Christian Scheideler,
Stefan Schmid, and Hanjo TŠubig
Virtual Security Kernel: A Component-Based OS Architecture for
Self-Protection.
Ruan He, Marc Lacoste, and Jean Leneutre
Towards Secure Cloud Computing.
Christian Henrich, Matthias Huber, Carmen Kempka, Jšrn
MŸller-Quade, and Mario Strefler
17:15 - 18:00 Business Meeting
-------------------------
Thursday, November 5 2009
-------------------------
9:00 - 10:15
Invited Speker #3: Anne-Marie Kermarrec
Challenges in personalizing and decentralizing the Web: an overview
of GOSSPLE.
10:15 - 10:45 Pause
10:45 - 12:15
Session 5A: Formal Methods in Distributed Systems
A Theory of Network Tracing.
Hrishikesh Acharya and Mohamed Gouda
Analysis of wireless sensor network protocols in dynamic scenarios.
Cinzia Bernardeschi, Paolo Masci, and Holger Pfeifer
Model Checking Coalition Nash Equilibria in MAD Distributed Systems.
Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci, Lorenzo
Alvisi, Allen Clement, and Harry Li
Session 5B: Peer-to-Peer Systems #2
Churn-resilient replication strategy for peer-to-peer distributed
hash-tables.
Sergey Legtchenko, SŽbastien Monnet, Pierre Sens, and Gilles Muller
Redundancy maintenance and garbage collection strategies in
peer-to-peer storage systems.
Xin Liu and Anwitaman Datta
Network-Friendly Gossiping.
Sabina Serbu, Etienne Riviere, and Pascal Felber
12:15 - 13:45 Lunch
13:45 - 15:45
Session 6A: Stabilization #3
A self-stabilizing approximation algorithm for vertex cover in
anonymous networks.
Bernd Hauck and Volker Turau
Separation of Circulating Token.
Ted Herman and Kajari Ghosh Dastidar
Cached Sensornet Transformation of Non-silent Self-Stabilizing
Algorithms with Unreliable Links.
Hirotsugu Kakugawa, Yukiko Yamauchi, Sayaka Kamei, and Toshimitsu Masuzawa
Exploring Polygonal Environments by Simple Robots with Faulty
Combinatorial Vision.
Anvesh Komuravelli and Matus Mihalak
Session 6B: Autonomic Computational Science and Sensor Networks
Developing Autonomic and Secure Virtual Organisations with Chemical
Programming.
Alvaro Arenas, Jean-Pierre Banatre, and Thierry Priol
CFlood: A Constrained Flooding Protocol for Real-Time Data Delivery
in Wireless Sensor Networks.
Bo Jiang, Binoy Ravindran and Hyeonjoong Cho
From Local Impact Functions to Global Adaptation of Service Compositions.
Liliana Rosa, Lu's Rodrigues, Ant—nia Lopes, Matti Hiltunen, and
Richard Schlichting
Distributed Sleep Scheduling in Wireless Sensor Networks via
Fractional Domatic Partitioning.
Andre Schumacher and Harri HaanpŠŠ
15:45 - 16:15 Pause
16:15 - 17:00
Brief Announcements #2A
Robust Self-Stabilizing construction of bounded size weight-based clusters.
Colette Johnen and Fouzi Mekhaldi
A Stabilizing Algorithm for Finding Two Disjoint Paths in Arbitrary Networks.
Mehmet Hakan Karaata and Rachid Hadid
Relocation Analysis of Stabilizing MAC Algorithms for Large-Scale
Mobile Ad Hoc Networks.
Pierre Leone, Marina Papatriantafilou, and Elad Michael Schiller
Brief Announcements #2B
A Simple and Quiescent Omega Algorithm in the Crash-Recovery Model.
Cristian Mart'n and Mikel Larrea
How to Overcome the Limits of Bounds.
Olivier Peres.
The Design and Evaluation of a Distributed Reliable File System.
Dalibor Peric, Thomas Bocek, Fabio Victora Hecht, David Hausheer,
and Burkhard Stiller
From 17:00 Social Event
-----------------------
Friday, November 6 2009
-----------------------
9:00 - 10:30
Session 7A: Stabilization #4
Stability of Distributed Algorithms in the face of Incessant Faults.
R.E. Lee DeVille and Sayan Mitra
A Self-Stabilizing Algorithm for Graph Searching in Trees.
Rodica Mihai and Morten Mjelde
Oracle-Based Flocking of Mobile Robots in Crash-Recovery Model.
Samia Souissi, Taisuke Izumi, and Koichi Wada
Session 7B: System Safety and Security #2
Optimistic fair exchange using trusted devices.
Mohammad Torabi Dashti
Application data consistency checking for anomaly based intrusion detection.
Eric Totel, Olivier Sarrouy, and Bernard Jouga
Self Adaptive High Interaction Honeypots Driven by Game Theory.
Gerard Wagener, Radu State, Alexandre Dulaunoy, and Thomas Engel
10:30 - 11:00 Pause
11:00 - 12:30
Session 8A: Fault-Tolerance in Distributed Systems / Dependability #2
Efficient Robust Storage Using Secret Tokens.
Dan Dobre, Matthias Majuntke, Marco Serafini, and Neeraj Suri
RWC: An Erasure Resilient Encoding System for Flexible Reading and
Writing in Storage Networks.
Christian Schindelhauer and Mario Mense
Speculation for Parallelizing Runtime Checks.
Martin S٤kraut, Stefan Weigert, Ute Schiffel, Thomas Knauth,
Martin Nowack, Diogo Becker de Brum, and Christof Fetzer
Session 8B: Embedded Systems and Grid Computing
A Metastability-Free Multi-Synchronous Communication Scheme for
Fault-Tolerant SoCs.
Thomas Polzer, Thomas Handl, and Andreas Steininger
Cooperative Autonomic Management in Large-scale Dynamic Distributed Systems.
Jing Xu, Ming Zhao, and Jose Fortes
12:30 - 14:00 Lunch
_______________________________________________
Tccc mailing list
Tccc@lists.cs.columbia.edu
https://lists.cs.columbia.edu/cucslists/listinfo/tccc