M. Ansar, M. Luján, K. Ch, K. Jarvis, K. Ch et al., Steal-on-abort: Dynamic Transaction Reordering to Reduce Conflicts in Transactional Memory, 4th Int'l ACM Sigplan Conference on High Performance Embedded Architectures and Compilers (HiPEAC'09), pp.4-18, 2009.

H. Attiya and A. Milani, Transactional Scheduling for Read-Dominated Workloads, 13th Int'l Conference on Principles of Distributed Systems (OPODIS'09), pp.3-17, 2009.
URL : https://hal.archives-ouvertes.fr/hal-00992692

E. Borowsky and E. Gafni, -resilient asynchronous computations, Proceedings of the twenty-fifth annual ACM symposium on Theory of computing , STOC '93, pp.91-100, 1993.
DOI : 10.1145/167088.167119
URL : https://hal.archives-ouvertes.fr/hal-00896459

E. W. Dijkstra, Solution of a Problem in Concurrent Programming Control, Communications of the ACM, vol.8, issue.9, p.69, 1968.

A. Dragojevi´cdragojevi´c, R. Guerraoui, and M. Kapa?ka, Stretching Transactional Memory, Proc. Int'l 2009 ACM SIGPLAN conference on Programming language design and implementation (PLDI '09), pp.155-165, 2009.

P. Felber, Compiler Support for STM Systems Lecture given at the TRANSFORM Initial Training School, University of Rennes, vol.1, pp.7-11, 2011.

P. Felber, F. Ch, and T. Riegel, Dynamic performance tuning of word-based software transactional memory, Proceedings of the 13th ACM SIGPLAN Symposium on Principles and practice of parallel programming , PPoPP '08, pp.237-246, 2008.
DOI : 10.1145/1345206.1345241

P. Felber, F. Ch, R. Guerraoui, and T. Harris, Transactions are Coming Back, but Are They The Same?, pp.48-58, 2008.

R. Guerraoui, H. A. Th, and V. Singh, Permissiveness in Transactional Memories, Proc. 22nd Int'l Symposium on Distributed Computing (DISC '08), pp.305-319, 2008.
DOI : 10.1007/978-3-540-87779-0_21

R. Guerraoui, M. Herlihy, and B. Pochon, Towards a Theory of Transactional Contention Managers, Proc. 24th Int'l ACM Symposium on Principles of Distributed Computing (PODC'05), pp.258-264, 2005.

R. Guerraoui, M. Kapa?ka, and P. Kouznetsov, The Weakest Failure Detectors to Boost Obstruction-freedom. Distributed Computing, pp.415-433, 2008.

R. Guerraoui and M. Kapa?ka, Principles of Transactional Memory. Synthesis Lectures on Distributed Computing Theory, 2010.

T. Harris, A. Cristal, O. S. Unsal, E. Ayguade, F. Gagliardi et al., Transactional Memory: An Overview, IEEE Micro, vol.27, issue.3, pp.8-29, 2007.
DOI : 10.1109/MM.2007.63
URL : http://hdl.handle.net/2117/28410

M. P. Herlihy, Wait-free synchronization, ACM Transactions on Programming Languages and Systems, vol.13, issue.1, pp.124-149, 1991.
DOI : 10.1145/114005.102808

M. P. Herlihy and V. Luchangco, Distributed computing and the multicore revolution, ACM SIGACT News, vol.39, issue.1, pp.62-72, 2008.
DOI : 10.1145/1360443.1360458

M. Herlihy, V. Luchangco, M. Moir, and I. W. Scherer, Software transactional memory for dynamic-sized data structures, Proceedings of the twenty-second annual symposium on Principles of distributed computing , PODC '03, pp.92-101, 2003.
DOI : 10.1145/872035.872048
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.222.1147

M. P. Herlihy and J. E. Moss, Architectural Support for Lock-free Data Structures, Proc. 20th ACM Int'l Symposium on Computer Architecture (ISCA'93), pp.289-300, 1993.
DOI : 10.1109/isca.1993.698569
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.208.4448

M. P. Herlihy and N. Shavit, The art of multiprocessor programming, Proceedings of the twenty-fifth annual ACM symposium on Principles of distributed computing , PODC '06, p.508, 2008.
DOI : 10.1145/1146381.1146382

M. P. Herlihy and J. M. Wing, Linearizability: a correctness condition for concurrent objects, ACM Transactions on Programming Languages and Systems, vol.12, issue.3, pp.463-492, 1990.
DOI : 10.1145/78969.78972

C. E. Hewitt and R. R. Atkinson, Specification and Proof Techniques for Serializers, IEEE Transactions on Software Engineering, vol.5, issue.1, pp.1-21, 1979.
DOI : 10.1109/TSE.1979.234149

C. A. Hoare, Monitors: an operating system structuring concept, Communications of the ACM, vol.17, issue.10, pp.549-557, 1974.
DOI : 10.1145/355620.361161
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.24.6394

J. Larus and K. Ch, Transactional memory, Communications of the ACM, vol.51, issue.7, pp.80-89, 2008.
DOI : 10.1145/1364782.1364800

W. Maldonado, P. Marlier, P. Felber, J. Lawall, G. Muller et al., Deadline-aware scheduling for Software Transactional Memory, 2011 IEEE/IFIP 41st International Conference on Dependable Systems & Networks (DSN), 2011.
DOI : 10.1109/DSN.2011.5958224
URL : https://hal.archives-ouvertes.fr/hal-01286605

M. M. Michael and M. L. Scott, Simple, fast, and practical non-blocking and blocking concurrent queue algorithms, Proceedings of the fifteenth annual ACM symposium on Principles of distributed computing , PODC '96, pp.267-275, 1996.
DOI : 10.1145/248052.248106
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.37.3574

M. Raynal, Synchronization is Coming Back, But Is It the Same? Keynote Speech, IEEE 22nd Int'l Conference on Advanced Information Networking and Applications (AINA'08), pp.1-10, 2008.

D. J. Rosenkrantz, R. E. Stearns, and L. M. Ph, System level concurrency control for distributed database systems, ACM Transactions on Database Systems, vol.3, issue.2, pp.178-198, 1978.
DOI : 10.1145/320251.320260

M. F. Spear, M. Silverman, L. Dalessandro, M. M. Michael, and M. L. Scott, Implementing and Exploiting Inevitability in Software Transactional Memory, 2008 37th International Conference on Parallel Processing, 2008.
DOI : 10.1109/ICPP.2008.55
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.156.9035

N. Shavit and D. Touitou, Software Transactional Memory, Distributed Computing, pp.99-116, 1997.

J. Wamhoff and F. Ch, The Universal Transactional Memory Construction, 2010.

J. Wamhoff, T. Riegel, F. Ch, and F. Felber, RobuSTM: A Robust Software Transactional Memory, Proc. 12th Int'l Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS'10), pp.388-404, 2010.
DOI : 10.1007/978-3-642-16023-3_32

A. Welc, B. Saha, and A. Adl-tabatabai, Irrevocable transactions and their applications, Proceedings of the twentieth annual symposium on Parallelism in algorithms and architectures, SPAA '08, pp.285-296, 2008.
DOI : 10.1145/1378533.1378584