23. PODC 2004: St. John's, Newfoundland, Canada
Soma Chaudhuri, Shay Kutten (Eds.): Proceedings of the Twenty-Third Annual ACM Symposium on Principles of Distributed Computing, PODC 2004, St. John's, Newfoundland, Canada, July 25-28, 2004. ACM 2004 ISBN 1-58113-802-4
Game theory
Matt Lepinski, Silvio Micali, Chris Peikert, Abhi Shelat: Completely fair SFE and coalition-safe cheap talk. 1-10
Byung-Gon Chun, Kamalika Chaudhuri, Hoeteck Wee, Marco Barreno, Christos H. Papadimitriou, John Kubiatowicz: Selfish caching in distributed systems: a game-theoretic analysis. 21-30
Shared memory objects
Simon Doherty, Maurice Herlihy, Victor Luchangco, Mark Moir: Bringing practical lock-free synchronization to 64-bit applications. 31-39
Hans-Juergen Boehm: An almost non-blocking stack. 40-49
Shared momory objects

Hagit Attiya, Faith Ellen Fich, Yaniv Kaplan: Lower bounds for adaptive collect and related objects. 60-69
Game theory
Faith Ellen Fich, Danny Hendler, Nir Shavit: On the inherent weakness of conditional synchronization primitives. 80-87
Jeffrey Shneidman, David C. Parkes: Specification faithfulness in networks with rational nodes. 88-97
Magnús M. Halldórsson, Joseph Y. Halpern, Erran L. Li, Vahab S. Mirrokni: On spectrum sharing games. 107-114
Internet applications
James Aspnes, Jonathan Kirsch, Arvind Krishnamurthy: Load balancing and locality in range-queriable data structures. 115-124
Paul W. Goldberg: Bounds for the convergence rate of randomized local search in a multiplayer load-balancing game. 131-140
Routing and self-stabilization

Christian Boulinier, Franck Petit, Vincent Villain: When graph theory helps self-stabilization. 150-159
Michael Elkin, Jian Zhang: Efficient algorithms for constructing (1+, varepsilon;, beta)-spanners in the distributed and streaming models. 160-168
Networks graphs and network algorithms
Networks graphs and network algorithms
Gurmeet Singh Manku: Balanced binary trees for ID management and load balance in distributed hash tables. 197-205
Indranil Gupta: On the design of distributed protocols from differential equations. 216-225
Distributed applications, distributed memory, and internet applications
Ittai Abraham, Gregory Chockler, Idit Keidar, Dahlia Malkhi: Byzantine disk paxos: optimal resilience with byzantine shared memory. 226-235
Partha Dutta, Rachid Guerraoui, Ron R. Levy, Arindam Chakraborty: How fast can a distributed atomic read be? 236-245
Haifeng Yu: Signed quorum systems. 246-255
Wireless and sensors
Amotz Bar-Noy, Yishay Mansour: Competitive on-line paging strategies for mobile users under delay constraints. 256-265
Chiu-Yuen Koo: Broadcast in radio networks tolerating byzantine adversarial behavior. 275-282
Wireless and sensors
Boaz Patt-Shamir: A note on efficient aggregate queries in sensor networks. 283-289
Dana Angluin, James Aspnes, Zoë Diamadi, Michael J. Fischer, René Peralta: Computation in networks of passively mobile finite-state sensors. 290-299
Wireless
Gady Kozma, Zvi Lotker, Micha Sharir, Gideon Stupp: Geometrically aware communication in random wireless networks. 310-319
Failure detectors

