Rachid Guerraoui


Publications 2008



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. and Vukolic, M. (2008) A Scalable and Oblivious Atomicity Assertion.  19th International Conference on Concurrency Theory (Concur), 2008. [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]