PODC '97 agenda and technical program

Please let me know, if you notice any errors or omissions, or if the link to your PODC paper is incorrect or missing.

All technical sessions, except the tutorials and the rump session, will be held in the multi-cultural center. Meals will be held in De La Guerra commons. Coffee breaks will be held on the Lagoon Plaza.

August 21, 1997 (Thursday)

13:00-15:45 Tutorial I (in the engineering II pavilion)

Internet Support for Wireless and Mobile Networking

David B. Johnson

15:45-16:15 Coffee break

16:15-19:00 Tutorial II (in the engineering II pavilion)

Principles and Patterns of High-performance and Real-time Distributed Object Computing
Douglas C. Schmidt

17:00-20:00 Registration (in Anacapa hall)

19:00-21:00 Reception (in Anacapa's formal lounge and patio)

August 22, 1997 (Friday)

7:00-8:00 Breakfast

8:00-onwards Registration desk open (in Multi-cultural center)

9:00-10:00 Invited talk

Fault Tolerant Multi Party Computations: Past and Present
Shafi Goldwasser

10:00-10:30 Coffee break

10:30-12:10 Session R1

10:30 How to maintain authenticated communication in the presence of break-ins
Ran Canetti, Shai Halevi and Amir Herzberg
10:55 Complete Characterization of Adversaries Tolerable in Secure Multi-Party Computation
Martin Hirt and Ueli Maurer
11:20 Randomness vs. Fault-Tolerance
Ran Canetti, Eyal Kushilevitz, Rafail Ostrovsky and Adi Rosen
11:45 Relative Liveness and Behavior Abstraction
Ulrich Nitsche and Pierre Wolper

12:10-13:45 Lunch

13:45-15:25 Session R2

13:45 Specifying and Using a Partitionable Group Communication Service
Alan Fekete, Nancy Lynch and Alex Shvartsman
14:10 Dynamic Voting for Consistent Primary Components
Danny Dolev, Idit Keidar and Esti Yeger Lotem
14:35 Lazy Consistency Using Loosely Synchronized Clocks
Atul Adya and Barbara Liskov
15:00 How Useful is Old Information?
Michael Mitzenmacher

15:25-15:50 Coffee break

15:50-17:30 Session B1

15:50 Computing Vector Functions on Anonymous Networks
Paolo Boldi and Sebastiano Vigna
16:00 A Technique for Partial Broadcasting in Networks
Gurdip Singh
16:10 The Consensus Hierarchy is not Robust
Eric Schenk
16:20 Space-Optimal Wait-Free Queues
Ted Herman and Valeriu Damian-Iordache
16:30 Leap Forward Virtual Clock
Subhash Suri, George Varghese, and Girish Chandranmenon
16:40 A Compiler Support for Decoupled Virtual Shared Memory Systems
He Zhu and Ian Watson
16:50 Using Broadcast Primitives in Replicated databases
I Stanoi, D Agrawal and A El Abbadi
17:00 Competing against Specialists
Piotr Berman and Juan A. Garay
17:10 Fault Tolerance Bounds for Memory Consistency
Jerry James and Ambuj Singh
17:20 Failure Detectors in Omission Failure Environments
Danny Dolev, Roy Friedman, Idit Keidar and Dahlia Malkhi

18:00-19:00 Dinner

20:00-24:00 Business meeting and rump session (in the engineering II pavilion)

August 23, 1997 (Saturday)

7:00-8:00 Breakfast

9:00-10:00 A. M. Turing Award Lecture

Verification Engineering: A Future Profession
Amir Pnueli

10:00-10:30 Coffee break

10:30-12:10 Session R3

10:30 Determining Consensus Numbers
Eric Ruppert
10:55 On the power of shared object types to implement one-resilient consensus
Wai-Kau Lo and Vassos Hadzilacos
11:20 Disentangling Multi-Object Operations
Yehuda Afek, Michael Merritt, Gadi Taubenfeld and Dan Touitou
11:45 A Wait-Free Sorting Algorithm
Nir Shavit, Eli Upfal and Asaph Zemach

12:10-14:00 Lunch

14:00-15:15 Session R4

14:00 On the Potential of FEC Algorithms in Building Fault-tolerant, Distributed Applications to Support High QoS Video Communications
Bernd E. Wolfinger
14:25 Efficiency of Oblivious Versus Non-Oblivious Schedulers for Optimistic, Rate-Based Flow Control
Panagiota Fatourou, Marios Mavronicolas and Paul Spirakis
14:50 Time-Adaptive Self Stabilization
Shay Kutten and Boaz Patt-Shamir

15:15-15:50 Coffee break

15:50-17:30 Session B2

15:50 Local Stabilizer
Yehuda Afek and Shlomi Dolev
16:00 Memory efficient, self-stabilizing algorithm to construct BFS spanning trees
Colette Johnen
16:10 Trade-offs in fault-containing self-stabilization
Sukumar Ghosh and Sriram V. Pemmaraju
16:20 On FTSS-Solvable Distributed Problems
Joffroy Beauquier and Synnove Kekkonen-Moneta
16:30 Dynamic Hashing + Quorum = Efficient Location Management for Mobile Computing Systems
Ravi Prakash and Mukesh Singhal
16:40 An Algorithm for Message Delivery to Mobile Nodes
Amy L. Murphy, Gruia-Catalin Roman, and George Varghese
16:50 Wavelength Conversion in All-Optical Ring Networks
Ori Gerstel, Shay Kutten, Rajiv Ramaswami and Galen Sasaki
17:00 On the relation between bit delay for Slot Reuse and the number of address
Oran Sharon
17:10 Automatic Verification of Liveness Properties of Randomized Systems
Christel Baier and Marta Kwiatkowska

17:45-20:30 Banquet (at Goleta beach)

August 24, 1997 (Sunday)

7:00-8:00 Breakfast

9:00-10:15 Session R5

9:00 An Inherent Bottleneck in Distributed Counting
Roger Wattenhofer and Peter Widmayer
9:25 An Interval-Based Framework for Clock Rate Synchronization
Klaus Schossmaier
9:50 The Complexity of Crash Failures
Mahesh Jayaram and George Varghese

10:15-10:45 Coffee break

10:45-12:00 Session R6

10:45 A Simple Algorithmically Reasoned Characterization of Wait-Free Computation
Elizabeth Borowsky and Eli Gafni
11:10 Towards a Topological Characterization of Asynchronous Complexity
Gunnar Hoest and Nir Shavit
11:35 Efficient Asynchronous Consensus with the Weak Adversary Scheduler
Yonatan Aumann

12:00-13:45 Lunch

13:45-15:00 Session R7

13:45 Practical Implementations of Non-Blocking Synchronization Primitives
Mark Moir
14:10 Implementing Wait-Free Objects on Priority-Based Systems
James H. Anderson, Srikanth Ramamurthy and Rohit Jain
14:35 Collecting Cyclic Distributed Garbage Using Back Tracing
Umesh Maheshwari and Barbara Liskov

15:00-15:30 Coffee break

15:30-16:45 Session R8

15:30 The load and availability of Byzantine quorum systems
Dahlia Malkhi, Michael Reiter and Avishai Wool
15:55 Synchronous Byzantine Quorum Systems
Rida A. Bazzi
16:20 Probabilistic quorum systems
Dahlia Malkhi, Michael Reiter and Rebecca Wright

16:45 - Closing of the conference

Maintained by tushar@watson.ibm.com
Last changed on 18th Aug 1997