Marcos Kawazoe Aguilera, Carole Delporte-Gallet, Hugues Fauconnier, Sam Toueg: Communication-efficient leader election and consensus with limited link synchrony. 328-337
Failure detectors
Carole Delporte-Gallet, Hugues Fauconnier, Rachid Guerraoui, Vassos Hadzilacos, Petr Kouznetsov, Sam Toueg: The weakest failure detectors to solve certain fundamental problems in distributed computing. 338-346
Roger I. Khazan: Group membership: a novel approach and the first single-round algorithm. 347-356
BA session: P2P
Kirsten Hildrum, John Kubiatowicz, Jeremy Stribling: Brief announcement: stretch between nearby peers. 367
Sriram Ramabhadran, Sylvia Ratnasamy, Joseph M. Hellerstein, Scott Shenker: Brief announcement: prefix hash tree. 368
Alper Tugay Mizrak, Keith Marzullo, Stefan Savage: Brief announcement: detecting malicious routers. 369
BA session: shared memory objects
Matei David: Brief announcement: a single enqueuer wait-free queue implementation. 370
Rafael Ramirez, Juanjo Martinez: Brief Announcement: constraint-based synchronization and verification of concurrent programs. 371
Maged M. Michael: Brief announcement: completing the lock-free dynamic cycle. 372
Chris Purcell, Tim Harris: Brief announcement: implementing multi-word atomic snapshots on current hardware. 373
BA session: internet applications
Gal Badishi, Idit Keidar, Amir Sasson: Brief announcement: exposing and eliminating vulnerabilities to denial of service attacks in secure gossip-based multicast. 374
Xiaozhou Li, Jayadev Misra, C. Greg Plaxton: Brief announcement: concurrent maintenance of rings. 376
BA session: routing and self-stabilization
Lisa Higham, Lixiao Wang: Brief announcement: self-stabilizing distance-d distinct labels via enriched fair composition. 377
Murat Demirbas, Anish Arora, Tina Nolte, Nancy A. Lynch: Brief announcement: STALK: a self-stabilizing hierarchical tracking service for sensor networks. 378
Ariel Daliot, Danny Dolev, Hanna Parnas: Brief announcement: linear time byzantine self-stabilizing clock synchronization. 379
BA session: networks graphs and network algorithms
Kirsten Hildrum, Sean Ma, Satish Rao: Brief announcement: randomized rumor spreading with fewer phone calls. 380
Pierre Fransson, Lenka Carr-Motycková: Brief announcement: an incremental algorithm for calculation of backup-paths in link-state networks. 381
Kofi A. Laing: Brief announcement: name-independent compact routing in trees. 382
BA session: P2P and network algorithms
Karthik Lakshminarayanan, Daniel Adkins, Adrian Perrig, Ion Stoica: Brief announcement: towards a secure indirection infrastructure. 383
Idit Keidar, Roie Melamed: Brief announcement: Trilix: a scalable unstructured lookup system for dynamic environments. 384
Shlomi Dolev, Seth Gilbert, Nancy A. Lynch, Elad Schiller, Alexander A. Shvartsman, Jennifer L. Welch: Brief announcement: virtual mobile nodes for mobile ad hoc networks. 385
BA session: distributed applications, distributed memory, and internet applications
Rodrigo Rodrigues, Barbara Liskov: Brief announcement: reconfigurable byzantine-fault-tolerant atomic memory. 386
Srikanta Tirthapura: Brief announcement: adaptive balancing networks. 387
Weibin Zhao, Henning Schulzrinne: Brief announcement: building an adaptive distributed web server system on the fly for handling web hotspots. 388
Monica Brockmeyer, Chunbo Chu: Brief announcement: the design of an internet-scale monitoring and assertion-checking infrastructure. 389
Bhuvan Urgaonkar, Prashant J. Shenoy: Brief announcement: Cataclysm: handling extreme overloads in internet services. 390
BA session: wireless and sensors
Shlomi Dolev, Ted Herman, Limor Lahiani: Brief announcement: polygonal broadcast, secret maturity and the firing sensors. 391
Rodrigo Schmidt, Islene C. Garcia, Fernando Pedone, Luiz Eduardo Buzato: Brief announcement: optimal asynchronous garbage collection for checkpointing protocols with rollback-dependency trackability. 392
BA session: wireless and sensor

Claude Castelluccia, Stanislaw Jarecki, Gene Tsudik: Brief announcement: secret handshakes from CA-oblivious encryption. 394
BA session: wireless and sensor
Gennaro Cordasco, Luisa Gargano, Mikael Hammar, Vittorio Scarano: Brief announcement: degree: optimal deterministic routing for P2P systems. 395
Fabian Kuhn, Thomas Moscibroda, Roger Wattenhofer: Brief announcement: efficient clustering in unstructured radio networks. 396
BA session: wireless
D. V. S. Ravikant, Muthuramakrishnan Venkitasubramaniam, V. Srikanth, K. Srinathan, C. Pandu Rangan: Brief announcement: on the round complexity of distributed consensus over synchronous networks. 397
BA session: failure detectors
Roy Friedman, Achour Mostéfaoui, Michel Raynal: Brief announcement: veto number and the respective power of eventual failure detectors. 398
Achour Mostéfaoui, Sergio Rajsbaum, Michel Raynal: Brief announcement: the synchronous condition-based consensus hierarchy. 399
Rida A. Bazzi, Yin Ding: Brief announcement: efficient implementation of a byzantine data storage system. 400
BA session: failure detectors

Christof Fetzer, Ulrich Schmid: Brief announcement: on the possibility of consensus in asynchronous systems with finite average response times. 402



