Search results for "Rachid Guerraoui"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Swan Dubois, Rachid Guerraoui	Introducing Speculation in Self-Stabilization - An Application to Mutual Exclusion	CoRR	2013	DBLP BibTeX RDF
1	Swan Dubois, Rachid Guerraoui	Spéculation et auto-stabilisation	CoRR	2013	DBLP BibTeX RDF
1	Dan Alistarh, Seth Gilbert, Rachid Guerraoui, Corentin Travers	Of Choices, Failures and Asynchrony: The Many Faces of Set Agreement.	Algorithmica	2012	DBLP DOI BibTeX RDF
1	Rachid Guerraoui, Kévin Huguenin, Anne-Marie Kermarrec, Maxime Monod, Ymir Vigfusson	Decentralized polling with respectable participants.	J. Parallel Distrib. Comput.	2012	DBLP DOI BibTeX RDF
1	Rachid Guerraoui, Viktor Kuncak, Giuliano Losa	Abortable Linearizable Modules.	Archive of Formal Proofs	2012	DBLP BibTeX RDF
1	Sébastien Gambs, Rachid Guerraoui, Florian Huc, Anne-Marie Kermarrec	On Dynamic Distributed Computing	CoRR	2012	DBLP BibTeX RDF
1	Dan Alistarh, Seth Gilbert, Rachid Guerraoui, Corentin Travers	Generating Fast Indulgent Algorithms.	Theory Comput. Syst.	2012	DBLP DOI BibTeX RDF
1	Rachid Guerraoui	Special section with selected papers from PODC 2010.	Distributed Computing	2012	DBLP DOI BibTeX RDF
1	Rachid Guerraoui, Vassos Hadzilacos, Petr Kuznetsov, Sam Toueg	The Weakest Failure Detectors to Solve Quittable Consensus and Nonblocking Atomic Commit.	SIAM J. Comput.	2012	DBLP DOI BibTeX RDF
1	Rachid Guerraoui, Viktor Kuncak, Giuliano Losa	Speculative linearizability.	PLDI	2012	DBLP DOI BibTeX RDF
1	Sébastien Gambs, Rachid Guerraoui, Hamza Harkous, Florian Huc, Anne-Marie Kermarrec	Scalable and Secure Polling in Dynamic Distributed Networks.	SRDS	2012	DBLP DOI BibTeX RDF
1	Dan Alistarh, Hagit Attiya, Rachid Guerraoui, Corentin Travers	Early Deciding Synchronous Renaming in O( logf ) Rounds or Less.	SIROCCO	2012	DBLP DOI BibTeX RDF
1	Dan Alistarh, Rachid Guerraoui, Petr Kuznetsov, Giuliano Losa	On the cost of composing shared-memory algorithms.	SPAA	2012	DBLP DOI BibTeX RDF
1	Victor Bushkov, Rachid Guerraoui, Michal Kapalka	On the liveness of transactional memory.	PODC	2012	DBLP DOI BibTeX RDF
1	Vincent Gramoli, Rachid Guerraoui, Vasileios Trigonakis	TM2C: a software transactional memory for many-cores.	EuroSys	2012	DBLP DOI BibTeX RDF
1	João Barreto, Aleksandar Dragojevic, Paulo Ferreira, Ricardo Filipe, Rachid Guerraoui	Unifying Thread-Level Speculation and Transactional Memory.	Middleware	2012	DBLP DOI BibTeX RDF
1	Dan Alistarh, Michael A. Bender, Seth Gilbert, Rachid Guerraoui	How to Allocate Tasks Asynchronously.	FOCS	2012	DBLP DOI BibTeX RDF
1	Ajoy Kumar Datta, Franck Petit, Rachid Guerraoui	Stabilization, Safety, and Security of Distributed Systems (SSS 2009).	Theor. Comput. Sci.	2011	DBLP DOI BibTeX RDF
1	Xiao Bai, Rachid Guerraoui, Anne-Marie Kermarrec, Vincent Leroy	Collaborative personalized top-k processing.	ACM Trans. Database Syst.	2011	DBLP DOI BibTeX RDF
1	Paul C. Attie, Rachid Guerraoui, Petr Kuznetsov, Nancy A. Lynch, Sergio Rajsbaum	The impossibility of boosting distributed service resilience.	Inf. Comput.	2011	DBLP DOI BibTeX RDF
1	Aleksandar Dragojevic, Pascal Felber, Vincent Gramoli, Rachid Guerraoui	Why STM can be more than a research toy.	Commun. ACM	2011	DBLP DOI BibTeX RDF
1	Sébastien Gambs, Rachid Guerraoui, Hamza Harkous, Florian Huc, Anne-Marie Kermarrec	Scalable and Secure Aggregation in Distributed Networks	CoRR	2011	DBLP BibTeX RDF
1	Felix C. Freiling, Rachid Guerraoui, Petr Kuznetsov	The failure detector abstraction.	ACM Comput. Surv.	2011	DBLP DOI BibTeX RDF
1	Carole Delporte-Gallet, Hugues Fauconnier, Rachid Guerraoui, Andreas Tielmann	The disagreement power of an adversary.	Distributed Computing	2011	DBLP DOI BibTeX RDF
1	Eli Gafni, Rachid Guerraoui, Bastian Pochon	The Complexity of Early Deciding Set Agreement.	SIAM J. Comput.	2011	DBLP DOI BibTeX RDF
1	Rachid Guerraoui, Thomas A. Henzinger, Vasu Singh	Verification of STM on relaxed memory models.	Formal Methods in System Design	2011	DBLP DOI BibTeX RDF
1	Christian Cachin, Rachid Guerraoui, Luís Rodrigues	Introduction to Reliable and Secure Distributed Programming (2. ed.).		2011	DOI RDF
1	Eli Gafni, Rachid Guerraoui	Generalized Universality.	CONCUR	2011	DBLP DOI BibTeX RDF
1	Dan Alistarh, Seth Gilbert, Rachid Guerraoui, Corentin Travers	Generating Fast Indulgent Algorithms.	ICDCN	2011	DBLP DOI BibTeX RDF
1	Hagit Attiya, Rachid Guerraoui, Danny Hendler, Petr Kuznetsov, Maged M. Michael, Martin T. Vechev	Laws of order: expensive synchronization in concurrent algorithms cannot be eliminated.	POPL	2011	DBLP DOI BibTeX RDF
1	Vincent Gramoli, Rachid Guerraoui	Brief announcement: transaction polymorphism.	SPAA	2011	DBLP DOI BibTeX RDF
1	Carole Delporte-Gallet, Hugues Fauconnier, Rachid Guerraoui, Anne-Marie Kermarrec, Eric Ruppert, Hung Tran-The	Byzantine agreement with homonyms.	PODC	2011	DBLP DOI BibTeX RDF
1	Dan Dobre, Rachid Guerraoui, Matthias Majuntke, Neeraj Suri, Marko Vukolic	The complexity of robust atomic storage.	PODC	2011	DBLP DOI BibTeX RDF
1	Vincent Gramoli, Rachid Guerraoui	Democratizing Transactional Programming.	Middleware	2011	DBLP DOI BibTeX RDF
1	Dan Alistarh, James Aspnes, Seth Gilbert, Rachid Guerraoui	The Complexity of Renaming.	FOCS	2011	DBLP DOI BibTeX RDF
1	Jesper Honig Spring, Filip Pizlo, Jean Privat, Rachid Guerraoui, Jan Vitek	Reflexes: Abstractions for integrating highly responsive tasks into Java applications.	ACM Trans. Embedded Comput. Syst.	2010	DBLP DOI BibTeX RDF
1	Yehuda Afek, Ulrich Drepper, Pascal Felber, Christof Fetzer, Vincent Gramoli, Michael Hohmuth, Etienne Riviere, Per Stenström, Osman S. Unsal, Walther Maldonado, Derin Harmanci, Patrick Marlier, Stephan Diestelhorst, Martin Pohlack, Adrián Cristal, Ibrahim Hur, Aleksandar Dragojevic, Rachid Guerraoui, Michal Kapalka, Sasa Tomic, Guy Korland, Nir Shavit, Martin Nowack, Torvald Riegel	The Velox Transactional Memory Stack.	IEEE Micro	2010	DBLP DOI BibTeX RDF
1	Carole Delporte-Gallet, Hugues Fauconnier, Rachid Guerraoui	Tight failure detection bounds on atomic object implementations.	J. ACM	2010	DBLP DOI BibTeX RDF
1	Rachid Guerraoui, Ron R. Levy, Bastian Pochon, Vivien Quéma	Throughput optimal total order broadcast for cluster environments.	ACM Trans. Comput. Syst.	2010	DBLP DOI BibTeX RDF
1	Rachid Guerraoui, Thomas A. Henzinger, Vasu Singh	Model checking transactional memories.	Distributed Computing	2010	DBLP DOI BibTeX RDF
1	Rachid Guerraoui, Marko Vukolic	Refined quorum systems.	Distributed Computing	2010	DBLP DOI BibTeX RDF
1	Partha Dutta, Rachid Guerraoui, Ron R. Levy, Marko Vukolic	Fast Access to Distributed Atomic Memory.	SIAM J. Comput.	2010	DBLP DOI BibTeX RDF
1	Rachid Guerraoui, Michal Kapalka	Principles of Transactional Memory		2010	DOI RDF
1	Dan Alistarh, Seth Gilbert, Rachid Guerraoui, Morteza Zadimoghaddam	How Efficient Can Gossip Be? (On the Cost of Resilient Information Exchange).	ICALP	2010	DBLP DOI BibTeX RDF
1	Antoine Boutet, Davide Frey, Rachid Guerraoui, Anne-Marie Kermarrec	WhatsUp: News, From, For, Through, Everyone.	Peer-to-Peer Computing	2010	DBLP DOI BibTeX RDF
1	Davide Frey, Rachid Guerraoui, Anne-Marie Kermarrec, Maxime Monod	Boosting Gossip for Live Streaming.	Peer-to-Peer Computing	2010	DBLP DOI BibTeX RDF
1	Robbert van Renesse, Rachid Guerraoui	Replication Techniques for Availability.	Replication	2010	DBLP DOI BibTeX RDF
1	Xiao Bai, Marin Bertier, Rachid Guerraoui, Anne-Marie Kermarrec, Vincent Leroy	Gossiping personalized queries.	EDBT	2010	DBLP DOI BibTeX RDF
1	Dan Alistarh, Seth Gilbert, Rachid Guerraoui, Corentin Travers	Brief Announcement: New Bounds for Partially Synchronous Set Agreement.	DISC	2010	DBLP DOI BibTeX RDF
1	Dan Alistarh, Hagit Attiya, Seth Gilbert, Andrei Giurgiu, Rachid Guerraoui	Fast Randomized Test-and-Set and Renaming.	DISC	2010	DBLP DOI BibTeX RDF
1	Rachid Guerraoui	Foundations of Speculative Distributed Computing - (Invited Lecture Extended Abstract).	DISC	2010	DBLP DOI BibTeX RDF
1	Dan Alistarh, Seth Gilbert, Rachid Guerraoui, Zarko Milosevic 0001, Calvin C. Newport	Securing every bit: authenticated broadcast in radio networks.	SPAA	2010	DBLP DOI BibTeX RDF	wireless networks, broadcast, byzantine faults
1	Carole Delporte-Gallet, Hugues Fauconnier, Rachid Guerraoui, Anne-Marie Kermarrec	Brief announcement: byzantine agreement with homonyms.	SPAA	2010	DBLP DOI BibTeX RDF	authentication, message-passing, consensus, byzantine agreement
1	Rachid Guerraoui, Thomas A. Henzinger, Michal Kapalka, Vasu Singh	Transactions in the jungle.	SPAA	2010	DBLP DOI BibTeX RDF	transactional memory, correctness, memory models
1	Seth Gilbert, Rachid Guerraoui, Faezeh Malakouti Rad, Morteza Zadimoghaddam	Collaborative scoring with dishonest participants.	SPAA	2010	DBLP DOI BibTeX RDF	fault tolerance, recommendation systems, collaborative filtering, randomized algorithms
1	Andréa W. Richa, Rachid Guerraoui (eds.)	Proceedings of the 29th Annual ACM Symposium on Principles of Distributed Computing, PODC 2010, Zurich, Switzerland, July 25-28, 2010	PODC	2010	DBLP BibTeX RDF
1	Rachid Guerraoui, Nikola Knezevic, Vivien Quéma, Marko Vukolic	The next 700 BFT protocols.	EuroSys	2010	DBLP DOI BibTeX RDF	performance, modularity, byzantine failures
1	Rachid Guerraoui, Kévin Huguenin, Anne-Marie Kermarrec, Maxime Monod, Swagatika Prusty	LiFTinG: Lightweight Freerider-Tracking in Gossip.	Middleware	2010	DBLP DOI BibTeX RDF
1	Marin Bertier, Davide Frey, Rachid Guerraoui, Anne-Marie Kermarrec, Vincent Leroy	The Gossple Anonymous Social Network.	Middleware	2010	DBLP DOI BibTeX RDF
1	Andrei Giurgiu, Rachid Guerraoui, Kévin Huguenin, Anne-Marie Kermarrec	Computing in Social Networks.	SSS	2010	DBLP DOI BibTeX RDF
1	João Barreto, Aleksandar Dragojevic, Paulo Ferreira, Rachid Guerraoui, Michal Kapalka	Leveraging parallel nesting in transactional memory.	PPOPP	2010	DBLP DOI BibTeX RDF	nested parallel programs, transactional memory, work-stealing, fork-join
1	Rachid Guerraoui, Maurice Herlihy, Bastian Pochon	A topological treatment of early-deciding set-agreement.	Theor. Comput. Sci.	2009	DBLP DOI BibTeX RDF
1	Seth Gilbert, Rachid Guerraoui, Calvin C. Newport	Of malicious motes and suspicious sensors: On the efficiency of malicious interference in wireless networks.	Theor. Comput. Sci.	2009	DBLP DOI BibTeX RDF
1	Rachid Guerraoui, Bastian Pochon	The Complexity of Early Deciding Set Agreement: How can Topology help?	Electr. Notes Theor. Comput. Sci.	2009	DBLP DOI BibTeX RDF
1	Hagit Attiya, Rachid Guerraoui, Danny Hendler, Petr Kuznetsov	The complexity of obstruction-free implementations.	J. ACM	2009	DBLP DOI BibTeX RDF	perturbable objects, solo-fast implementations, step contention, lower bounds, Shared memory, memory contention
1	Gregory Chockler, Rachid Guerraoui, Idit Keidar, Marko Vukolic	Reliable Distributed Storage.	IEEE Computer	2009	DBLP DOI BibTeX RDF
1	Rachid Guerraoui, Michal Kapalka	The Theory of Transactional Memory.	Bulletin of the EATCS	2009	DBLP BibTeX RDF
1	Rachid Guerraoui, Maurice Herlihy, Petr Kuznetsov, Nancy A. Lynch, Calvin C. Newport	On the weakest failure detector ever.	Distributed Computing	2009	DBLP DOI BibTeX RDF
1	Aleksandar Dragojevic, Rachid Guerraoui, Michal Kapalka	Stretching transactional memory.	PLDI	2009	DBLP DOI BibTeX RDF	benchmarks, software transactional memories
1	Rachid Guerraoui, Eric Ruppert	Names Trump Malice: Tiny Mobile Agents Can Tolerate Byzantine Failures.	ICALP	2009	DBLP DOI BibTeX RDF
1	Marin Bertier, Rachid Guerraoui, Vincent Leroy, Anne-Marie Kermarrec	Toward personalized query expansion.	SNS	2009	DBLP DOI BibTeX RDF
1	Xiao Bai, Marin Bertier, Rachid Guerraoui, Anne-Marie Kermarrec	Toward personalized peer-to-peer top-k processing.	SNS	2009	DBLP DOI BibTeX RDF
1	Davide Frey, Rachid Guerraoui, Anne-Marie Kermarrec, Maxime Monod, Vivien Quéma	Stretching gossip with live streaming.	DSN	2009	DBLP DOI BibTeX RDF
1	Rachid Guerraoui, Kévin Huguenin, Anne-Marie Kermarrec, Maxime Monod	On Tracking Freeriders in Gossip Protocols.	Peer-to-Peer Computing	2009	DBLP DOI BibTeX RDF
1	Antonio Cunei, Rachid Guerraoui, Jesper Honig Spring, Jean Privat, Jan Vitek	High-Performance Transactional Event Processing.	COORDINATION	2009	DBLP DOI BibTeX RDF
1	Rachid Guerraoui, Michal Kapalka	The semantics of progress in lock-based transactional memory.	POPL	2009	DBLP DOI BibTeX RDF	try-lock, semantics, lower bound, transactional memory, reduction, lock, impossibility, consensus number
1	Rachid Guerraoui, Kévin Huguenin, Anne-Marie Kermarrec, Maxime Monod	Decentralized Polling with Respectable Participants.	OPODIS	2009	DBLP DOI BibTeX RDF
1	Rachid Guerraoui, Kévin Huguenin, Anne-Marie Kermarrec, Maxime Monod	Brief Announcement: Towards Secured Distributed Polling in Social Networks.	DISC	2009	DBLP DOI BibTeX RDF
1	Lorenzo Alvisi, Rachid Guerraoui, Prasad Jayanti, Idit Keidar, Shay Kutten, Jennifer L. Welch	The 2009 Edsger W. Dijkstra Prize in Distributed Computing.	DISC	2009	DBLP DOI BibTeX RDF
1	Carole Delporte-Gallet, Hugues Fauconnier, Rachid Guerraoui, Andreas Tielmann	The Disagreement Power of an Adversary.	DISC	2009	DBLP DOI BibTeX RDF
1	Pascal Felber, Vincent Gramoli, Rachid Guerraoui	Elastic Transactions.	DISC	2009	DBLP DOI BibTeX RDF
1	Seth Gilbert, Rachid Guerraoui, Dariusz R. Kowalski, Calvin C. Newport	Interference-Resilient Information Exchange.	INFOCOM	2009	DBLP DOI BibTeX RDF
1	Aleksandar Dragojevic, Rachid Guerraoui, Anmol V. Singh, Vasu Singh	Preventing versus curing: avoiding conflicts in transactional memories.	PODC	2009	DBLP DOI BibTeX RDF	scheduling, contention management, software transactional memory
1	Shlomi Dolev, Seth Gilbert, Rachid Guerraoui, Fabian Kuhn, Calvin C. Newport	The wireless synchronization problem.	PODC	2009	DBLP DOI BibTeX RDF	disrupted radio channel, synchronization
1	Carole Delporte-Gallet, Hugues Fauconnier, Rachid Guerraoui, Andreas Tielmann	The disagreement power of an adversary: extended abstract.	PODC	2009	DBLP DOI BibTeX RDF	fault-tolerance, failure-detectors, adversaries
1	Rachid Guerraoui, Michal Kapalka	Transactional Memory: Glimmer of a Theory.	CAV	2009	DBLP DOI BibTeX RDF
1	Rachid Guerraoui, Thomas A. Henzinger, Vasu Singh	Software Transactional Memory on Relaxed Memory Models.	CAV	2009	DBLP DOI BibTeX RDF
1	Davide Frey, Rachid Guerraoui, Anne-Marie Kermarrec, Boris Koldehofe, Martin Mogensen, Maxime Monod, Vivien Quéma	Heterogeneous Gossip.	Middleware	2009	DBLP DOI BibTeX RDF
1	Rachid Guerraoui, Franck Petit (eds.)	Stabilization, Safety, and Security of Distributed Systems, 11th International Symposium, SSS 2009, Lyon, France, November 3-6, 2009. Proceedings	SSS	2009	DBLP DOI BibTeX RDF
1	Dan Alistarh, Seth Gilbert, Rachid Guerraoui, Corentin Travers	Of Choices, Failures and Asynchrony: The Many Faces of Set Agreement.	ISAAC	2009	DBLP DOI BibTeX RDF
1	Rachid Guerraoui, Ron R. Levy, Bastian Pochon, Jim Pugh	The collective memory of amnesic processes.	ACM Transactions on Algorithms	2008	DBLP DOI BibTeX RDF	log complexity, Atomic registers, crash recovery, shared-memory emulation
1	Rachid Guerraoui, Nancy A. Lynch	A general characterization of indulgence.	TAAS	2008	DBLP DOI BibTeX RDF	Process failures, scheduling failures, agreement
1	Pascal Felber, Christof Fetzer, Rachid Guerraoui, Tim Harris	Transactions are back---but are they the same?: "Le Retour de Martin Guerre" (Sommersby).	SIGACT News	2008	DBLP DOI BibTeX RDF
1	Rachid Guerraoui, Michal Kapalka, Petr Kouznetsov	The weakest failure detectors to boost obstruction-freedom.	Distributed Computing	2008	DBLP DOI BibTeX RDF	Obstruction-free, Shared memory, Contention manager, Failure detector, Wait-free, Non-blocking
1	Rachid Guerraoui, Petr Kouznetsov	Failure detectors as type boosters.	Distributed Computing	2008	DBLP DOI BibTeX RDF
1	Rachid Guerraoui, Petr Kuznetsov	The gap in circumventing the impossibility of consensus.	J. Comput. Syst. Sci.	2008	DBLP DOI BibTeX RDF
1	Rachid Guerraoui	Failure Detectors.	Encyclopedia of Algorithms	2008	DBLP DOI BibTeX RDF
1	Rachid Guerraoui, Thomas A. Henzinger, Vasu Singh	Completeness and Nondeterminism in Model Checking Transactional Memories.	CONCUR	2008	DBLP DOI BibTeX RDF
1	Rachid Guerraoui, Marko Vukolic	A Scalable and Oblivious Atomicity Assertion.	CONCUR	2008	DBLP DOI BibTeX RDF
1	Rachid Guerraoui, Thomas A. Henzinger, Barbara Jobstmann, Vasu Singh	Model checking transactional memories.	PLDI	2008	DBLP DOI BibTeX RDF	model checking, transactional memories

Publications of "Rachid Guerraoui" ( http://dblp.L3S.de/Authors/Rachid_Guerraoui )