Rachid Guerraoui - Publications 2011

P. Attie, R. Guerraoui, P. Kuznetsov, N. Lynch and S. Rajsbaum. The impossibility of boosting distributed service resilience, in Information and Computation, vol. 209, num. 6, p. 927-950, 2011.
C. Delporte-Gallet, H. Fauconnier, R. Guerraoui and A. Tielmann. The disagreement power of an adversary, in Distributed Computing, vol. 24, num. 3-4, p. 137-147, 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.
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.
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.
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.
F. Freiling, R. Guerraoui and P. Kuznetsov. The Failure Detector Abstraction, in ACM Computing Surveys, vol. 43, num. 2, p. 9, 2011.
H. Attiya, R. Guerraoui, D. Hendler, P. Kuznetsov and M. M. Michael et al. Laws of order. 38th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages, Austin, USA, 2011.
D. Dobre, R. Guerraoui, M. Majuntke, N. Suri and M. Vukolić. The complexity of robust atomic storage. the 30th annual ACM SIGACT-SIGOPS symposium, San Jose, California, USA, 2011.
C. Delporte-Gallet, H. Fauconnier, R. Guerraoui, A.-M. Kermarrec and E. Ruppert et al. Byzantine agreement with homonyms. the 30th annual ACM SIGACT-SIGOPS symposium, San Jose, California, USA, 2011.
R. Guerraoui and M. Yabandeh. Model Checking a Networked System Without the Network. 8th USENIX Symposium on Networked Systems Design and Implementation (NSDI '11), Boston, Massachusetts, USA, 2011.
E. Gafni and R. Guerraoui. Generalized Universality. 22nd International Conference, CONCUR, Aachen, Germany, Lecture Notes in Computer Science, 2011.
V. Gramoli and R. Guerraoui. Brief Announcement: Transaction Polymorphism. 23rd Annual Symposium on Parallelism in Algorithms and Architectures, San Jose, CA, 2011.
V. Gramoli and R. Guerraoui. Democratizing Transactional Programming. Middleware 11, Lisbon, Lecture Notes in Computer Science 7049, 2011.
D. Alistarh, J. Aspnes, S. Gilbert and R. Guerraoui. The Complexity of Renaming. FOCS, Annual IEEE Symposium on Foundations of Computer Science, 2011.
R. Banabic, G. Candea and R. Guerraoui. Automated Vulnerability Discovery in Distributed Systems. 7th Workshop on Hot Topics in System Dependability (HotDep), Hong Kong, China, 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.
C. Cachin, R. Guerraoui and L. Rodrigues. Introduction to Reliable and Secure Distributed Programming. Springer, 978-3-642-15259-7, 2011.
M. Yabandeh, D. Kostic and R. Guerraoui (Dirs.). Model Checking of Distributed Algorithm Implementations. EPFL, Lausanne, 2011.
S. Gambs, R. Guerraoui, H. Harkous, F. Huc and A.-M. Kermarrec. Scalable and Secure Aggregation in Distributed Networks, 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, 2011.
R. Guerraoui and M. Yabandeh. Local Model Checking, 2011.
V. Gramoli and R. Guerraoui. Transaction Polymorphism, 2011.


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.