IST-2001-33234

PEPITO

 

PEPITO - PEer-to-Peer: Implementation and TheOry, Publications

Publications from Work Package 1, Formal Models

Work package manager: Peter Sewell UCAM
Author(s) Title Published in Part of Date
Cremet, Black, Odersky, Guerraoui (EPFL) Axiomatisation of Transactions. D1.7 Dec 2002
Norrish, Sewell, Wansbrough (UCAM) Rigour is good for you and feasible D1.7 Dec 2002
Serjantov, Danezis (UCAM) Towards an Information Theoretic Metric for Anonymity D1.7 Dec 2002
Serjantov (UCAM), Dingledine (MIT), Syverson (US Navy) From a Trickle to a Flood: Active Attacks on Several Mix Types. D1.7 Dec 2002
Serjantov (UCAM) Anonymizing Censorship Resistant Systems D1.7 Dec 2002
Wansbrough, Norrish, Sewell, Serjantov (UCAM) Timing UDP: mechanized semantics for sockets, threads and failures. ESOP 2002 D1.7 Dec 2002
Serjantov, Sewell (UCAM) Passive Attack Analysis for Connection Based Anonymity Systems D1.8 Dec 2003
Black, Cremet, Guerraoui, Odersky (EPFL) An Equational Theory for Transactions. D1.8 Dec 2003
Nestmann, Fuzzati (EPFL) Unreliable Failure Detectors via Operational Semantics ASIAN'03 D1.8 Dec 2003
Many at UCAM TCP specification documents
Bishop, Fairbairn, Sewell, Smith, Wansbrough (UCAM),
Norrish (NICTA Canberra) 		TCP, UDP, and Sockets: rigourous and experimentally validated behavioural specification. Volume 1 Overview. Technical report D1.9 Feb 2005
Bishop, Fairbairn, Sewell, Smith, Wansbrough (UCAM),
Norrish (NICTA Canberra) 		TCP, UDP, and Sockets: rigourous and experimentally validated behavioural specification. Volume 2 the Specification Technical report D1.9 Feb 2005
Leifer (INRIA) Norrish (NICTA Canberra)
Sewell, Wansbrough (UCAM) 		Acute and TCP: specifying and developing abstractions for global computing. APPSEM D1.9 Feb 2005
Borgström, Nestmann, Onana, Gurov (EPFL,SICS,KTH) Verifying a Structured Peer-to-peer Overlay Network: The Static Case. GC2004 D1.9 Feb 2005
Borgström, Nestmann, Onana, Gurov (EPFL,SICS,KTH) Verifying a Structured Peer-to-peer Overlay Network: The Static Case. Technical report D1.9 Feb 2005
Sewell, Wansbrough (UCAM) Applied Semantics: Specifying and Developing Abstractions for Distributed Computation. (Grand Challenge Discussion Paper) D1.9 Feb 2005
Bishop, Fairbairn, Sewell, Smith, Wansbrough (UCAM),
Norrish (NICTA Canberra) 		Rigorous specification and conformance testing techniques for network protocols, as applied to TCP, UDP, and Sockets. D1.9 Feb 2005
Mesaros, Collet, Glynn, Van Roy (UCL) A Transactional System for Structured Overlay Networks. D1.9 Feb 2005
Compton (UCAM) Stenning's Protocol Implemented in UDP and Verified in Isabelle. D1.9 Feb 2005

Publications from Work Package 2, Distributed Algorithms & Services

Work package managers: Seif Haridi KTH, Luc Onana-Alima KTH and SICS
Author(s) Title Published in Part of Date
Ansary, Onana, Brand, Haridi (KTH,SICS) A Framework for P2P lookup services based on k-ary search D2.7 Dec 2002
Ansary, Onana, Brand, Haridi. (KTH,SICS) Efficient Broadcast in Structured P2P Networks. D2.7 Dec 2002
Onana, Ansary, Brand, Haridi (KTH, SICS) DKS(n,k,f): A family of Low Communication, Scalable and Fault-Tolerant Infrastructures for P2P appliations. D2.7 Dec 2002
Onana, Haridi (KTH), Mesaros, VanRoy (UCL) NetProber: A component for enhancing efficiency of overlay networks in P2P systems D2.7 Dec 2002
Mesaros, Carton, Van Roy (UCL) S-Chord. Using Symmetry to increase lookup efficiency in Chord Technical report D2.7 Dec 2002
Eugster, Guerraoui (EPFL) Probabilistic Multicast D2.7 Dec 2002
Baehni, Eugster, Guerraoui (EPFL) OS Support for P2P Programming: a case for TPS D2.7 Dec 2002
Onana, Ghodsi, Brand, Haridi (KTH,SICS) Multicast in DKS(N,k,f) overlay networks D2.8, D2.9 Dec 2003, Feb 2005
Ghodsi, Onana, Ansary, Brand, Haridi, (KTH,SICS) Self-Correcting Broadcast in Distributed Hash Tables D2.8, D2.9 Dec 2003, Feb 2005
Eugster (SUN), Guerraoui, Koutznetsov (EPFL) Δ-Reliable Broadcast: A probabilistic Measure of Broadcast Reliability D2.8 Dec 2003
Eugster (SUN), Guerraoui, Koutznetsov (EPFL) Δ-Reliable Broadcast: A probabilistic Measure of Broadcast Reliability D2.9 Feb 2005
Eugster, Guerraoui, Handurukande, Koutznetsov (EPFL), Kermarrec (Microsoft) Lightweight Probabilistic Broadcast D2.8, D2.9 Dec 2003
Ghodsi, Onana, Haridi. (KTH,SICS) Low-Bandwidth Topology Maintenance for Robustness in Structured Overlay Networks D2.9 Feb 2005

