Rachid Guerraoui


Publications 2009



Frey, D., Guerraoui, R., Kermarrec, A.-M., Monod, M. and Quéma, V. Stretching Gossip with Live Streaming. Proceedings of the 39th IFIP/IEEE International Conference on Dependable Systems and Networks. IEEE DSN 2009. [detailed record] [pdf] [bibtex]

Dragojevic, A., Singh, A., Guerraoui, R. and Singh, V. Preventing versus Curing: Avoiding Conflicts in Transactional Memories. Twenty-Eighth Annual ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing.  ACM PODC 2009. [detailed record] [pdf] [bibtex]

Dragojevic, A., Rachid, G. and Kapalka, M. (2009) Stretching Transactional Memory. ACM SIGPLAN 2009 Conference on Programming Languages Design and Implementation. ACM PLDI 2009. [detailed record] [pdf] [bibtex]

Gilbert, S., Guerraoui, R., Kowalski, D. and Newport, C. (2009) Interference-Resilient Information Exchange. Proceedings of the 28th Conference on Computer Communications. IEEE Infocom 2009.  [detailed record] [pdf] [bibtex]

Guerraoui, R. and Kapalka, M. (2009) The Semantics of Progress in Lock-Based Transactional Memory. Proceedings of the 36th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. ACM POPL 2009. [detailed record] [pdf] [bibtex]

Delporte-Gallet, C., Fauconnier, H., Guerraoui, R. and Tielmann, A. (2009) The Disagreement Power of an Adversary. Proceedings of the 23rd International Symposium on Distributed Computing. DISC 2009 (Best Paper).   [detailed record] [pdf] [bibtex]

Guerraoui, R., Huguenin, K., Kermarrec, A.-M. and Monod, M. (2009) Decentralized Polling with Respectable Participants. Proceedings of the 13th International Conference On Principles of DIstributed Systems. OPODIS 2009 (Best Student Paper). [detailed record] [pdf] [bibtex]

Alistarh, D., Gilbert, S., Guerraoui, R. and Travers, C. (2009) Of Choices, Failures and Asynchrony: The Many Faces of Set Agreement. Proceedings of the 20th International Symposium on Algorithms and Computation.  ISAAC 2009. [detailed record] [pdf] [bibtex]

Felber, P., Gramoli, V. and Guerraoui, R. (2009) Elastic Transactions. 23rd International Symposium on Distributed Computing, pp. 93-107. DISC 2009. [detailed record] [bibtex]

Frey, D., Guerraoui, R., Kermarrec, A.-M., Koldehofe, B., Mogensen, M., Monod, M. and Quéma, V. (2009) Heterogeneous Gossip. Proceedings of the 10th ACM/IFIP/USENIX International Middleware Conference. ACM Middleware 2009. [detailed record] [pdf] [bibtex]

Guerraoui, R. and Kapalka, M. (2009) The Theory of Transactional Memory. Bulletin of the EATCS, (97). [detailed record] [pdf] [bibtex]

Dragojevic, A., Felber, P., Gramoli, V. and Guerraoui, R. (2009) Why STM can be more than a Research Toy. Technical Report, 2009. [detailed record] [pdf] [bibtex]

Spring, J.H., Pizlo, F., Guerraoui, R. and Vitek, J. (2009) Reflexes: Abstractions for Integrating Highly Responsive Tasks into Java Applications. ACM TECS Special Issue on Java Technologies for Real-Time and Embedded Systems. ACM JTRES 2009. [detailed record] [bibtex]

Dolev, S., Gilbert, S., Guerraoui, R., Kuhn, F. and Newport, C. (2009) The Wireless Synchronization Problem. Proceedings of the 28th Annual Symposium on Principles of Distributed Computing. ACM PODC 2009 [detailed record] [pdf] [bibtex]

Guerraoui, R. and Kapalka, M. (2009) Transactional Memory: Glimmer of a Theory. Proceedings of the 21st International Conference on Computer Aided Verification. CAV 2009. [detailed record] [pdf] [bibtex]

Attiya, H., Guerraoui, R., Hendler, D. and Kuznetsov, P. (2009) The Complexity of Obstruction-Free Implementations. Journal of the ACM.  [detailed record] [pdf] [bibtex]

Cunei, A., Guerraoui, R., Spring, J.H., Privat, J. and Vitek, J. (2009) High-Performance Transactional Event Processing. Proceedings of the 11th international conference on Coordination Models and Languages. [detailed record] [bibtex]

Guerraoui, R. and Ruppert, E. (2009) Names Trump Malice: Tiny Mobile Agents Can Tolerate Byzantine Failures. 36th International Colloquium on Automata, Languages and Programming. ICALP 2009. [detailed record] [pdf] [bibtex]

Guerraoui, R., Henzinger, T.A. and Singh, V. (2009) Software Transactional Memory on Relaxed Memory Models. Proceedings of the 21st International Conference on Computer Aided Verification. CAV 2009. [detailed record] [bibtex]

Guerraoui, R. and Kapalka, M. (2009) How Live Can a Transactional Memory Be? Technical Report, 2009. [detailed record] [pdf] [bibtex]