Rachid Guerraoui - Publications 2011

Laws of order

H. Attiya; R. Guerraoui; D. Hendler; P. Kuznetsov; M. 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.

Detailed record

Full text – View at publisher

The complexity of robust atomic storage

D. Dobre; R. Guerraoui; M. Majuntke; N. Suri; M. Vukolić

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

Detailed record

Full text – View at publisher

Byzantine agreement with homonyms

C. Delporte-Gallet; H. Fauconnier; R. Guerraoui; A.-M. Kermarrec; E. 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.

Detailed record

Full text – View at publisher

Model Checking a Networked System Without the Network

R. Guerraoui; M. Yabandeh

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

Detailed record

Full text

Introduction to Reliable and Secure Distributed Programming

C. Cachin; R. Guerraoui; L. Rodrigues

Springer.

Detailed record

View at publisher

The impossibility of boosting distributed service resilience

P. Attie; R. Guerraoui; P. Kuznetsov; N. Lynch; S. Rajsbaum

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

Detailed record

Full text – View at publisher

The disagreement power of an adversary

C. Delporte-Gallet; H. Fauconnier; R. Guerraoui; A. Tielmann

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

Detailed record

Full text – View at publisher

Scalable and Secure Aggregation in Distributed Networks

S. Gambs; R. Guerraoui; H. Harkous; F. Huc; A.-M. Kermarrec

2011

Detailed record

Full text

Generalized Universality

E. Gafni; R. Guerraoui

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

Detailed record

Full text – View at publisher

Collaborative Personalized Top-k Processing

X. Bai; R. Guerraoui; A.-M. Kermarrec; V. Leroy

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

Detailed record

Full text – View at publisher

Brief Announcement: Transaction Polymorphism

V. Gramoli; R. 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.

Detailed record

Full text – View at publisher

Verification of STM on relaxed memory models

R. Guerraoui; T. A. Henzinger; V. Singh

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

Detailed record

Full text – View at publisher

Democratizing Transactional Programming

V. Gramoli; R. Guerraoui

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

Detailed record

Full text – View at publisher

The Complexity Of Early Deciding Set Agreement

E. Gafni; R. Guerraoui; B. Pochon

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

Detailed record

Full text – View at publisher

The Complexity of Renaming

D. Alistarh; J. Aspnes; S. Gilbert; R. 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.

Detailed record

Full text – View at publisher

Automated Vulnerability Discovery in Distributed Systems

R. Banabic; G. Candea; R. Guerraoui

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

Detailed record

Full text

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

H. Attiya; R. Guerraoui; D. Hendler; P. Kuznetsov; M. M. Michael et al.

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

Detailed record

Full text – View at publisher

Generating Fast Indulgent Algorithms

D. Alistarh; S. Gilbert; R. Guerraoui; C. Travers

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

Detailed record

Full text – View at publisher

Why STM can be more than a Research Toy

A. Dragojevic; P. Felber; V. Gramoli; R. Guerraoui

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

Detailed record

Full text – View at publisher

The Failure Detector Abstraction

F. Freiling; R. Guerraoui; P. Kuznetsov

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

Detailed record

Full text – View at publisher