Efficient Lock Free Privatization, Proc. 14th Int'l conference on Principles of Distributed Systems (OPODIS'10), pp.333-347, 2010. ,
DOI : 10.1109/TPDS.2008.167
Towards a Universal Construction for Transaction-based Multiprocess Programs, Proc. 13th Int'l Conference on Distributed Computing and Networking (ICDCN'12), pp.61-75, 2012. ,
URL : https://hal.archives-ouvertes.fr/inria-00576755
Strong Isolation is a Weak Idea, Proc. Workshop on transactional memory, 2009. ,
Implicit privatization using private transactions, Proc. Workshop on transactional memory (TRANSACT'10), 2010. ,
Transactional Locking II, Proc. 20th Int'l Symp. on Distributed Computing (DISC'06), pp.194-208, 2006. ,
DOI : 10.1007/11864219_14
On the correctness of transactional memory, Proceedings of the 13th ACM SIGPLAN Symposium on Principles and practice of parallel programming , PPoPP '08, pp.175-184, 2008. ,
DOI : 10.1145/1345206.1345233
Transactional memory: architectural support for lock-free data structures, Proc. of the 20th annual Int'l Symposium on Computer Architecture (ISCA '93), pp.289-300, 1993. ,
A Versatile STM Protocol with Invisible Read Operations That Satisfies the Virtual World Consistency Condition, 16th Colloquium on Structural Information and Communication Complexity (SIROCCO'09), pp.266-280, 2009. ,
DOI : 10.1007/s004460050065
URL : https://hal.archives-ouvertes.fr/inria-00440375
Store Atomicity for Transactional Memory, Electronic Notes in Theoretical Computer Science, vol.174, issue.9, pp.117-137, 2007. ,
DOI : 10.1016/j.entcs.2007.04.009
Subtleties of Transactional Memory Atomicity Semantics, IEEE Computer Architecture Letters, vol.5, issue.2, 2006. ,
Towards a Fully Pessimistic STM Model, Proc. Workshop on transactional memory, 2012. ,
An effective hybrid transactional memory system with strong isolation guarantees, ACM SIGARCH Computer Architecture News, vol.35, issue.2, pp.69-80, 2007. ,
DOI : 10.1145/1273440.1250673
The serializability of concurrent database updates, Journal of the ACM, vol.26, issue.4, pp.631-653, 1979. ,
DOI : 10.1145/322154.322158
Dynamic optimization for efficient strong atomicity, In: ACM SIGPLAN Noticers, issue.10, pp.43181-194, 2008. ,
Delaunay Triangulation with Transactions and Barriers, 2007 IEEE 10th International Symposium on Workload Characterization, pp.107-113, 2007. ,
DOI : 10.1109/IISWC.2007.4362186
Software transactional memory. Software Transactional Memory, Distributed Computing, pp.99-116, 1997. ,
Enforcing isolation and ordering in STM, In: ACM SIGPLAN Noticers, issue.6, pp.4278-88, 2007. ,
Ordering-Based Semantics for Software Transactional Memory, Proc 12th Int'l Conf. on Principles of Distributed Systems (OPODIS '08), pp.275-294, 2008. ,
DOI : 10.1145/322154.322158
Privatization techniques for software transactional memory, Proceedings of the twenty-sixth annual ACM symposium on Principles of distributed computing, PODC '07, pp.338-339, 2007. ,
DOI : 10.1145/1281100.1281161