PODC Archives

ACM PODC Participants List


Options: Use Forum View

Use Monospaced Font
Show Text Part by Default
Condense Mail Headers

Message: [<< First] [< Prev] [Next >] [Last >>]
Topic: [<< First] [< Prev] [Next >] [Last >>]
Author: [<< First] [< Prev] [Next >] [Last >>]

Print Reply
text/plain; charset=us-ascii
Tue, 3 Oct 2006 15:13:28 -0700
Ajoy K Datta <[log in to unmask]>
Ajoy K Datta <[log in to unmask]>
ACM PODC Participants List <[log in to unmask]>
text/plain (278 lines)
[Please accept our apologies if you receive multiple copies of this message.]

Eighth International Symposium on Stabilization, Safety, and Security of
Distributed Systems
(formerly Symposium on Self-stabilizing Systems) (SSS 2006)
November 17th-19th, 2006
Dallas, Texas, USA


Thursday, November 16
18:00 - 21:00 Registration and Reception

Friday, November 17
7:00 - 8:00 Registration

8:00 - 9:00 Invited Talk
Web Advertising: The Good, The Bad, and The Ugly
Yi-Min Wang (Microsoft Research)

9:00 - 9:15 Break

9:15 - 10:55 Clock Synchronization
Stabilizing Clock Synchronization for Wireless Sensor Networks
Ted Herman and Chen Zhang (University of Iowa)

Self-Stabilizing Byzantine Digital Clock Synchronization
Ezra N. Hoch, Danny Dolev, and Ariel Daliot (Hebrew University of Jerusalem)

A Byzantine-Fault Tolerant Self-Stabilizing Protocol for Distributed
Clock Synchronization Systems
Mahyar R. Malekpour (NASA Langley Research Center)

Bounding the Impact of Unbounded Attacks in Stabilization
Toshimitsu Masuzawa (Osaka University) and
Sebastien Tixeuil (Universite de Paris Sud)

10:55 - 11:10 Break

11:10 - 12:25 Transformers
All k-bounded policies are equivalent for self-stabilization
Joffroy Beauquier, Colette Johnen, and Stephane Messika
(Universite de Paris Sud)

From Self- to Snap- Stabilization
Alain Cournier, Stephane Devismes, and Vincent Villain
(Universite de Picardie)

A 1-Strong Self-Stabilizing Transformer
Joffroy Beauquier and Sylvie Delaet, and Sammy Haddad
(Universite de Paris Sud)

12:25 - 14:00 Lunch

14:00 - 15:40 Sensor Networks
Stabilizing Health Monitoring for Wireless Sensor Networks
William Leal, Sandip Bapat, Taewoo Kwon, Pihui Wei, and Anish Arora
(Ohio State University)

A Case Study on Prototyping Power Management Protocols for Sensor Networks
Mahesh Arumugam, Limin Wang, and Sandeep S. Kulkarni (Michigan State University)

Evaluation of a Tracking Architecture in Wireless Sensor Networks
Florent Claerhout (IRISA, INRIA)

Coverage, Connectivity, and Fault Tolerance Measures of Wireless Sensor Networks
Habib Ammari and Sajal Das (University of Texas at Arlington)

15:40 - 15:55 Break

15:55 - 17:35 Fault-Tolerant Systems I
Fault Masking in Tri-Redundant Systems
Mohamed G. Gouda (University of Texas at Austin),
Jorge A. Cobb (University of Texas at Dallas), and
Chin-Tser Huang (University of South Carolina at Columbia)

Optimal Message-Driven Implementation of Omega with Mute Processes
Martin Biely and Josef Widder (Technische Universitat Wien)

Reliability and Availability Analysis of Self-Stabilizing Systems
Abhishek Dhama, Oliver Theel, and Timo Warns
(Carl von Ossietzky University of Oldenburg)

Unconscious Eventual Consistency with Gossips
Roberto Baldoni (Universita di Roma), Rachid Guerraoui (EPFL),
Ron R. Levy (MIT), Vivien Quema, and
Sara Tucci Piergiovanni (Universita di Roma)

