Distributed Programming Laboratory LPD

Search LPD publications with Infoscience

Our publications

2014

T. A. David, R. Guerraoui and M. Yabandeh. Consensus Inside, 2014.
M. Letia, R. Guerraoui (Dir.). Inferring Scalability from Program Pseudocode. EPFL, Lausanne, 2014.
R. Guerraoui, K. Huguenin, A.-M. Kermarrec, M. Monod and S. Prusty et al. Tracking freeriders in gossip-based content dissemination systems, in Computer Networks, vol. 64, p. 322-338, 2014.
T. Che and R. Guerraoui. Verifying Concurrent Data Structures Using Data-Expansion, 2014.
V. Bushkov, D. Dziuma, P. Fatourou and R. Guerraoui. The PCL Theorem. Transactions cannot be Parallel, Consistent and Live.. 26th ACM Symposium on Parallelism in Algorithms and Architectures, Prague, Czech Republic, 2014.
A. Giurgiu, R. Guerraoui, K. Huguenin and A.-M. Kermarrec. Computing in social networks, in Information And Computation, vol. 234, p. 3-16, 2014.
R. Guerraoui and M. Letia. Disjoint-access parallelism does not entail scalability, 2014.
G. Losa, R. Guerraoui and V. Kuncak (Dirs.). Modularity in the design of robust distributed algorithms. EPFL, Lausanne, 2014.
R. Banabic, G. Candea and R. Guerraoui. Finding Trojan Message Vulnerabilities in Distributed Systems. 19th International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS), Salt Lake City, Utah, USA, 2014.

2013