Publications from Work Package 3, Programming Languages

Work package managers: Christine Röckl, Stepháne Micheloud, EPFL
Author(s) Title Published in Part of Date
Schmitt, Stefani (INRIA) The M-calculus: a higher-order distributed process calculus Technical report D3.3 Dec 2002
Schmitt, Stefani (INRIA) The M-calculus: a higher-order distributed process calculus Long paper D3.3 Dec 2002
Schmitt (INRIA) Conception et Implémentation de Calculs d'Agents Mobile Ph.D. Thesis D3.3 Dec 2002
Schmitt (INRIA) Safe dynamic binding in the Join Calculus D3.3 Dec 2002
Ramalho. (UCL) What Would Children Unable to Attend School Learn from Constructing OZ TALES?(rtf,ps,pdf) EuroLogo 2003 D3.5 June 2003
Mesaros, Carton, Van Roy (UCL) P2PS: Peer-to-Peer Development Platform for Mozart MOZ 2004 April 2005
Grolaux, Glynn, Van Roy (UCL) Fault Tolerant Abstraction for Transparent Distributed Programming MOZ 2004 April 2005
El-Ansary (SICS), Grolaux, Van Roy (UCL), Rafea (Egypt) Overcoming the Multiplicity of Languages and Technologies for Web-based Development Using a Multiparadigm Approach MOZ 2004 April 2005
Bierman, Sewell, Stoyle, Wansbrough (UCAM) Hicks (Maryland) Dynamic Rebinding for Marshalling and Update, with Destruct-time λ ICFP03 D3.10, D3.12 Dec 2003, Feb 2005
Bierman, Sewell, Stoyle, Wansbrough (UCAM) Hicks (Maryland) Dynamic Rebinding for Marshalling and Update, with Destruct-time λ Technical report D3.10, D3.12 Dec 2003, Feb 2005
Bierman, Sewell, Stoyle (UCAM) Hicks (Maryland) Formalizing Dynamic Software Updating. D3.10 Dec 2003
Leifer, Peskine (INRIA), Sewell, Wansbrough (UCAM) Global abstraction-safe marshalling with hash types ICFP2003 D3.3, D3.10, D3.12 Dec 2003, Feb 2005
Leifer, Peskine (INRIA), Sewell, Wansbrough (UCAM) Global abstraction-safe marshalling with hash types Technical report D3.10 Dec 2003
Leifer (INRIA) Sewell, Wansbrough (UCAM) Marshalling: Abstraction, Rebinding, and Version Control D3.10 Dec 2003
Sewell, Wansbrough, Allen-Williams (UCAM) Leifer, Zappa Nardelli, Habouzit, Vafeiadis (INRIA) Acute: High Level programming language design for distributed computation. Design Rationale and Language Definition. Technical report D3.12 Feb 2005
Parkinson (UCAM) Author(s) Obverse: Versioning for Objects (draft) (draft report) D3.12 Feb 2005
Stoyle, Sewell (UCAM), Biermann (Microsoft), Hicks, Neamtiu (Maryland) Mutatis Mutandis: Safe and Predictable Dynamic Software Updating. POPL 2005 D3.12 Feb 2005

Publications from Work Package 4, Distribution Subsystems

Work package manager: Per Brand SICS
Author(s) Title Published in Part of Date
Klintskog, El Banna, Brand, Haridi (SICS, KTH) The DSS, a Middleware Library for Efficient and Transparent Distribution of Language Entities STDOC04 D4.9, D4.10 Dec 2002, Dec 2004
Klintskog, El Banna, Brand, Haridi (SICS, KTH) The Design and Evaluation of a Middleware Library for Distribution of Language Entities ASIAN03 D4.9, D4.10 Dec 2002, Dec 2004
Klintskog, El Banna, Brand, Haridi (SICS,KTH), Mesaros (UCL) A Peer-To-Peer Approach to Enhance Middleware Connectivity. OPODIS D4.9, D4.10 Dec 2002, Dec 2004
El Banna, Klintskog, Brand (SICS) Making the Distribution Subsystem Secure. Technical report D4.10 Dec 2004
Klintskog, Brand (SICS), Haridi (KTH) Home Migration Using a Structured Peer-To-Peer Overlay Network D4.10 Dec 2004
Klintskog, Brand (SICS) Internal Design of the Distribution Subsystem Technical report D4.10 Dec 2004

Publications from Work Package 5, Demonstrator Applications

Work package manager: Peter Van Roy UCL
Author(s) Title Published in Part of Date
Collet, Mesaros (UCL),
Franco (INRIA). 		The PostIt Application. PostIt web page D5.1 Dec 2004

Web page maintained by:
Thomas Sjöland (thomas.sjoland@sics.se)