Rachid Guerraoui - Publications 2012

R. Guerraoui, V. Kuncak and G. Losa. Abortable Linearizable Modules, in Archive of Formal Proofs (AFP), 2012.
R. Guerraoui, V. Hadzilacos, P. Kuznetsov and S. Toueg. The Weakest Failure Detectors To Solve Quittable Consensus And Nonblocking Atomic Commit, in Siam Journal On Computing, vol. 41, num. 6, p. 1343-1379, 2012.
R. Guerraoui, V. Kuncak and G. Losa. Speculative Linearizability, in Acm Sigplan Notices, vol. 47, num. 6, p. 55-66, 2012.
D. Alistarh, S. Gilbert, R. Guerraoui and C. Travers. Generating Fast Indulgent Algorithms, in Theory Of Computing Systems, vol. 51, num. 4, p. 404-424, 2012.
D. Alistarh, S. Gilbert, R. Guerraoui and C. Travers. Of Choices, Failures and Asynchrony: The Many Faces of Set Agreement, in Algorithmica, vol. 62, p. 595-629, 2012.
R. Guerraoui, K. Huguenin, A.-M. Kermarrec, M. Monod and Y. Vigfusson. Decentralized polling with respectable participants, in Journal Of Parallel And Distributed Computing, vol. 72, p. 13-26, 2012.
D. Alistarh, M. A. Bender, S. Gilbert and R. Guerraoui. How to Allocate Tasks Asynchronously. 2012 IEEE 53rd Annual Symposium on Foundations of Computer Science (FOCS), New Brunswick, NJ, USA, 2012.
D. Alistarh, R. Guerraoui, P. Kuznetsov and G. Losa. On the cost of composing shared-memory algorithms. Proceedinbgs of the 24th ACM symposium, Pittsburgh, Pennsylvania, USA, 2012.
D. Alistarh, H. Attiya, R. Guerraoui and C. Travers. Early Deciding Synchronous Renaming in O( logf ) Rounds or Less. 19th International Colloquium, SIROCCO, Reykjavik, Iceland, Lecture Notes in Computer Science, 2012.
J. Barreto, A. Dragojevic, P. Ferreira, R. Filipe and R. Guerraoui. Unifying Thread-Level Speculation and Transactional Memory. , Lecture Notes in Computer Science, 2012.
R. Guerraoui. Special section with selected papers from PODC 2010. 29th Annual ACM Symposium on Principles of Distributed Computing, PODC, Zurich, Switzerland, 2012.
V. Gramoli, R. Guerraoui and V. Trigonakis. TM2C: A software transactional memory for many-cores. EuroSys, Bern, Switzerland, 2012.
S. Gambs, R. Guerraoui, H. Harkous, F. Huc and A.-M. Kermarrec. Scalable and Secure Polling in Dynamic Distributed Networks. 31st IEEE International Symposium on Reliable Distributed Systems, Irvine, California, 2012.
V. Bushkov, R. Guerraoui and M. Kapałka. On the liveness of transactional memory. 31st ACM Symposium on Principles of Distributed Computing, Madeira, Portugal, 2012.


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.