All sessions labeled "#A" will be held in Amphitheatre "Merieux",
and all sessions labeled "#B" will be held in Press Room.
and all sessions labeled "#B" will be held in Press Room.
Download program in plain text, doc or pdf.
Tuesday, November 3 2009
| 8:30 - 9:00 | Registration |
| 9:00 - 9:20 | Opening |
| 9:20 - 10:35 |
Invited Talk: Roger Wattenhofer Self-Stabilization: from Efficacy to Efficiency. |
| 10:35 - 11:00 | Pause |
| 11:00 - 12:30 |
Session 1A: Peer-to-Peer Systems #1 Session Chair: Thomas Fuhrmann FoG: fighting the Achilles? heel of gossip protocols with fountain codes. Mary-Luc Champel, Anne-Marie Kermarrec, and Nicolas Le Scouarnec Scalable P2P Overlays of Very Small Constant Degree: 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 Session 1B: Alternative Systems and Models Session Chair: Ted Herman 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 |
| 12:30 - 14:30 | Lunch |
| 14:30 - 16:00 |
Session 2A: Stabilization #1 Session Chair: Roger Wattenhoffer 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 Session Chair: Giovanna Di Marzo Serugendo 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 | Social Event: "Traboules" Guided Tour & Diner at "Brasserie Georges" |
Wednesday, November 4 2009
| 9:00 - 10:15 |
Invited Talk: 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 Session Chair: Josef Widder 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 Session Chair: Mohamed Gouda 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 Session Chair: David Peleg 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 Session Chair: Eric Fleury 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 Session Chair: Sayan Mitra Consistent Fixed Points and Negative Gain. Hrishikesh Acharya, Ehab Elamallah, and Mohamed Gouda 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 Randomization Adaptive Self-Stabilization. Shlomi Dolev and Nir Tzachar Brief Announcements #1B Session Chair: Maria Gradinariu Potop-Butucaru Analytical Study of Adversarial Strategies in PeerCube, a Structured based Overlay. Emmanuelle Anceaume, Romaric Ludinard, Bruno Sericola, Frederic Tronel, and Francisco Brasileiro 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 Talk: 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: Peer-to-Peer Systems #2 Session Chair: Anne-Marie Kermarrec 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 Session 5B: Formal Methods in Distributed Systems Session Chair: Toshimitsu Masuzawa 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 |
| 12:15 - 13:45 | Lunch |
| 13:45 - 15:45 |
Session 6A: Stabilization #3 Session Chair: Pascal Felber 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 Session Chair: Sébastien Tixeuil 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 Session Chair: Vincent Villain 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 Session Chair: Stéphane Devismes 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: Diner at Bocuse's |
Friday, November 6 2009
| 9:00 - 10:30 |
Session 7A: Stabilization #4 Session Chair: Yoshiaki Katayama 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 Session Chair: Shlomi Dolev 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 Session Chair: Martin Hutle 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 Session Chair: Frédéric Desprez 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 |