[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[PVS] SSS 2009 --- CALL FOR PARTICIPATION



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/

******************************************************************************

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