S. Dubois and R. Guerraoui. Introducing speculation in self-stabilization: An application to mutual exclusion. , 2013.
R. Guerraoui, F. Huc and A.-M. Kermarrec. Highly dynamic distributed computing with byzantine failures. , 2013.
N. Braud-Santoni, R. Guerraoui and F. Huc. Fast byzantine agreement. 2013 ACM symposium on Principles of distributed computing, Montreal, Canada, 2013.
A. Boutet, D. Frey, R. Guerraoui, A. Jegou and A.-M. Kermarrec. WHATSUP: A Decentralized Instant News Recommender. , 2013.
T. David, R. Guerraoui and V. Trigonakis. Everything you always wanted to know about synchronization but were afraid to ask. , 2013.
Y. Benkaouz, R. Guerraoui, M. Erradi and F. Huc. A Distributed Polling with Probabilistic Privacy. IEEE 32nd International Symposium on Reliable Distributed Systems, Braga, Portugal, 2013.
V. Gramoli, R. Guerraoui and M. Letia. Composing Relaxed Transactions. 27th IEEE International Parallel & Distributed Processing Symposium (IPDPS'13), Boston, Massachusetts USA, 2013.
C. Delporte-Gallet, H. Fauconnier, R. Guerraoui, A.-M. Kermarrec and E. Ruppert et al. Byzantine agreement with homonyms. 30th Annual ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing (PODC), 2013.
C. Georgiou, S. Gilbert, R. Guerraoui and D. R. Kowalski. Asynchronous Gossip, in Journal Of The Acm, vol. 60, num. 2, 2013.

2012

V. Gramoli, R. Guerraoui and V. Trigonakis. TM2C: A software transactional memory for many-cores. , 2012.
R. Guerraoui, V. Hadzilacos, P. Kuznetsov and S. Toueg. The Weakest Failure Detectors To Solve Quittable Consensus And Nonblocking Atomic Commit, in Siam Journal On Computing, vol. 41, num. 6, p. 1343-1379, 2012.
F. Huc, A. Jarry, P. Leone and J. Rolim. Efficient graph planarization in sensor networks and local routing algorithm. 8th IEEE International Conference on Distributed Computing in Sensor Systems (DCOSS)/IWSN/WiSARN/PWSN, 2012.
R. Guerraoui, V. Kuncak and G. Losa. Speculative Linearizability, in Acm Sigplan Notices, vol. 47, num. 6, p. 55-66, 2012.
T. Crain, V. Gramoli and M. Raynal. A Speculation-Friendly Binary Search Tree, in Acm Sigplan Notices, vol. 47, num. 8, p. 161-170, 2012.
D. Alistarh, S. Gilbert, R. Guerraoui and C. Travers. Generating Fast Indulgent Algorithms, in Theory Of Computing Systems, vol. 51, num. 4, p. 404-424, 2012.
D. Alistarh, R. Guerraoui (Dir.). Randomized versus Deterministic Implementations of Concurrent Data Structures. EPFL, Lausanne, 2012.
S. Gambs, R. Guerraoui, H. Harkous, F. Huc and A.-M. Kermarrec. Scalable and Secure Polling in Dynamic Distributed Networks. 31st IEEE International Symposium on Reliable Distributed Systems, Irvine, California, 2012.
D. Alistarh, M. Bender, S. Gilbert and R. Guerraoui. How to Allocate Tasks Asynchronously, 2012.
V. Bushkov, R. Guerraoui and M. Kapałka. On the liveness of transactional memory. 31st ACM Symposium on Principles of Distributed Computing, Madeira, Portugal, 2012.
F. Huc, A. Jarry, P. Leone and J. Rolim. On the efficiency of routing in sensor networks, in Journal Of Parallel And Distributed Computing, vol. 72, p. 889-901, 2012.
R. Guerraoui and M. Letia. Obstruction degree: measuring concurrency in shared memory systems, 2012.
A. Dragojevic, R. Guerraoui (Dir.). On the Performance of Software Transactional Memory. EPFL, Lausanne, 2012.
D. Coudert, F. Huc and D. Mazauric. A Distributed Algorithm for Computing the Node Search Number in Trees, in Algorithmica, vol. 63, p. 158-190, 2012.
A. Dragojevic and T. Harris. STM in the Small: Trading Generality for Performance in Software Transactional Memory. 6th ACM European conference on Computer systems, Bern, Switzerland, 2012.
A. Dragojevic and R. Guerraoui. A Pragmatic Approach for Predicting the Scalability of Parallel Applications, 2012.
D. Alistarh, S. Gilbert, R. Guerraoui and C. Travers. Of Choices, Failures and Asynchrony: The Many Faces of Set Agreement, in Algorithmica, vol. 62, p. 595-629, 2012.
R. Guerraoui, K. Huguenin, A.-M. Kermarrec, M. Monod and Y. Vigfusson. Decentralized polling with respectable participants, in Journal Of Parallel And Distributed Computing, vol. 72, p. 13-26, 2012.
N. Knezevic, R. Guerraoui (Dir.). A High-Throughput Byzantine Fault-Tolerant Protocol. EPFL, Lausanne, 2012.

2011

X. Bai, R. Guerraoui, A.-M. Kermarrec and V. Leroy. Collaborative Personalized Top-k Processing, in Acm Transactions On Database Systems, vol. 36, p. -, 2011.
V. Gramoli and R. Guerraoui. Brief Announcement: Transaction Polymorphism. 23rd Annual Symposium on Parallelism in Algorithms and Architectures, San Jose, CA, 2011.
R. Guerraoui, T. A. Henzinger and V. Singh. Verification of STM on relaxed memory models, in Formal Methods In System Design, vol. 39, p. 297-331, 2011.
V. Gramoli and R. Guerraoui. Democratizing Transactional Programming. Middleware, LNCS 7049, 2011.
D. Harmanci, V. Gramoli and P. Felber. Atomic boxes: coordinated exception handling with transactional memory. ECOOP, LNCS 6813, 2011.
V. Gramoli. Émulation de mémoire partagée en environnements distribués dynamiques, in Technique et Science Informatiques, vol. 30, num. 7, p. 809-839, 2011.
E. Gafni, R. Guerraoui and B. Pochon. The Complexity Of Early Deciding Set Agreement, in Siam Journal On Computing, vol. 40, p. 63-78, 2011.
V. Bushkov, R. Guerraoui and M. Kapalka. On the Liveness of Transactional Memory, 2011.
R. Guerraoui, V. Kuncak and G. Losa. Speculative Linearizability, 2011.
D. Alistarh, J. Aspnes, S. Gilbert and R. Guerraoui. The Complexity of Renaming. FOCS, Annual IEEE Symposium on Foundations of Computer Science, 2011.
D. Alistarh and J. Aspnes. Sub-Logarithmic Test-and-Set Against a Weak Adversary. DISC 2011, Lecture Notes in Computer Science, 2011.
A. Dragojevic, M. Herlihy, Y. Lev and M. Moir. On The Power of Hardware Transactional Memory to Simplify Memory Management. 30th annual ACM SIGACT-SIGOPS symposium on Principles of distributed computing, San Jose, California, USA, 2011.
D. Alistarh, J. Aspnes, S. Gilbert and R. Guerraoui. The Complexity of Renaming, 2011.
D. Alistarh, J. Aspnes, K. Censor-Hillel, S. Gilbert and M. Zadimoghaddam. Optimal-Time Adaptive Strong Renaming, with Applications to Counting. PODC, 2011.
R. Guerraoui and M. Yabandeh. Local Model Checking, 2011.
V. Gramoli and R. Guerraoui. Transaction Polymorphism, 2011.
H. Attiya, R. Guerraoui, D. Hendler, P. Kuznetsov and M. M. Michael et al. Laws of Order: Expensive Synchronization in Concurrent Algorithms Cannot be Eliminated . ACM POPL 2011, Austin, Texas, USA, 2011.
D. Alistarh, S. Gilbert, R. Guerraoui and C. Travers. Generating Fast Indulgent Algorithms. 12th International Conference on Distributed Computing and Networking (ICDCN 2011), Lecture Notes in Computer Science, 2011.
M. Yabandeh, D. Kostic and R. Guerraoui (Dirs.). Model Checking of Distributed Algorithm Implementations. EPFL, Lausanne, 2011.
A. Dragojevic, P. Felber, V. Gramoli and R. Guerraoui. Why STM can be more than a Research Toy, in Communications of the ACM, vol. 54, p. 70-77, 2011.

2010

Y. Afek, U. Drepper, P. Felber, C. Fetzer and V. Gramoli et al. The VELOX Transactional Memory Stack, in IEEE Micro, vol. 30, num. 5, p. 76-87, 2010.
S. Ravi, V. Gramoli and V. Luchangco. Transactional memory, linking theory and practice, in ACM SIGACT News, vol. 41, num. 4, p. 107-111, 2010.
R. Guerraoui, T. A. Henzinger and V. Singh. Model checking transactional memories, in Distributed Computing, vol. 22, p. 129-145, 2010.
S. Gilbert and D. R. Kowalski. Distributed Agreement with Optimal Communication Complexity. 21st Annual ACM/SIAM Symposium on Discrete Algorithms, Austin, TX, Proceedings in Applied Mathematics, 2010.
R. Guerraoui and M. Vukolic. Refined quorum systems, in Distributed Computing, vol. 23, p. 1-42, 2010.
R. Guerraoui. Foundations of Speculative Distributed Computing (Invited Lecture Extended Abstract). 24th International Symposium on Distributed Computing, Cambridge, MA, Lecture Notes in Computer Science, 2010.
A. Giurgiu, R. Guerraoui, K. Huguenin and A.-M. Kermarrec. Computing in Social Networks. 12th International Symposium on Stabilization, Safety, and Security of Distributed Systems, New York, NY, Lecture Notes in Computer Science, 2010.
R. Guerraoui, K. Huguenin, A.-M. Kermarrec, M. Monod and S. Prusty. LiFTinG: Lightweight Freerider-Tracking in Gossip. 11th International Middleware Conference, Bangalore, India, Lecture Notes in Computer Science, 2010.
R. Guerraoui, M. Yabandeh, A. Shoker and J.-P. Bahsoun. Trustful Cumulus Clouds, 2010.
R. Guerraoui and M. Yabandeh. PaxosInside, 2010.
D. Alistarh, I. Avramopoulos, P. Kuznetsov and G. Tredan. Routing Attacks as a Viable Threat: Can Software Systems Protect Themselves?. 6th Workshop on Hot Topics in System Dependability (HotDep), Vancouver, Canada, 2010.
P. Dutta, R. Guerraoui, R. Levy and M. Vukolic. Fast Access to Distributed Atomic Memory, in SIAM Journal on Computing, 2010.
V. Gramoli, R. Guerraoui and M. Letia. Composing Relaxed Transactions, 2010.
V. Gramoli, R. Guerraoui and M. Letia. Composition vs Concurrency. 2nd Workshop on the Theory of Transactional Memory, Cambridge, Massachusetts, USA, 2010.
D. Harmanci, V. Gramoli, P. Felber and C. Fetzer. Extensible Transactional Memory Testbed, accepted in Journal of Parallel and Distributed Computing - Special Issue on Transactional Memory, 2010.
H. Attiya, V. Gramoli and A. Milani. A Provably Starvation-Free Distributed Directory Protocol. 12th International Symposium on Stabilization, Safety, and Security of Distributed Systems, New York, NY, USA, LNCS 6366, 2010.
E. Gafni and R. Guerraoui. Generalizing State Machine Replication, 2010.
J. H. Spring, F. Pizlo, J. Privat, R. Guerraoui and J. Vitek. Reflexes: Abstractions for Integrating Highly Responsive Tasks into Java Applications , in ACM Transactions on Embedded Computing Systems, vol. 10, num. 1, 2010.
P. Attie, R. Guerraoui, P. Kuznetsov, N. Lynch and S. Rajsbaum. The Impossibility of Boosting Distributed Service Resilience, in Information and Computation, 2010.
R. Guerraoui, R. R. Levy, B. Pochon and V. Quéma. Throughput optimal total order broadcast for cluster environments, in ACM Transactions on Computer Systems, vol. 28, num. 2, 2010.
D. Alistarh, H. Attiya, S. Gilbert, A. Giurgiu and R. Guerraoui. Fast Randomized Test-and-Set and Renaming. International Symposium on Distributed Computing (DISC), Boston, Massachusetts, USA, Lecture Notes in Computer Science, 2010.
D. Alistarh, H. Attiya, A. Giurgiu, S. Gilbert and R. Guerraoui. Fast Randomized Test-and-Set and Renaming, 2010.
R. Guerraoui and M. Yabandeh. Independent Faults in the Cloud. The 4th ACM SIGOPS/SIGACT Workshop on Large Scale Distributed Systems and Middleware (LADIS'10), Zurich, Switzerland, 2010.
D. Frey, R. Guerraoui, A.-M. Kermarrec and M. Monod. Boosting Gossip for Live Streaming. , 2010.
R. Guerraoui, T. Henzinger, M. Kapalka and V. Singh. Transactions in the Jungle∗ . 22nd ACM Symposium on Parallelism in Algorithms and Architectures, Thira, Santorini, Greece, 2010.
C. Delporte-Gallet, H. Fauconnier and R. Guerraoui. Tight Failure Detection Bounds on Atomic Object Implementations, in Journal of the ACM, vol. 57, num. 4, p. 21, 2010.
D. Alistarh, S. Gilbert, R. Guerraoui and C. Travers. Of Choices, Failures and Asynchrony: The Many Faces of Set Agreement, accepted in Algorithmica, Lecture Notes in Computer Science, 2010.
R. Guerraoui, R. Levy, B. Pochon and V. Quéma. Throughput Optimal Total Order Broadcast for Cluster Environments, accepted in ACM Transactions on Computer Systems, 2010.
M. Monod, R. Guerraoui (Dir.). Live Streaming with Gossip. EPFL, Lausanne, 2010.
R. Guerraoui, T. Henzinger, M. Kapalka and V. Singh. Transactions in the Jungle. 22nd ACM Symposium on Parallelism in Algorithms and Architectures, 2010.
R. Guerraoui, S. Gilbert and F. Rad Malakouti. Collaborative Scoring with Dishonest Participants. 22nd ACM Symposium on Parallelism in Algorithms and Architectures, 2010.
R. Guerraoui, N. Knezevic, V. Quema and M. Vukolic. Stretching BFT, 2010.
D. Alistarh, S. Gilbert, R. Guerraoui and M. Zadimoghaddam. How Efficient Can Gossip Be? (On the Cost of Resilient Information Exchange). 37th International Colloquium on Automata, Languages and Programming (ICALP), Bordeaux, France, Lecture Notes in Computer Science, 2010.
D. Alistarh, S. Gilbert, R. Guerraoui, Z. Milosevic and C. Newport. Securing Every Bit: Authenticated Broadcast in Radio Networks. 22nd ACM Symposium on Parallelism in Algorithms and Architectures, Santorini, Greece, 2010.
D. Alistarh, S. Gilbert, R. Guerraoui and M. Zadimoghaddam. How Efficient Can Gossip Be? (On the Cost of Resilient Information Exchange), 2010.
A. Dragojevic and R. Guerraoui. Predicting the Scalability of an STM: A Pragmatic Approach. 5th ACM SIGPLAN Workshop on Transactional Computing, Paris, France, 2010.
M. Kapalka, R. Guerraoui (Dir.). Theory of Transactional Memory. EPFL, Lausanne, 2010.
M. Yabandeh. Model Checking Tools for Software System Implementations, 2010.
H. Attiya, V. Gramoli and A. Milani. COMBINE: An Improved Directory-Based Consistency Protocol, 2010.
R. Guerraoui, N. Knezevic, V. Quema and M. Vukolic. The Next 700 BFT Protocols. 5th ACM EuroSys Conference, Paris, France, 2010.
J. Baretto, A. Dragojevic, P. Ferreira, R. Guerraoui and M. Kapalka. Leveraging Parallel Nesting in Transactional Memory. 15th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, Bangalore, India, 2010.
M. Yabandeh. Concurrent Multipath Transferring in IP Networks: Two IP-level solutions for TCP and UDP, : . VDM Verlag, 978-3-639-22466-5, 2010.
M. Yabandeh, L. Franco and R. Guerraoui. One Acceptor is Enough, 2010.
V. Gramoli, D. Harmanci and P. Felber. On the Input Acceptance of Transactional Memory, accepted in Parallel Processing Letters, vol. 20, num. 1, p. 31-50, 2010.

2009

R. Guerraoui, M. Herlihy, P. Kuznetsov, N. Lynch and C. Newport. On the weakest failure detector ever. 26th Annual ACM Symposium on Principles of Distributed Computing, Portland, OR, 2009.
S. Gilbert, N. Lynch, S. Mitra and T. Nolte. Self-Stabilizing Robot Formations over Unreliable Networks, in Acm Transactions On Autonomous And Adaptive Systems, vol. 4, p. -, 2009.
R. Guerraoui, K. Huguenin, A.-M. Kermarrec and M. Monod. Brief Announcement: Towards Secured Distributed Polling in Social Networks. 23rd International Symposium on Distributed Computing, Elche, SPAIN, Lecture Notes in Computer Science, 2009.
V. Gramoli. What Theory for Transactional Memory?, in ACM Sigact News - Distributed Computing Column, vol. 40, num. 4, p. 79-81, 2009.
A. Dragojevic, Y. Ni and A.-R. Adl-Tabatabai. Optimizing Transactions for Captured Memory. 21st Annual Symposium on Parallelism in Algorithms and Architectures, Calgary, AB, Canada, 2009.
C. Delporte-Gallet, H. Fauconnier, R. Guerraoui and A. Tielmann. The Disagreement Power of an Adversary. 23rd International Symposium on Distributed Computing, Elce, 2009.
R. Guerraoui, K. Huguenin, A.-M. Kermarrec and M. Monod. Decentralized Polling with Respectable Participants. , 2009.
R. Guerraoui, K. Huguenin, A.-M. Kermarrec and M. Monod. On Tracking Freeriders in Gossip Protocols. , 2009.
D. Alistarh, S. Gilbert, R. Guerraoui and C. Travers. Of Choices, Failures and Asynchrony: The Many Faces of Set Agreement. The 20th International Symposium on Algorithms and Computation (ISAAC 2009), Hawaii, USA, Lecture Notes in Computer Science, 2009.
A. Dragojevic, P. Felber, V. Gramoli and R. Guerraoui. Why STM can be more than a Research Toy, 2009.
J. H. Spring, F. Pizlo, R. Guerraoui and J. Vitek. Reflexes: Abstractions for Integrating Highly Responsive Tasks into Java Applications, in ACM TECS Special Issue on Java Technologies for Real-Time and Embedded Systems (JTRES), 2009.
P. Felber, V. Gramoli and R. Guerraoui. Elastic Transactions. DISC, Elche, Spain, Lecture Notes in Computer Science 5805, 2009.
D. Frey, R. Guerraoui, A.-M. Kermarrec, B. Koldehofe and M. Mogensen et al. Heterogeneous Gossip. , 2009.
V. Gramoli, Y. Vigfusson, K. Birman, A.-M. Kermarrec and R. van Renesse. Slicing Distributed Systems, accepted in IEEE Transactions on Computers, 2009.
S. Dolev, S. Gilbert, R. Guerraoui, F. Kuhn and C. Newport. The Wireless Synchronization Problem. Twenty-Eighth Annual Symposium on Principles of Distributed Computing, Calgray, Canada, 2009.
R. Guerraoui and M. Kapalka. The Theory of Transactional Memory, in Bulletin of the EATCS, num. 97, 2009.
R. Guerraoui and M. Kapalka. Transactional Memory: Glimmer of a Theory. 21st International Conference on Computer Aided Verification (CAV), Lecture Notes in Computer Science, 2009.
H. Attiya, R. Guerraoui, D. Hendler and P. Kuznetsov. The Complexity of Obstruction-Free Implementations, accepted in Journal of the ACM, 2009.
A. Cunei, R. Guerraoui, J. H. Spring, J. Privat and J. Vitek. High-Performance Transactional Event Processing. 11th International Conference on Coordination Models and Languages (COORDINATION 2009), Lisbon, PORTUGAL, Lecture Notes in Computer Science, 2009.
R. Guerraoui and E. Ruppert. Names Trump Malice: Tiny Mobile Agents Can Tolerate Byzantine Failures. 36th International Colloquium on Automata, Languages and Programming, Rhodes, Greece, 2009.
D. Frey, R. Guerraoui, A.-M. Kermarrec, M. Monod and V. Quéma. Stretching Gossip with Live Streaming. , 2009.
P. Felber, V. Gramoli and R. Guerraoui. Elastic Transactions, 2009.
R. Guerraoui, T. A. Henzinger and V. Singh. Software Transactional Memory on Relaxed Memory Models. 21st International Conference on Computer Aided Verification, Grenoble, Lecture Notes in Computer Science, 2009.
A. Dragojevic, A. Singh, R. Guerraoui and V. Singh. Preventing versus Curing: Avoiding Conflicts in Transactional Memories. Twenty-Eighth Annual ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing, Calgary, Alberta, Canada, 2009.
A. Dragojevic, R. Guerraoui and M. Kapalka. Stretching Transactional Memory. ACM SIGPLAN 2009 Conference on Programming Languages Design and Implementation, Dublin, Ireland, 2009.
R. Guerraoui and M. Kapalka. How Live Can a Transactional Memory Be?, 2009.
S. Gilbert, R. Guerraoui, D. Kowalski and C. Newport. Interference-Resilient Information Exchange. IEEE InfoCom 2009, Rio de Janeiro, Brazil, Ieee Infocom, 2009.
D. Harmanci, P. Felber, V. Gramoli and C. Fetzer. TMunit: Testing Transactional Memories. 4th ACM SIGPLAN Workshop on Transactional Computing (TRANSACT'09), Raleigh, North Carolina, USA, 2009.
R. Guerraoui and M. Kapalka. The Semantics of Progress in Lock-Based Transactional Memory. 36th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL), Savannah, Georgia, USA, 2009.
M. Bender, J. Fineman and S. Gilbert. Online Topological Ordering. Symposium on Discrete Algorithms (SODA), New York, New York, 2009.

2008

R. Guerraoui and P. Kouznetsov. Failure detectors as type boosters. 17th International Conference on Distributed Computing, SORRENTO, ITALY, 2008.
R. Guerraoui and M. Vukolic. A scalable and oblivious atomicity assertion. 19th International Conference on Concurrency Theory, Toronto, CANADA, Lecture Notes In Computer Science, 2008.
R. Guerraoui and N. Lynch. A General Characterization of Indulgence, in Acm Transactions On Autonomous And Adaptive Systems, vol. 3, p. -, 2008.
S. Gilbert. On Fault Tolerance and Wireless Networks. 27th Annual ACM Symposium on Principles of Distributed Computing, Toronto, CANADA, 2008.
A. Tomar, R. Guerraoui (Dir.). Dynamic Prediction based Scheduling for TM. , 2008.
R. Guerraoui and M. Kapalka. The Semantics of Progress in Lock-Based Transactional Memory, 2008.
G. Chockler, S. Gilbert, V. Gramoli, P. M. Musial and A. A. Shvartsman. Reconfigurable Distributed Storage for Dynamic Networks, in Journal of Parallel and Distributed Computing, 2008.
V. Gramoli, D. Harmanci and P. Felber. Toward a Theory of Input Acceptance for Transactional Memories. 12th International Conference On Principles Of DIstributed Systems, Luxour, Egypt, Lecture Notes in Computer Science, 2008.
V. Gramoli, A.-M. Kermarrec, E. Le Merrer and D. Neveux. SONDe, a Self-Organizing Object Deployment Algorithm in Large-Scale Dynamic Systems . Seventh European Dependable Computing Conference, Kaunas, Lithuania, 2008.
V. Gramoli, Y. Vigfusson, K. Birman, A.-M. Kermarrec and R. van Renesse et al. A Fast Distributed Slicing Algorithm. Twenty-Seventh Annual ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing, Toronto, 2008.
V. Gramoli, A.-M. Kermarrec, E. Le Merrer, R. Bazzi and B. Patt-Shamir. Distributed Churn Measurement for Arbitrary Networks. Twenty-Seventh Annual ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing, Toronto, 2008.
M. Vukolic, R. Guerraoui (Dir.). Abstractions for asynchronous distributed computing with malicious players. EPFL, Lausanne, 2008.
S. Gilbert, N. Lynch, S. Mitra and t. Nolte. Self-Stabilizing Mobile Robot Formations with Virtual Nodes. 10th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS), Dearborn, Michigan, 2008.
J. H. Spring, R. Guerraoui and J. Vitek (Dirs.). Reflexes: programming abstractions for highly responsive computing in Java. EPFL, Lausanne, 2008.
D. Alistarh, S. Gilbert, R. Guerraoui and C. Travers. How to solve consensus in the smallest window of synchrony. 22nd International Symposium on Distributed Computing, Arcachon, France, 2008.
R. Guerraoui, T. A. Henzinger and V. Singh. Permissiveness in Transactional Memories. DISC 2008, Arcachon, France, 2008.
P. Dutta, R. Guerraoui and R. R. Levy. Optimistic Erasure-Coded Distributed Storage. DISC 2008, Arcachon, France, 2008.
C. Delporte-Gallet, H. Fauconnier, R. Guerraoui and A. Tielmann. The Weakest Failure Detector for Message Passing Set-Agreement. DISC 2008, Arcachon, France, 2008.
R. Guerraoui, T. A. Henzinger and V. Singh. Completeness and Nondeterminism in Model Checking Transactional Memories. Concur 2008, 2008.
A. Dragojevic, R. Guerraoui and M. Kapalka. Stretching Transactional Memory, 2008.
R. Guerraoui, M. Herlihy and B. Pochon. A Topological Treatment of Early-Deciding Set-Agreement, in Theoretical Computer Science Journal, 2008.
C. Delporte-Gallet, H. Fauconnier and R. Guerraoui. Sharing is Harder than Agreeing. ACM Conference on Principles of Distributed Computing, 2008.
R. Guerraoui and M. Kapalka. On Obstruction-Free Transactions, 2008.
R. Guerraoui and M. Vukolic. A Scalable and Oblivious Atomicity Assertion, 2008.
C. Georgiou, S. Gilbert, R. Guerraoui and D. Kowalski. On the Complexity of Asynchronous Gossip. 27th Annual Symposium on Principles of Distributed Computing, Toronto, Canada, 2008.
G. Chockler, S. Gilbert and N. Lynch. Virtual Infrastructure for Collision-Prone Wireless Networks. 27th Annual Symposium on Principles of Distributed Computing, Toronto, Canada, 2008.
S. Dolev, S. Gilbert, R. Guerraoui and C. Newport. Secure Communication Over Radio Channels. 27th Annual Symposium on Principles of Distributed Computing, Toronto, Canada, 2008.
R. Guerraoui and P. Kuznetsov. The gap in circumventing the impossibility of consensus, in Journal of Computer and System Sciences, vol. 74, p. 823-830, 2008.
D. Frey, R. Guerraoui, A.-M. Kermarrec, M. Mogensen and M. Monod et al. Gossiping Capabilities, 2008.
V. Gramoli, D. Harmanci and P. Felber. Toward a Theory of Input Acceptance for Transactional Memories, 2008.
R. Guerraoui, N. Knezevic, V. Quéma and M. Vukolic. The Next 700 BFT Protocols, 2008.
R. Guerraoui and M. Kapalka. On Obstruction-Free Transactions. 20th ACM Symposium on Parallelism in Algorithms and Architectures, Munich, Germany, 2008.
H. Attiya, R. Guerraoui and E. Ruppert. Partial Snapshot Objects. 20th ACM Symposium on Parallelism in Algorithms and Architectures, Munich, Germany, 2008.
J. Auerbach, D. F. Bacon, R. Guerraoui, J. H. Spring and J. Vitek. Flexible Task Graphs:Unified Restricted Thread Programming Model for Java. ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES), 2008.
G. Chockler, R. Guerraoui, I. Keidar and M. Vukolic. Reliable Distributed Storage, in IEEE Computer, 2008.
A. Dragojevic, R. Guerraoui and M. Kapalka. Dividing Transactional Memories by Zero. Transact, Salt Lake City, Utah, USA, 2008.
R. Guerraoui, T. Henzinger and V. Singh. Model Checking Transactional Memories. ACM SIGPLAN 2008 Conference on Programming Language Design and Implementation (PLDI), 2008.
P. Dutta, R. Guerraoui and R. Levy. Optimistic Erasure Coded Distributed Storage, 2008.
R. Levy, R. Guerraoui (Dir.). The complexity of reliable distributed storage. EPFL, Lausanne, 2008.
R. Guerraoui and M. Kapalka. On the Correctness of Transactional Memory. ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPoPP'08), Salt Lake City, Utah, USA, 2008.
H. S. Alavi, S. Gilbert and R. Guerraoui. Extensible Encoding of Type Hierarchies. ACM Symposium on Principles of Programming Languages (POPL), 2008.

