Bushkov, Victor; Guerraoui, Rachid; Kapałka, Michał On the liveness of transactional memory. (English) Zbl 1301.68089 Proceedings of the 2012 ACM symposium on principles of distributed computing, PODC ’12, Funchal, Portugal, July 16–18, 2012. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-1450-3). 9-18 (2012). MSC: 68N19 PDFBibTeX XMLCite \textit{V. Bushkov} et al., in: Proceedings of the 31st ACM symposium on principles of distributed computing, PODC '12, Funchal, Portugal, July 16--18, 2012. New York, NY: Association for Computing Machinery (ACM). 9--18 (2012; Zbl 1301.68089) Full Text: DOI Link
Guerraoui, Rachid; Kapalka, Michal The semantics of progress in lock-based transactional memory. (English) Zbl 1315.68065 Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’09, Savannah, GA, USA, January 18–24, 2009. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-60558-379-2). 404-415 (2009). MSC: 68N19 68Q55 PDFBibTeX XMLCite \textit{R. Guerraoui} and \textit{M. Kapalka}, in: Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL '09, Savannah, GA, USA, January 18--24, 2009. New York, NY: Association for Computing Machinery (ACM). 404--415 (2009; Zbl 1315.68065) Full Text: DOI Link
Guerraoui, Rachid; Henzinger, Thomas A.; Singh, Vasu Software transactional memory on relaxed memory models. (English) Zbl 1242.68162 Bouajjani, Ahmed (ed.) et al., Computer aided verification. 21st international conference, CAV 2009, Grenoble, France, June 26–July 2, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-02657-7/pbk). Lecture Notes in Computer Science 5643, 321-336 (2009). MSC: 68Q60 68N19 PDFBibTeX XMLCite \textit{R. Guerraoui} et al., Lect. Notes Comput. Sci. 5643, 321--336 (2009; Zbl 1242.68162) Full Text: DOI
Guerraoui, Rachid; Kapałka, Michał Transactional memory: glimmer of a theory (invited paper). (English) Zbl 1242.68056 Bouajjani, Ahmed (ed.) et al., Computer aided verification. 21st international conference, CAV 2009, Grenoble, France, June 26–July 2, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-02657-7/pbk). Lecture Notes in Computer Science 5643, 1-15 (2009). MSC: 68N19 PDFBibTeX XMLCite \textit{R. Guerraoui} and \textit{M. Kapałka}, Lect. Notes Comput. Sci. 5643, 1--15 (2009; Zbl 1242.68056) Full Text: DOI
Delporte-Gallet, Carole; Fauconnier, Hugues; Guerraoui, Rachid; Pochon, Bastian The perfectly synchronized round-based model of distributed computing. (English) Zbl 1115.68030 Inf. Comput. 205, No. 5, 783-815 (2007). MSC: 68M14 68M15 68N19 PDFBibTeX XMLCite \textit{C. Delporte-Gallet} et al., Inf. Comput. 205, No. 5, 783--815 (2007; Zbl 1115.68030) Full Text: DOI
Guerraoui, Rachid; Vukolić, Marko How fast can a very robust read be? (English) Zbl 1314.68157 Proceedings of the 25th annual ACM symposium on principles of distributed computing, PODC ’06, Denver, CO, USA, July 23–26, 2006. New York, NY: Association for Computing Machinery (ACM) (ISBN 1-59593-384-0). 248-257 (2006). MSC: 68Q25 68M14 68M15 68M20 68N19 68Q17 68W15 PDFBibTeX XMLCite \textit{R. Guerraoui} and \textit{M. Vukolić}, in: Proceedings of the 25th annual ACM symposium on principles of distributed computing, PODC '06, Denver, CO, USA, July 23--26, 2006. New York, NY: Association for Computing Machinery (ACM). 248--257 (2006; Zbl 1314.68157) Full Text: DOI
Guerraoui, Rachid; Herlihy, Maurice; Pochon, Bastian Toward a theory of transactional contention managers. (English) Zbl 1314.68088 Proceedings of the 24th annual ACM symposium on principles of distributed computing, PODC ’05, Las Vegas, NV, USA, July 17–20, 2005. New York, NY: Association for Computing Machinery (ACM) (ISBN 1-58113-994-2). 258-264 (2005). MSC: 68M20 68M14 68N19 68Q10 68W05 68W15 PDFBibTeX XMLCite \textit{R. Guerraoui} et al., in: Proceedings of the 24th annual ACM symposium on principles of distributed computing, PODC '05, Las Vegas, NV, USA, July 17--20, 2005. New York, NY: Association for Computing Machinery (ACM). 258--264 (2005; Zbl 1314.68088) Full Text: DOI Link
Dutta, Partha; Guerraoui, Rachid; Levy, Ron R.; Chakraborty, Arindam How fast can a distributed atomic read be? (English) Zbl 1321.68071 Proceedings of the 23rd annual ACM symposium on principles of distributed computing, PODC ’04, St. Johns, Newfoundland, Canada, July 25–28, 2004. New York, NY: Association for Computing Machinery (ACM) (ISBN 1-58113-802-4). 236-245 (2004). MSC: 68M14 68N19 68P10 68Q25 68W15 PDFBibTeX XMLCite \textit{P. Dutta} et al., in: Proceedings of the 23rd annual ACM symposium on principles of distributed computing, PODC '04, St. Johns, Newfoundland, Canada, July 25--28, 2004. New York, NY: Association for Computing Machinery (ACM). 236--245 (2004; Zbl 1321.68071) Full Text: DOI
Kienzle, Jörg; Guerraoui, Rachid AOP: Does it make sense? The case of concurrency and failures. (English) Zbl 1049.68800 Magnusson, Boris (ed.), ECOOP 2002 - object-oriented programming. 16th European conference, Málaga, Spain, June 10–14, 2002. Proceedings. Berlin: Springer (ISBN 3-540-43759-2). Lect. Notes Comput. Sci. 2374, 37-61 (2002). MSC: 68U99 68N19 PDFBibTeX XMLCite \textit{J. Kienzle} and \textit{R. Guerraoui}, Lect. Notes Comput. Sci. 2374, 37--61 (2002; Zbl 1049.68800) Full Text: Link
Boichat, Romain; Frølund, Svend; Guerraoui, Rachid Open consensus. (English) Zbl 1008.68523 Concurrency Comput. Pract. Exp. 13, No. 14, 1215-1245 (2001). MSC: 68U99 68N19 PDFBibTeX XMLCite \textit{R. Boichat} et al., Concurrency Comput. Pract. Exp. 13, No. 14, 1215--1245 (2001; Zbl 1008.68523) Full Text: DOI
Eugster, Patrick Th.; Boichat, Romain; Guerraoui, Rachid; Sventek, Joe Effective multicast programming in large scale distributed systems. (English) Zbl 1008.68519 Concurrency Comput. Pract. Exp. 13, No. 6, 421-447 (2001). MSC: 68U99 68N19 68M14 PDFBibTeX XMLCite \textit{P. Th. Eugster} et al., Concurrency Comput. Pract. Exp. 13, No. 6, 421--447 (2001; Zbl 1008.68519) Full Text: DOI
Frølund, Svend; Guerraoui, Rachid X-ability, a theory of replication. (English) Zbl 1314.68062 Proceedings of the 19th annual ACM symposium on principles of distributed computing, PODC ’00, Portland, OR, USA, July 16–19, 2000. New York, NY: Association for Computing Machinery (ACM) (ISBN 1-58113-183-6). 229-237 (2000). MSC: 68M14 68N19 68M20 68Q55 68U35 PDFBibTeX XMLCite \textit{S. Frølund} and \textit{R. Guerraoui}, in: Proceedings of the 19th annual ACM symposium on principles of distributed computing, PODC '00, Portland, OR, USA, July 16--19, 2000. New York, NY: Association for Computing Machinery (ACM). 229--237 (2000; Zbl 1314.68062) Full Text: DOI
Guerraoui, Rachid; Eugster, Patrick; Felber, Pascal; Garbinato, Benoît; Mazouni, Karim Experiences with object group systems. (English) Zbl 1009.68861 Software. Practice & Experience 30, No. 12, 1375-1404 (2000). MSC: 68U99 68N19 PDFBibTeX XMLCite \textit{R. Guerraoui} et al., Softw., Pract. Exper. 30, No. 12, 1375--1404 (2000; Zbl 1009.68861) Full Text: DOI