Rachid Guerraoui - Publications 2011

Laws of order

H. AttiyaR. GuerraouiD. HendlerP. KuznetsovM. M. Michael  et al.

2011. 38th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages, Austin, USA, January 26-28, 2011. p. 487. DOI : 10.1145/1925844.1926442.

The complexity of robust atomic storage

D. DobreR. GuerraouiM. MajuntkeN. SuriM. Vukolić

2011. the 30th annual ACM SIGACT-SIGOPS symposium, San Jose, California, USA, 06-08 06 2011. p. 59. DOI : 10.1145/1993806.1993816.

Byzantine agreement with homonyms

C. Delporte-GalletH. FauconnierR. GuerraouiA.-M. KermarrecE. Ruppert  et al.

2011. the 30th annual ACM SIGACT-SIGOPS symposium, San Jose, California, USA, 06-08 06 2011. p. 21. DOI : 10.1145/1993806.1993810.

Model Checking a Networked System Without the Network

R. GuerraouiM. Yabandeh

2011. 8th USENIX Symposium on Networked Systems Design and Implementation (NSDI '11), Boston, Massachusetts, USA, March 30-April 1, 2011. p. 225–238.

Introduction to Reliable and Secure Distributed Programming

C. CachinR. GuerraouiL. Rodrigues


The impossibility of boosting distributed service resilience

P. AttieR. GuerraouiP. KuznetsovN. LynchS. Rajsbaum

Information and Computation. 2011. DOI : 10.1016/j.ic.2010.07.005.

The disagreement power of an adversary

C. Delporte-GalletH. FauconnierR. GuerraouiA. Tielmann

Distributed Computing. 2011. DOI : 10.1007/s00446-010-0122-4.

Scalable and Secure Aggregation in Distributed Networks

S. GambsR. GuerraouiH. HarkousF. HucA.-M. Kermarrec


Generalized Universality

E. GafniR. Guerraoui

2011. 22nd International Conference, CONCUR, Aachen, Germany, September 6-9, 2011. p. 17-27. DOI : 10.1007/978-3-642-23217-6_2.

Collaborative Personalized Top-k Processing

X. BaiR. GuerraouiA.-M. KermarrecV. Leroy

ACM Transactions on Database Systems. 2011. DOI : 10.1145/2043652.2043659.

Brief Announcement: Transaction Polymorphism

V. GramoliR. Guerraoui

2011. 23rd Annual Symposium on Parallelism in Algorithms and Architectures, San Jose, CA, Jun 04-06, 2011. p. 311-312. DOI : 10.1145/1989493.1989544.

Verification of STM on relaxed memory models

R. GuerraouiT. A. HenzingerV. Singh

Formal Methods In System Design. 2011. DOI : 10.1007/s10703-011-0131-3.

Democratizing Transactional Programming

V. GramoliR. Guerraoui

2011. Middleware 11, Lisbon, Dec. 12-16, 2011. p. 1-19. DOI : 10.1007/978-3-642-25821-3_1.

The Complexity Of Early Deciding Set Agreement

E. GafniR. GuerraouiB. Pochon

Siam Journal On Computing. 2011. DOI : 10.1137/050640746.

The Complexity of Renaming

D. AlistarhJ. AspnesS. GilbertR. Guerraoui

2011. Foundations of Computer Science (FOCS), 2011 IEEE 52nd Annual Symposium on, Palm Springs, CA, USA, 22-25 Oct. 2011. DOI : 10.1109/FOCS.2011.66.

Automated Vulnerability Discovery in Distributed Systems

R. BanabicG. CandeaR. Guerraoui

2011. 7th Workshop on Hot Topics in System Dependability (HotDep), Hong Kong, China, 2011.

Laws of Order: Expensive Synchronization in Concurrent Algorithms Cannot be Eliminated

H. AttiyaR. GuerraouiD. HendlerP. KuznetsovM. M. Michael  et al.

2011. ACM POPL 2011, Austin, Texas, USA, January 26–28, 2011. DOI : 10.1145/1925844.1926442.

Generating Fast Indulgent Algorithms

D. AlistarhS. GilbertR. GuerraouiC. Travers

2011. 12th International Conference on Distributed Computing and Networking (ICDCN 2011). DOI : 10.1007/978-3-642-17679-1_4.

Why STM can be more than a Research Toy

A. DragojevicP. FelberV. GramoliR. Guerraoui

Communications of the ACM. 2011. DOI : 10.1145/1924421.1924440.

The Failure Detector Abstraction

F. FreilingR. GuerraouiP. Kuznetsov

ACM Computing Surveys. 2011. DOI : 10.1145/1883612.1883616.

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.