2007

R. Guerraoui and M. Raynal. From unreliable objects to reliable objects: The case of atomic registers and consensus. 9th International Conference on Parallel Computing Technologies, Pereslavl Zalessky, RUSSIA, Lecture Notes In Computer Science, 2007.
R. Guerraoui, M. Kapalka and P. Kouznetsov. The Weakest Failure Detectors to Boost Obstruction-Freedom, in Distributed Computing, 2007.
C. Delporte-Gallet, H. Fauconnier, R. Guerraoui and E. Ruppert. Secretive Birds: Privacy in Population Protocols. 11th International Conference On Principles Of Distributed Systems (OPODIS'07), 2007.
Y. Fernandess, A. Fernández and M. Monod. A Generic Theoretical Framework for Modeling Gossip-Based Algorithms, in ACM SIGOPS Operating Systems Review, vol. 41, num. 5, p. 19-27, 2007.
R. Guerraoui and E. Ruppert. Even Small Birds are Unique: Population Protocols with Identifiers, 2007.
R. Guerraoui and E. Ruppert. Anonymous and Fault-Tolerant Shared-Memory Computing, in Distributed Computing, 2007.
G. Chockler, R. Guerraoui and I. Keidar. Amnesic Distributed Storage. , 2007.
S. Gilbert, R. Guerraoui and D. R. Kowalski. On the Message Complexity of Indulgent Consensus. Symposium on Distributed Computing (DISC'07), Lemesos, Cyprus, Lecture Notes in Computer Science 4731, 2007.
S. Dolev, S. Gilbert, R. Guerraoui and C. Newport. Gossiping in a Multi-Channel Radio Network (An Oblivious Approach to Coping With Malicious Interference). Symposium on Distributed Computing (DISC'07), Lemesos, Cyprus, Lecture Notes in Computer Science 4731, 2007.
L. Alvisi, J. Doumen, R. Guerraoui, B. Koldehofe and H. Li et al. How robust are gossip-based communication protocols?, in Operating Systems Review, 2007.
C. Delporte-Gallet, H. Fauconnier, R. Guerraoui and B. Pochon. The Perfectly-Synchronized Round-based Model of Distributed Computing, in Information & Computation, vol. 205, num. 5, p. 783-815, 2007.
M. Jelasity, S. Voulgaris, R. Guerraoui, A.-M. Kermarrec and M. Van Steen. Gossip-Based Peer Sampling, in ACM Transactions on Computer Systems, 2007.
R. Guerraoui. A Smooth Concurrency Revolution with Free Objects, in Internet Computing, vol. 11, num. 4, p. 84.87, 2007.
R. Guerraoui, M. Herlihy, P. Kouznetsov, N. Lynch and C. Newport. On The Weakest Failure Detector Ever. 26th ACM Symposium on Principles of Distributed Computing (PODC'07), Portland, Oregon, USA, 2007.
S. Baehni, J. Barreto, P. Eugster and R. Guerraoui. Efficient Distributed Subtyping Tests. ACM/IEEE/Usenix International Conference on Distributed Event-Based Systems (DEBS'07), Toronto, 2007.
J. H. Spring, J. Privat, R. Guerraoui and J. Vitek. StreamFlex - High-throughput Stream Programming in Java. 2007 ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages, and Application (OOPSLA), 2007.
R. Guerraoui and M. Kapalka. Opacity: A Correctness Condition for Transactional Memory, 2007.
P. Dutta, R. Guerraoui and B. Pochon. The Time-Complexity of Local Decision in Distributed Agreement, in SIAM Journal on Computing, 2007.
R. Guerraoui and M. Vukolic. Refined Quorum Systems. 26th ACM Symposium on Principles of Distributed Computing (PODC'07), Portland, Oregon, USA, 2007.
B. Garbinato, R. Guerraoui, J. Hulaas, A. Kounine and M. Monod et al. The Weight-Watcher Service and its Lightweight Implementation. , 2007.
S. Baehni, R. Guerraoui, B. Koldehofe and M. Monod. Towards Fair Event Dissemination. , 2007.
B. Garbinato, R. Guerraoui, J. Hulaas, M. Monod and J. H. Spring. Pervasive Computing with Frugal Objects. , 2007.
J. H. Spring, F. Pizlo, R. Guerraoui and J. Vitek. Reflexes: Abstractions for Highly Responsive Systems. Third International ACM SIGPLAN/SIGOPS Conference on Virtual Execution Environments, San Diego, USA, 2007.
R. Guerraoui, M. Kapalka and J. Vitek. STMBench7: A Benchmark for Software Transactional Memory. Second European Systems Conference EuroSys2007, Lisboa, Portugal, 2007.
R. Guerraoui, D. Kostic, R. R. Levy and V. Quéma. A High Throughput Atomic Storage Algorithm. The 27th IEEE International Conference on Distributed Computing Systems (ICDCS'07), Toronto, Canada, 2007.
B. Garbinato, R. Guerraoui, J. Hulaas, M. Monod and J. H. Spring. Pervasive Computing with Frugal Objects, 2007.
R. Guerraoui and M. Vukolic. Refined Quorum Systems, 2007.
R. Guerraoui, R. R. Levy, B. Pochon and J. Pugh. The Collective Memory of Amnesic Processes, accepted in ACM Transactions on Algorithms (TALG), 2007.

2006

S. Gilbert, R. Guerraoui and C. Newport. Of Malicious Motes and Suspicious Sensors: On the Efficiency of Malicious Interference in Wireless Networks. 10th International Conference on Principles of Distributed Systems, Bordeaux, FRANCE, 2006.
B. Garbinato, R. Guerraoui, J. Hulaas, M. Monod and J. H. Spring. Frugal Mobile Objects. , 2006.
R. Guerraoui, M. Herlihy and B. Pochon. A Topological Treatment of Early-Deciding Set-Agreement. OPODIS 2006, Bordeaux, France, 2006.
S. Gilbert, R. Guerraoui and C. Newport. Of Malicious Motes and Suspicious Sensors. OPODIS 2006, Bordeaux, France, 2006.
P. Dutta, R. Guerraoui and I. Keidar. The Overhead of Indulgent Failure Recovery, in Distributed Computing, 2006.
R. Guerraoui, M. Kapalka and J. Vitek. STMBench7: A Benchmark for Software Transactional Memory, 2006.
R. Guerraoui and M. Raynal. The Alpha of Indulgent Consensus, in The Computer Journal, 2006.
R. Guerraoui, M. Kapalka and P. Kouznetsov. The Weakest Failure Detectors to Boost Obstruction-Freedom. 20th International Symposium on Distributed Computing (DISC'06), Stockholm, Sweden, Lecture Notes in Computer Science LNCS 4167, 2006.
S. Baehni, P. Eugster, R. Guerraoui and O. Jurca. Community-Aware Event Dissemination, 2006.
R. Guerraoui and N. Lynch. A General Characterization of Indulgence (Invited Paper). Eighth International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2006), Dallas, Texas, USA, 2006.
R. Baldoni, R. Guerraoui, R. R. Levy, V. Quéma and S. Tucci Piergiovanni. Unconscious Eventual Consistency with Gossips. Eighth International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2006), Dallas, Texas, USA, 2006.
S. B. Handurukande, A.-M. Kermarrec, F. Le Fessant, L. Massoulie and S. Patarin. Peer Sharing Behaviour in the eDonkey Network, and Implications for the Design of Server-less File Sharing Systems . ACM SIGOPS EuroSys Conference, Leuven , Belgium, 2006.
R. Guerraoui, S. Handurukande, K. Huguenin, A.-M. Kermarrec and F. Le Fessant et al. GosSkip, an Efficient, Fault-Tolerant and Self Organizing Overlay Using Gossip-based Construction and Skip-Lists principles. IEEE International Conference on Peer-to-Peer Computing, Cambridge, UK, 2006.
R. Guerraoui, M. Kapalka and P. Kouznetsov. Boosting Obstruction-Freedom with Low Overhead, 2006.
S. Bähni, R. Guerraoui (Dir.). Type-based event dissemination. EPFL, Lausanne, 2006.
B. Pochon, R. Guerraoui (Dir.). Transformations in distributed computations and applications to set agreement. EPFL, Lausanne, 2006.
R. Guerraoui and M. Vukolic. How Fast Can a Very Robust Read Be?. 25th ACM Symposium on Principles of Distributed Computing (PODC'06), Denver, Colorado, USA, 2006.
H. Attiya, R. Guerraoui, D. Hendler and P. Kouznetsov. Synchronizing without Locks is Inherently Expensive. 25th ACM Symposium on Principles of Distributed Computing (PODC'06), Denver, Colorado, USA, 2006.
R. Guerraoui and M. Vukolic. How Fast Can a Very Robust Read Be?, 2006.
M. Monod, J. Kienzle and A. Romanovsky. Looking Ahead in Open Multithreaded Transactions. , 2006.
R. Guerraoui, R. R. Levy and M. Vukolic. Lucky Read/Write Access to Robust Atomic Storage. IEEE International Conference on Dependable Systems and Networks (DSN '06), Philadelphia, PA, USA, 2006.
R. Guerraoui, R. R. Levy, B. Pochon and V. Quéma. High Throughput Total Order Broadcast for Cluster Environments. IEEE International Conference on Dependable Systems and Networks (DSN 2006), Philadelphia, PA, USA, 2006.
R. Guerraoui, M. Kapalka and P. Kouznetsov. The Weakest Failure Detectors to Boost Obstruction-Freedom, 2006.
S. Baehni, J. Barreto and R. Guerraoui. Distributed Subtyping, 2006.
C. Delporte-Gallet, H. Fauconnier, R. Guerraoui and E. Ruppert. When Birds Die: Making Population Protocols Fault-tolerant. 2006 ACM/IEEE International Conference on Distributed Computing in Sensor Systems (DCOSS '06), 2006.

2005

R. Guerraoui and E. Ruppert. What Can Be Implemented Anonymously?. DISC'05, 2005.
S. Baehni, C. S. Chhabra and R. Guerraoui. Frugal Event Dissemination in a Mobile Environment. Middleware, Grenoble, 2005.
A. Gidenstam, B. Koldehofe, M. Papatriantafilou and P. Tsigas. Dynamic and fault-tolerant cluster management. Fith IEEE International Conference on Peer-to-Peer Computing, Konstanz, 2005.
B. Garbinato, R. Guerraoui, J. Hulaas, M. Monod and J. H. Spring. Frugal Mobile Objects, 2005.
P. Dutta, R. Guerraoui and L. Lamport. How Fast Can Eventual Synchrony Lead to Consensus?. DSN '05, 2005.
A. Doudou, B. Garbinato and R. Guerraoui. Tolerating Arbitrary Failures with State Machine Replication, in Dependable Computing Systems, Wiley Series on Parallel and Distributed Computing, 2005.
C. Delporte-Gallet, H. Fauconnier and R. Guerraoui. (Almost) All Objects are Universal in Message Passing Systems. 19th International Symposium on Distributed Computing (DISC'05), 2005.
R. Guerraoui, M. Herlihy, M. Kapalka and B. Pochon. Robust Contention Management in Software Transactional Memory. , 2005.
R. Guerraoui, M. Herlihy and B. Pochon. Polymorphic Contention Management. , Lecture Notes in Computer Science, 2005.
R. Guerraoui, M. Herlihy and B. Pochon. Towards a Theory of Transactional Contention Managers. , 2005.
E. Gafni, R. Guerraoui and B. Pochon. From a Static Impossibility to an Adaptive Lower Bound: the Complexity of Early Deciding Set Agreement. , 2005.
R. Guerraoui, R. R. Levy and M. Vukolic. Lucky Read/Write Access to Robust Atomic Storage, 2005.
P. Dutta, R. Guerraoui, R. R. Levy and M. Vukolic. How Fast can a Distributed Atomic Read be?, 2005.
A. H. Attiya, R. Guerraoui and P. Kouznetsov. Computing with Reads and Writes in the Absence of Step Contention. 19th International Symposium on Distributed Computing (DISC'05), 2005.
P. Attie, R. Guerraoui, P. Kouznetsov, N. Lynch and S. Rajsbaum. On the Impossibility of Boosting Distributed Service Resilience. IEEE International Conference on Distributed Computing Systems (ICDCS 2005), 2005.
G. Avoine, F. C. Gaertner, R. Guerraoui, K. Kursawe and S. Vaudenay et al. Reducing Fair Exchange to Atomic Commit. European Conference on Dependable Computing (EDCC 2005), 2005.
P. Dutta and R. Guerraoui. The Inherent Price of Indulgence, in Distributed Computing, vol. 18, num. 1, p. 85-98, 2005.
S. Handurukande, R. Guerraoui (Dir.). Large scale selective event dissemination. EPFL, Lausanne, 2005.
P. Kouznetsov, R. Guerraoui (Dir.). Synchronization using failure detectors. EPFL, Lausanne, 2005.
P. Dutta, R. Guerraoui (Dir.). Time-complexity bounds on agreement problems. EPFL, Lausanne, 2005.

2004

M. Monod. Looking Ahead in Open Multithreaded Transactions. , 2004.
P. Dutta, R. Guerraoui, R. R. Levy and A. Chakraborty. How fast can a distributed atomic read be?. Proceedings of the 23rd ACM Symposium on Principles of Distributed Computing (PODC'04), St. John's, Newfoundland, Canada, 2004.
R. Guerraoui and R. R. Levy. Robust Emulations of Shared Memory in a Crash-Recovery Model . 24th IEEE International Conference on Distributed Computing Systems (ICDCS'04), Tokyo, Japan, 2004.
P. T. Eugster, R. Guerraoui, A.-M. Kermarrec and L. Massoulie. From Epidemics to Distributed Computing, in IEEE Computer, vol. 37, num. 5, p. 60-67, 2004.
P. T. Eugster and R. Guerraoui. Distributed programming with typed events, in IEEE Software, vol. 21, num. 2, p. 56 - 64, 2004.
F. Le Fessant, S. Handurukande, A.-M. Kermarrec and L. Massoulié. Clustering in Peer-to-Peer File Sharing Workloads. IPTPS'04, 2004.
C. Delporte-Gallet, H. Fauconnier, R. Guerraoui, V. Hadzilacos and P. Kouznetsov et al. The Weakest Failure Detectors to Solve Certain Fundamental Problems in Distributed Computing. PODC 04, 2004.
P. T. Eugster, R. Guerraoui and P. Kouznetsov. Delta-Reliability: A Probabilistic Measure of Broadcast Reliability. ICDCS 2004, 2004.
P. T. Eugster, C. Damm and R. Guerraoui. Towards Safe Distributed Application Development. ICSE'04, 2004.
C. Damm, P. Th. Eugster and R. Guerraoui. Linguistic Support for Distributed Programming Abstractions. ICDCS 2004, 2004.
M. Jelasity, R. Guerraoui, A.-M. Kermarrec and M. v. Steen. The Peer Sampling Service: Experimental Evaluation of Unstructured Gossip-Based Implementations. ACM/IFIP/USENIX 5th International Middleware Conference, 2004.
R. Guerraoui, V. Hadzilacos, P. Kouznetsov and S. Toueg. The weakest failure detectors to solve Quittable Consensus and Non-Blocking Atomic Commit, 2004.
S. B. Handurukande, A.-M. Kermarrec, F. Le Fessant and L. Massoulie. Exploiting Semantic Clustering in the eDonkey P2P Network. ACM SIGOPS European Workshop 2004, 2004.
M. Brahami, P. T. Eugster, R. Guerraoui and S. B. Handurukande. BGP-based Clustering for Scalable and Reliable Gossip Broadcast. Global Computing 2004 workshop, 2004.
R. Guerraoui and M. Raynal. The Information Structure of Indulgent Consensus, in IEEE Transaction on Computers, vol. 53, num. 4, p. 453-466, 2004.
P. Dutta, R. Guerraoui and B. Pochon. Fast non-blocking atomic commit: an inherent trade-off, in Information Processing Letter, vol. 91, num. 4, p. 195-200, 2004.
R. Guerraoui and B. Pochon. The complexity of eary deciding set agreement: how can topology help?. , 2004.
S. Baehni, R. Baldoni, R. Gerraoui and B. Pochon. The Driving Philosophers. , 2004.
S. Baehni, P. T. Eugster and R. Guerraoui. Data-Aware Multicast. , 2004.
B. Pochon, S. Baehni and R. Guerraoui. The Driving Philosophers. , 2004.
P. Dutta, R. Guerraoui and M. Vukolic. The Complexity of Asynchronous Byzantine Consensus, 2004.
R. Guerraoui and E. Ruppert. What Can Be Implemented Anonymously?, 2004.
R. Guerraoui, S. B. Handurukande and A.-M. Kermarrec. GosSkip: a Gossip-based Structured Overlay Network for Efficient Content-based Filtering, 2004.
E. Gafni, R. Guerraoui and B. Pochon. From a Static Impossibility to an Adaptive Lower Bound: The Complexity of Early Deciding Set Agreement, 2004.
S. Baehni, C. S. Chhabra and R. Guerraoui. Mobility Friendly Publish/Subscribe, 2004.
P. Dutta, R. Guerraoui and I. Keidar. The Overhead of Consensus Failure Recovery, 2004.
F. Gaertner, R. Guerraoui and P. Kouznetsov. The CHT Play, 2004.
P. Dutta, R. Guerraoui and B. Pochon. Fast Non-Blocking Atomic Commit: An Inherent Trade-off, 2004.
R. Guerraoui and P. Kouznetsov. The Gap in Circumventing the Consensus Impossibility, 2004.
G. Avoine, F. Gärtner, R. Guerraoui and M. Vukolié. Gracefully Degrading Fair Exchange with Security Modules, 2004.

2003

P. A. Felber, R. Guerraoui, A. M. Kermarrec and P. T. Eugster. The many faces of publish/subscribe. , 2003.
L. Rodrigues, S. B. Handurukande, J. Pereira, R. Guerraoui and A.-M. Kermarrec. Adaptive Gossip-Based Broadcast. DSN 2003, 2003.
L. Fiege, F. C. Gartner, S. B. Handurukande and A. Zeidler. Dealing with Uncertainty in Mobile Publish/Subscribe Middleware. Middleware for Pervasive and Ad-Hoc Computing 2003, 2003.
H. Pagnia, H. Vogt and F. C. Gaertner. Fair Exchange, in The Computer Journal, vol. 46, num. 1, p. 55, 2003.
H. Vogt, F. C. Gaertner and H. Pagnia. Supporting Fair Exchange in Mobile Environments, in Mobile Networks and Applications, vol. 8, num. 2, p. 127, 2003.
J. Luo, P. T. Eugster and J.-P. Hubaux. Route Driven Gossip: Probabilistic Reliable Multicast in Ad Hoc Networks. Infocom 2003, 2003.
F. C. Gaertner and H. Pagnia. Time-Efficient Self-Stabilizing Algorithms through Hierarchical Structures. Self-Stabilizing Systems 2003, 2003.
J. Luo, J.-P. Hubaux and P. Eugster. PAN: Providing Reliable Storage in Mobile Ad Hoc Networks with Probabilistic Quorum Systems. MobicHoc 2003, 2003.
F. C. Gartner, K. Kursawe and L. Buttyan. From Fault-Tolerance to Security and Back, in IEEE Distributed Systems Online, vol. 4, num. 9, 2003.
L. Fiege, F. C. Gartner, O. Kasten and A. Zeidler. Supporting Mobility in Content-Based Publish/Subscribe Middleware. Middleware 2003, Rio de Janeiro, Brazil, 2003.
J. Bohn, F. C. Gartner and H. Vogt. Dependability Issues of Pervasive Computing in a Healthcare Environment. SPC'03, Boppard, Germany, 2003.
G. Bernard, J. Ben-Othman, L. Bouganim, G. Canals and B. Defude et al. Mobile Databases: A Report on Open Issues and Research Directions. ACM SIGMOD, 2003.
R. Guerraoui, P. Kouznetsov and B. Pochon. A Note on Set Agreement with Omission Failures, in Electronic Notes in Theoretical Computing Science, vol. 81, 2003.
C. Delporte-Gallet, H. Fauconnier, R. Guerraoui and B. Pochon. Distributed Programming for Dummies: A Shifting Transformation Technique. , 2003.
S. Blanc, R. Guerraoui, K. Hess, P. Kouznetsov and P.-E. Parent et al. Using the Topological Characterization of Synchronous Models. , 2003.
P. Dutta, R. Guerraoui and B. Pochon. Tight Lower Bounds on Early Local Decisions in Uniform Consensus. , 2003.
S. Baehni, P. Eugster, R. Guerraoui and P. Altherr. Pragmatic Type Interoperability. , 2003.
A. P. Black, V. Cremet, R. Guerraoui and M. Odersky. An Equational Theory for Transactions. , 2003.
R. Guerraoui and P. Kouznetsov. Finally the Weakest Failure Detector for Non-Blocking Atomic Commit, 2003.
C. Delporte-Gallet, H. Fauconnier and R. Guerraoui. Shared Memory vs Message Passing, 2003.
P. T. Eugster. What Good are Probabilistic Specifications and What Probabilistic Specifications are Good?, , 2003.
P. T. Eugster. Lazy Parameter Passing, 2003.
S. Baehni, P. T. Eugster and R. Guerraoui. Data-Aware Multicast, 2003.
P. T. Eugster. Distributed Reliable Object-Oriented Programming (DROOP), 2003.
C. Delporte-Gallet, H. Fauconnier, R. Guerraoui and B. Pochon. Distributed Programming for Dummies: A Shifting Transformation Technique, 2003.
R. Guerraoui and P. Kouznetsov. On Failure Detectors and Type Boosters, 2003.
R. Guerraoui and P. Kouznetsov. The Weakest Failure Detector for Non-Blocking Atomic Commit, 2003.
P. T. Eugster. Probabilistic Guarantees and Algorithms for Ad Hoc Networks, , 2003.
F. C. Gaertner. A Survey of Self-Stabilizing Spanning-Tree Construction Algorithms, 2003.
P. Dutta, R. Guerraoui and B. Pochon. Early Local Decisions in Distributed Agreement, 2003.
F. C. Gaertner and A. Jhumka. Automating the Addition of Fail-Safe Fault-Tolerance: Beyond Fusion-Closed Specifications, 2003.
F. C. Gaertner. Byzantine Failures and Security: Arbitrary is not (always) Random, 2003.
P. T. Eugster. Dynamic Proxies for Classes: Towards Type-Safe and Decoupled Remote Object Interaction, 2003.
L. Fiege, F. Gaertner, O. Kasten and A. Zeidler. Supporting Mobility in Content-Based Publish/Subscribe Middleware, 2003.
S. Baehni, P. T. Eugster, R. Guerraoui and P. Altherr. Pragmatic Type Interoperability, 2003.
P. T. Eugster. Atomic Probabilistic Broadcast, 2003.
P. Eugster, R. Guerraoui, S. Handurukande, P. Kouznetsov and A.-M. Kerrmarec. Lightweight Probabilistic Broadcast, in ACM Transactions on Computer Systems, vol. 21, num. 4, p. 341-374, 2003.

2002

C. Delporte-Gallet, H. Fauconnier and R. Guerraoui. A Realistic Look At Failure Detectors. DSN 2002, Washington DC, 2002.
P. T. Eugster and R. Guerraoui. Probabilistic Multicast. DSN 2002, Washington DC, 2002.
R. Guerraoui and C. Hari. On the Consistency Problem in Mobile Distributed Computing. POMC 2002, Toulouse, France, 2002.
P. Dutta, F. Frolund, R. Guerraoui and B. Pochon. An Efficient Universal Construction for Message-Passing Systems. , 2002.
P. Eugster and S. Baehni. Abstracting Remote Object Interaction in a Peer-2-Peer Environment. , 2002.
S. Baehni, P. Eugster and R. Guerraoui. OS Support for P2P: a Case for TPS. International Conference on Distributed Computing Systems, Vienna, 2002.
F. Gaertner. Revisiting Liveness Properties in the Context of Secure Systems, 2002.
A. Jhumka, F. C. Gärtner, C. Fetzer and N. Suri. On Systematic Design of Fast and Perfect Detectors, 2002.
P. H. Oser, C. Gasser, D. Gorostidi and R. Guerraoui. The LEAF Platform: Incremental Enhancements for the J2EE, 2002.
P. Dutta and R. Guerraoui. Fast Indulgent Consensus with Zero Degradation, 2002.
C. Delporte-Gallet, H. Fauconnier and R. Guerraoui. Failure Detection Lower Bounds on Registers and Consensus<br />(Preliminary Version), 2002.
P. Dutta, S. Frolund, R. Guerraoui and B. Pochon. An Efficient Universal Construction for Message-Passing<br />Systems, 2002.
C. Delporte-Gallet, H. Fauconnier, R. Guerraoui and P. Kouznetsov. Mutual Exclusion in Asynchronous Systems with Failure<br />Detectors, 2002.
R. Guerraoui and P. Kouznetsov. On the Weakest Failure Detector for Non-Blocking Atomic Commit., 2002.
P. T. Eugster, P. Felber, R. Guerraoui and S. B. Handurukande. Event Systems : How to Have Your Cake and Eat It Too, 2002.
J. Kienzle and R. Guerraoui. AOP: Does it Make Sense ? The Case of Concurrency and Failures, 2002.
S. Baehni, P. T. Eugster and R. Guerraoui. OS Support for P2P Programming: a Case for TPS, 2002.

2001

R. Boichat and L. Duchien. Network Membership: A Partition Model for Reliable Mobile Communication. ICPADS'01, 2001.
S. Frolund and R. Guerraoui. Democratizing the Parliament, 2001.
P. Eugster, R. Guerraoui and C. Damm. On Objects and Events. OOPSLA 2001, 2001.
C. H. Damm, P. T. Eugster and R. Guerraoui. Abstractions for Distributed Programming: Guests or Relatives?, 2001.
P. T. Eugster and R. Guerraoui. Hierarchical Probabilistic Multicast, 2001.
R. Boichat and R. Guerraoui. Reliable and Total Order Broadcast in the Crash-Recovery Model, 2001.
P. Dutta, R. Boichat and R. Guerraoui. Asynchronous Leasing, 2001.
P. T. Eugster, C. H. Damm and R. Guerraoui. Linguistic Support for Large-Scale Distributed Programming, 2001.
S. Frolund and R. Guerraoui. Democratrizing the Parliament, 2001.
R. Boichat, P. Dutta, S. Frolund and R. Guerraoui. Deconstructing Paxos, 2001.
R. Boichat, S. Frolund and R. Guerraoui. Open Consensus, 2001.
R. Boichat, P. Eugster and R. Guerraoui. Effective Multicast Programming in Large Scale Distributed Systems, 2001.
P. Eugster, R. Guerraoui and P. Kouznetsov. Delta-Reliability, 2001.
S. Frolund and R. Guerraoui. X-ability: A Theory of Replication, in Distributed Computing, vol. 14, num. 4, p. 231-249, 2001.
P. Eugster, R. Guerraoui (Dir.). Type-based publish/subscribe. EPFL, Lausanne, 2001.
R. Boichat, R. Guerraoui (Dir.). Reliable and total order broadcast in the crash-recovery model. EPFL, Lausanne, 2001.

2000

A. Doudou, B. Garbinato and R. Guerraoui. Modular Abstractions for Devising Byzantine-Resilient State Machine Replication. SRDS 2000, 2000.
J.-P. Martin-Flatin, P. E. Sevinç and R. Guerraoui. Patterns in SNMP-Based Management, 2000.
P. T. Eugster, R. Guerraoui and J. Sventek. Type-Based Publish/Subscribe, 2000.
R. Boichat, S. Frolund and R. Guerraoui. Making Consensus Practical, 2000.
S. Frolund and R. Guerraoui. Implementing e-Transactions with Asynchronous Replication, 2000.
S. Frolund and R. Guerraoui. Exactly-Once Transactions, 2000.
R. Guerraoui. On the Hardness of Failure-Sensitive Agreement Problems, 2000.
R. Guerraoui. Indulgent Algorithms. Symposium on Principles of Distributed Computing, 2000.
P. Eugster, R. Guerraoui and J. Sventek. Distributed Asynchronous Collections: Abstractions for Publish/Subscribe Interaction, 2000.
A. Doudou, R. Guerraoui (Dir.). Abstractions for Byzantine-resilient state machine replication. EPFL, Lausanne, 2000.

1999

R. Guerraoui. What object-oriented distributed programming does not have to be, and what it may be, in Informatik, 1999.

Unknown year

F. Freiling, R. Guerraoui and P. Kuznetsov. The Failure Detector Abstraction, accepted in ACM Computing Surveys.


ACM publications are copyright © of the Association for Computing Machinery
IEEE publications are copyright © of the Institute of Electrical and Electronics Engineers
LNCS publications are copyright © of Springer
TCS publications are copyright © of Elsevier Science B.V.