| |
|
Esprit IST-2001-33234 |
|
PEPITO
|
|
|
PEeer-toPeer:
Implementation and TheOry
Coordinator: Seif Haridi
Sites
- Cambridge University (Peter Sewell)
- EPFL, Lausanne (Uwe Nestmann)
- INRIA, Rocquencourt (Jean-Jacques Lévy)
- KTH, Stockholm (Seif Haridi)
- SICS, Kista (Per Brand))
- UCL, Louvain-la-Neuve (Peter Van Roy)
Work Programme
Workshop 1 at Rocquencourt, Jan 31 - Feb 1
Batiment 1, petit amphithéatre, 10h
Assistant: Sylvie Loubressac,
tel 01 39 63 55 70
- Introduction
10:00-10:10, (10mn) Seif Haridi
- Introduction to Oz and distributed programming in Oz (with demo),
10:15-10:45, (30 minutes) Peter Van Roy
- Demo of small collaborative post-it application, with two
implementations: (a) With transactional store, (b) With extended
Gnutella protocol,
10:45,11:00, (15 minutes), Valentin Mesaros, Al-metwally Mostafa.
- Tools for collaborative applications: user interfaces and
distributed widgets (QTk, QHTML, and ongoing work),
11:00-11:15, (15 minutes), Donatien Grolaux
- Pause
- Overview, nomadic pi, versioning, policy, anonymity, transactions,
11:45-12:00, (15 minutes) Peter Sewell
- Medium-weight java, dynamic software updating,
12:00-12:15, (15 minutes) Gavin Bierman
- Lunch
- Introduction to Scala (the Funnel successor),
13:45-14:00, (15 minutes) Martin Odersky
- Evolution of Jocaml,
14:00-14:15, (15 minutes) Luc Maranget
- Pause
- Overview of Mozart distribution protocols
14:45-15:10, (25 minutes) Per Brand
- Distribution subsystem for peer-to-peer computing,
15:10-15:30, (20 minutes) Erik Klintskog
- Some Peer to Peer existing systems,
15:30-16:00, (30 minutes) Fabrice le Fessant.
- Pause
- Algorithms distributed for naming services
16:30-16:50, (20 minutes) Per Brand and Sameh Elansary
- Highly available transaction store
16:50,17:20, (30 minutes) Luc Onana
- Axiomatic Decompositon of Transactions,
17:20, 17:50, (30 minutes) Vincent Cremet
- Diner
- Modeling Consensus using Process Calculus,
9:30-10:00, (30 minutes) Uwe Nestmann
- Implementations of failure detection a la Toueg,
10:00-10:30, (30 minutes) James Leifer
- Pause
- Failure semantics, usage typing,
11:00-11:15, (15 minutes) Keith Wansbrough
- Distributed Garbage Collection,
11:15, 11:35, (20 minutes) Fabrice le Fessant
- others?? Slots for discussion
Participants
- UCAM: Peter Sewell, Gavin Bierman, Keith Wansbrough
- EPFL:
Martin.Odersky, Uwe Nestmann, Rachid Guerraoui, Christine Roeckl, Vincent
Cremet.
- INRIA:
Jean-Jacques Lévy, Georges Gonthier, Fabrice le Fessant, James Leifer,
Gilles Peskine, Luc Maranget, Didier Rémy, Alan Schmitt, Ma Qin
- KTH:
Seif Haridi, Luc Onana, Vlad vlasson, Dragan Hevelka, Frej Drejhammar
- Sics: Per Brand, Erik Klintskog, Sameh El Ansary, Thomas Sjöland
- UCL: Peter Van Roy, Donatien Grolaux, Valentin Mesaros,
Al-metwally Mostafa,
Directions to Rocquencourt
Diner
- Jan 31, 7:30 pm.
Au Chapeau Gris, 7 rue Hoche, Versailles,
Housing
- KTH/SICS: Ibis Paris Alesia, Ibis Paris Montparnasse
- UCL
- UCAM: Ibis Cambronne
- EPFL: Uwe, Hotel Victor Masse (9eme); Christine, Martin, Hotel
d'Angleterre, Versailles;
Rachid: only 1 day. Vincent with friends.