17:35 - 17:50 Break

17:50 - 19:00 Brief Announcements I
Wait-Free Dining for Eventual Weak Exclusion
Scott M. Pike, Yantao Song, and Kaustav Ghoshal (Texas A&M University)

Chasing the Weakest System Model for Implementing Omega and Consensus
Martin Hutle (EPFL and Vienna University of Technology),
Dahlia Malkhi (Microsoft Research),
Ulrich Schmid (Vienna University of Technology), and
Lidong Zhou (Microsoft Research)

Termination Detection in an Asynchronous Distributed System with Crash-Recovery
Felix C. Freiling (University of Mannheim),
Matthias Majuntke (RWTH Aachen University), and
Neeraj Mittal (University of Texas at Dallas)

Self-Stabilizing Spanning Tree Algorithm for Large Scale Systems
Thomas Herault, Pierre Lemarinier, Olivier Peres, Laurence Pilard, and
Joffroy Beauquier (Universite de Paris Sud)

An Efficient and Self-Stabilizing Link Formation Algorithm
Jun Kiniwa and Kensaku Kikuta (University of Hyogo)

An Application of Snap-Stabilization: Matching in Bipartite Graphs
Mehmet Kaarata (Kuwait University)

17:50 - 19:00 Brief Announcements II
Distributed Synthesis of Fault-Tolerance
Borzoo Bonakdarpour, Sandeep S. Kulkarni, and
Fuad Abujarad (Michigan State University)

An Adaptive Randomised Searching Protocol in Peer-to-peer Systems based on
Probabilistic Weak Quorum System
Yu Wu, Taisuke Izumi, Fukuhito Ooshita, Hirotsugu Kakugawa, and Toshimitsu
Masuzawa (Osaka University)

Self-Healing Algorithms for Reconfigurable Networks
I-Ching Boman, Jared Saia, Chaouki T. Abdallah,
Edl Schamiloglu (University of New Mexico)

Towards Modular Verification of Stabilisation in Self-Adaptive Embedded Systems
Ina Schaefer and Arnd Poetzsch-Heffter
(Technische Universitat Kaiserslautern)

Analyzing the Interactions of Self-Propagating Codes in Multi-Hop Networks
Sapon Tanachaiwiwat and Ahmed Helmy (University of Southern California)

Exploration and Mitigation of Deafness Problems in Directional Antennas Based
Wireless Ad-hoc Networks
Kai Chen, Fan Jiang, and Zongyao Tang
(University of Science and Technology of China)

A Synthetic Public Key Management Scheme for Large-scale MANET
Pan Dong, Pei-dong Zhu, and Xi-cheng Lu
(National University of Defense Technology)

19:00 - 20:30 Dinner

20:30 - 21:30 Business Meeting (Chair: Sukumar Ghosh)

Saturday, November 18
8:30 - 9:30 Invited Talk (Speaker: Rachid Guerraoui)
A General Characterization of Indulgence
Rachid Guerraoui (EPFL) and Nancy Lynch (MIT)

9:30 - 9:45 Break

9:45 - 11:00 Security Protocols I
Self-Protection for Distributed Component-Based Applications
Benoit Claudel, Noel De Palma (Institut National Polytechnique de Grenoble),
Renaud Lachaize (Universite Joseph Fourier, Grenoble), and
Daniel Hagimont (Institut National Polytechnique, Toulouse)

Secure Communication for RFIDs Proactive Information Security within
Computational Security
Shlomi Dolev and Marina Kopeetsky (Ben Gurion University)

Logarithmic Keying of Communication Networks
Mohamed G. Gouda (University of Texas),
Sandeep S. Kulkarni (Michigan State University), and
Ehab S. Elmallah (University of Alberta)

11:00 - 11:15 Break

11:15 - 12:30 Synchronization
Self-Stabilizing Philosophers with Generic Conflicts
Praveen Danturi, Mikhail Nesterenko (Kent State University), and
Sebastien Tixeuil (Universite de Paris Sud)

