Advance Program

SSS 2008

November 21-23, 2008

 

 

 

November 21, 2008

 

 

7:30-8:30

Breakfast

8:30-9

Opening Remarks

9-10

Keynote  Talk: Anish Arora

 

 

10-10:30

Break

 

 

10:30-11:30

MAC Layer Protocols

 

41: Mahesh Arumugam. A Distributed and Deterministic TDMA Algorithm for Write-All-With-Collision Model

 

20: Lyes DEKAR and Hamamache Kheddouci. Distance-2 Self-stabilizing Algorithm for a b-Coloring of Graphs

 

 

11:30-1:00

Lunch

 

 

1-2:30

Wireless Networks I

 

1: Jing Li and Anish Arora. Duty Cycle Stabilization in Semi-Mobile Wireless Networks   

 

32: Di Ma and Gene Tsudik. DISH: Distributed Self-Healing in Unattended Sensor Networks

 

37: Adnan Vora, Mikhail Nesterenko, Sebastien Tixeuil and Sylvie Delaët. Universe Detectors for Sybil Defense in Ad Hoc Wireless Networks

 

 

2:30-3:00

Break

 

 

3:00-4:30

Stabilizing Algorithms 1

 

15: Ezra N. Hoch, Danny Bickson and Danny Dolev. Self-stabilizing Numerical Iterative Computation

 

24: Fredrik Manne, Morten Mjelde, Laurence Pilard and Sebastien Tixeuil. A Self-Stabilizing 2/3-Approximation Algorithm for the Maximum Matching Problem

 

44: Ajoy Datta, Lawrence Larmore and Priyanka Vemula. Self-Stabilizing Leader Election in Optimal Space

 

 

4:4530-6:30

Shlomi Dolev Tutorial: Virtual Infrastructure (Shlomi Dolev)

7:30

Dinner

 

 

 

 

 

November 22, 2008

 

8-9

Breakfast

9-10

Keynote Talk: Ulrich Schmid

 

 

10:10:30

Break

 

 

10:30-12:00

Poster Session

 

 

12-1:30

Lunch

 

 

1:30-3:00

Stabilizing Algorithms II

 

38: Thomas Clouser, Mikhail Nesterenko and Christian Scheideler. Tiara: A Self-Stabilizing Deterministic Skip List

 

45: Doina Bein, Ajoy Datta, Chitwan Gupta and Lawrence Larmore. Local Synchronization on Oriented Rings

 

39: Jorge Cobb and Mohamed Gouda. Stabilization of Max-Min Fair Networks without Per-Flow State

 

 

3:00-3:30

Break

 

 

3:30-5:00

Wireless Networks II

 

5: Hirotsugu Kakugawa and Toshimitsu Masuzawa. Convergence Time Analysis of Self-Stabilizing Algorithms in Wireless Sensor Networks with Unreliable Links  Links

 

31: Seth Gilbert, Nancy Lynch, Sayan Mitra and Tina Nolte. Self-Stabilizing Mobile Robot Formations with Virtual Nodes

 

40: Murat Demirbas and Anish Arora. An Application of Specification-based Design of Self-Stabilization to Tracking in Wireless Sensor Networks

7:30

Banquet

 

 

November 23, 2008

 

8-9

Breakfast

9-10

Keynote Talk: Michael Reiter

 

 

10-10:30

Break

 

 

10:30-12:00

Security and System Models

 

30: Alex Brodsky and Scott Lindenberg. Our Brothers' Keepers: Secure Routing with High Performance   

 

34: Taehwan Choi, Sooel Son, Mohamed Gouda and Jorge Cobb. Pharewell to Phishing

 

7: Peter Robinson and Ulrich Schmid. The Asynchronous Bounded-Cycle Model

12:00

Lunch