Rachid Guerraoui - Publications 2011

H. Attiya; R. Guerraoui; D. Hendler; P. Kuznetsov; M. M. Michael et al. : Laws of order. 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.
D. Dobre; R. Guerraoui; M. Majuntke; N. Suri; M. Vukolić : The complexity of robust atomic storage. 2011. the 30th annual ACM SIGACT-SIGOPS symposium, San Jose, California, USA, 06-08 06 2011. p. 59. DOI : 10.1145/1993806.1993816.
C. Delporte-Gallet; H. Fauconnier; R. Guerraoui; A.-M. Kermarrec; E. Ruppert et al. : Byzantine agreement with homonyms. 2011. the 30th annual ACM SIGACT-SIGOPS symposium, San Jose, California, USA, 06-08 06 2011. p. 21. DOI : 10.1145/1993806.1993810.
R. Guerraoui; M. Yabandeh : Model Checking a Networked System Without the Network. 2011. 8th USENIX Symposium on Networked Systems Design and Implementation (NSDI '11), Boston, Massachusetts, USA, March 30-April 1, 2011.
C. Cachin; R. Guerraoui; L. Rodrigues : Introduction to Reliable and Secure Distributed Programming ; Springer.
P. Attie; R. Guerraoui; P. Kuznetsov; N. Lynch; S. Rajsbaum : The impossibility of boosting distributed service resilience; Information and Computation. 2011. DOI : 10.1016/j.ic.2010.07.005.
C. Delporte-Gallet; H. Fauconnier; R. Guerraoui; A. Tielmann : The disagreement power of an adversary; Distributed Computing. 2011. DOI : 10.1007/s00446-010-0122-4.
E. Gafni; R. Guerraoui : Generalized Universality. 2011. 22nd International Conference, CONCUR, Aachen, Germany, September 6-9, 2011. p. 17-27. DOI : 10.1007/978-3-642-23217-6_2.
X. Bai; R. Guerraoui; A.-M. Kermarrec; V. Leroy : Collaborative Personalized Top-k Processing; ACM Transactions on Database Systems. 2011. DOI : 10.1145/2043652.2043659.
V. Gramoli; R. Guerraoui : Brief Announcement: Transaction Polymorphism. 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.
R. Guerraoui; T. A. Henzinger; V. Singh : Verification of STM on relaxed memory models; Formal Methods In System Design. 2011. DOI : 10.1007/s10703-011-0131-3.
V. Gramoli; R. Guerraoui : Democratizing Transactional Programming. 2011. Middleware 11, Lisbon, Dec. 12-16, 2011. p. 1-19. DOI : 10.1007/978-3-642-25821-3_1.
E. Gafni; R. Guerraoui; B. Pochon : The Complexity Of Early Deciding Set Agreement; Siam Journal On Computing. 2011. DOI : 10.1137/050640746.
D. Alistarh; J. Aspnes; S. Gilbert; R. Guerraoui : The Complexity of Renaming. 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.
R. Banabic; G. Candea; R. Guerraoui : Automated Vulnerability Discovery in Distributed Systems. 2011. 7th Workshop on Hot Topics in System Dependability (HotDep), Hong Kong, China, 2011.
H. Attiya; R. Guerraoui; D. Hendler; P. Kuznetsov; M. M. Michael et al. : Laws of Order: Expensive Synchronization in Concurrent Algorithms Cannot be Eliminated . 2011. ACM POPL 2011, Austin, Texas, USA, January 26–28, 2011. DOI : 10.1145/1925844.1926442.
D. Alistarh; S. Gilbert; R. Guerraoui; C. Travers : Generating Fast Indulgent Algorithms. 2011. 12th International Conference on Distributed Computing and Networking (ICDCN 2011). DOI : 10.1007/978-3-642-17679-1_4.
A. Dragojevic; P. Felber; V. Gramoli; R. Guerraoui : Why STM can be more than a Research Toy; Communications of the ACM. 2011. DOI : 10.1145/1924421.1924440.
F. Freiling; R. Guerraoui; P. Kuznetsov : The Failure Detector Abstraction; 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.