Alistarh, D., Gilbert, S., Guerraoui, R. and Travers, C. (2008) How to solve consensus in the smallest window of synchrony. 22nd International Symposium on Distributed Computing (DISC). [detailed record] [pdf] [bibtex]

Guerraoui, R., Henzinger, T.A. and Singh, V. (2008) Permissiveness in Transactional Memories. 22nd International Symposium on Distributed Computing (DISC). [detailed record] [pdf] [bibtex]

Dutta, P., Guerraoui, R. and Levy, R.R. (2008) Optimistic Erasure-Coded Distributed Storage. 22nd International Symposium on Distributed Computing (DISC). [detailed record] [pdf] [bibtex]

Delporte-Gallet, C., Fauconnier, H., Guerraoui, R. and Tielmann, A. (2008) The Weakest Failure Detector for Message Passing Set-Agreement.  22nd International Symposium on Distributed Computing (DISC). [detailed record] [pdf] [bibtex]

Guerraoui, R., Henzinger, T.A. and Singh, V. (2008) Completeness and Nondeterminism in Model Checking Transactional Memories.  19th International Conference on Concurrency Theory (Concur). [detailed record] [pdf] [bibtex]

Guerraoui, R., Herlihy, M. and Pochon, B. (2008) A Topological Treatment of Early-Deciding Set-Agreement. Theoretical Computer Science Journal. [detailed record] [pdf] [bibtex]

Delporte-Gallet, C., Fauconnier, H. and Guerraoui, R. (2008) Sharing is Harder than Agreeing. 27th ACM Symposium on Principles of Distributed Computing (PODC). [detailed record] [pdf] [bibtex]

Georgiou, C., Gilbert, S., Guerraoui, R. and Kowalski, D. (2008) On the Complexity of Asynchronous Gossip.  27th ACM Symposium on Principles of Distributed Computing (PODC).  [detailed record] [bibtex]

Dolev, S., Gilbert, S., Guerraoui, R. and Newport, C. (2008) Secure Communication Over Radio Channels. 27th ACM Symposium on Principles of Distributed Computing (PODC).  [detailed record] [pdf] [bibtex]

Guerraoui, R. and Kuznetsov, P. (2008) The gap in circumventing the impossibility of consensus. Journal of Computer and System Sciences, 74 pp. 823-830. [detailed record] [pdf] [bibtex]

Guerraoui, R. and Kapalka, M. (2008) On Obstruction-Free Transactions. 20th ACM Symposium on Parallelism in Algorithms and Architectures (SPAA). [detailed record] [pdf] [bibtex]

Attiya, H., Guerraoui, R. and Ruppert, E. (2008) Partial Snapshot Objects. 20th ACM Symposium on Parallelism in Algorithms and Architectures (SPAA). [detailed record] [pdf] [bibtex]

Auerbach, J., Bacon, D.F., Guerraoui, R., Spring, J.H. and Vitek, J. (2008) Unified Restricted Thread Programming Model for Java. ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES).  [detailed record] [bibtex]

Chockler, G., Guerraoui, R., Keidar, I. and Vukolic, M. (2008) Reliable Distributed Storage. IEEE Computer. [detailed record] [pdf] [bibtex]

Guerraoui, R., Henzinger, T. and Singh, V. (2008) Model Checking Transactional Memories. ACM SIGPLAN 2008 Conference on Programming Language Design and Implementation (PLDI). [detailed record] [pdf] [bibtex]

Guerraoui, R. and Kapalka, M. (2008) On the Correctness of Transactional Memory. 13th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPoPP). [detailed record] [pdf] [bibtex]

Alavi, H.S., Gilbert, S. and Guerraoui, R. (2008) Extensible Encoding of Type Hierarchies. ACM Symposium on Principles of Programming Languages (POPL). [detailed record] [pdf] [bibtex]

Dragojevic, A., Guerraoui, R. and Kapalka, M. (2008) Dividing Transactional Memories by Zero. Transact.  [detailed record] [pdf] [bibtex]