Toward a Time-Optimal Odd Phase Clock Unison on Trees
Christian Boulinier, Franck Petit, and Vincent Villain (Universite de Picardie)

Self-Stabilizing Asynchronous Phase Synchronization in General Graphs
Chi-Hung Tzeng (National Tsing Hua University), Jehn-Ruey Jiang, and
Shing-Tsaan Huang (National Central University)

12:30 - 14:00 Lunch

14:00 - 15:40 Potpourri
Using Eventually Consistent Compasses to Gather Oblivious Mobile Robots with
Limited Visibility
Samia Souissi, Xavier Defago (Japan Advanced Institute of Science and
Technology (JAIST), and Masafumi Yamashita (Kyushu University)

Circle Formation of Weak Mobile Robots
Yoann Dieudonne, Ouiddad Labbani-Igbida, and Franck Petit
(Universite de Picardie)

Selfish Stabilization
Anurag Dasgupta, Sukumar Ghosh (University of Iowa), and
Sebastien Tixeuil (Universite de Paris Sud)

Safe Peer-to-Peer Self-Downloading
Ted Herman (University of Iowa), Colette Johnen (Universite de Paris Sud),
and Kajari Ghosh Dastidar (University of Iowa)

15:40 - 15:55 Break

15:55 - 17:35 Fault-Tolerant Systems II
Incremental Synthesis of Fault-Tolerant Real-Time Programs
Borzoo Bonakdarpour and Sandeep S. Kulkarni (Michigan State University)

Self-Adaptive Disk Arrays
Jehan-Francois Paris (University of Huston),
Thomas J. E. Schwarz (Santa Clara University), and
Darrell D. E. Long (University of California)

Recovery Oriented Programming
Olga Brukman and Shlomi Dolev (Ben Gurion University)

Self-Stabilizing Device Drivers
Shlomi Dolev and Reuven Yagel (Ben Gurion University)

17:35 - 17:50 Break

17:50 - 19:30 Panel "Self-Stabilization from Theory to Practice"
              (Chair: Anish Arora)
19:30 Dinner

Sunday, November 19
8:30 - 9:30 Invited Talk (Speaker: Shlomi Dolev)
Stabilization Enabling Technology
Shlomi Dolev and Yinnon Haviv (Ben Gurion University)

9:30 - 9:45 Break

9:45 - 11:25 Graph Algorithms
Composition of Fault-Containing Protocols Based On Recovery Waiting
Fault-Containing Composition Framework
Yukiko Yamauchi (Osaka University),
Sayaka Kamei (Tottori University of Environmental Studies),
Fukuhito Ooshita (Osaka University),
Yoshiaki Katayama (Nagoya Institute of Technology), Hirotsugu Kakugawa, and
Toshimitsu Masuzawa (Osaka University)

A Memory Efficient Self-stabilizing Algorithm for Maximal k-packing
Fredrik Manne and Morten Mjelde (University in Bergen)

On Bootstrapping Topology Knowledge in Anonymous Networks
Toshimitsu Masuzawa (Osaka University) and
Sebastien Tixeuil (Universite de Paris Sud)

Distributed Edge Coloration for Bipartite Networks
Shing-Tsaan Huang (National central University) and
Chi-Hung Tzeng (National Tsing Hua University)

11:25 - 11:40 Break

11:40 - 12:55 Security Protocols II
A Dependable Intrusion Detection Architecture Based on Agreement Services
Michel Hurfin (IRISA, INRIA), Jean-Pierre Le Narzul (ENST Bretagne),
Frederic Majorczyk, Ludovic Me, Ayda Saidane, Eric Totel (Supelec),
and Frederic Tronel (Universite Rennes 1)

Self-Adaptive Worms and Countermeasures
Wei Yu (Texas A&M University), Nan Zhang (University of Texas at Arlington),
and Wei Zhao (Texas A&M University)

Energy-Efficient and Non-Interactive Self-Certification in MANETs
Jeong Hyun Yi (Samsung Advanced Institute of Technology)

12:55 - 14:30 Lunch