Pessimistic Software Lock-Elision, Proceedings of the 26th International Symposium on Distributed Computing, 2012. ,
DOI : 10.1007/978-3-642-33651-5_21
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.648.1897
Inherent Limitations on Disjoint-Access Parallel Implementations of Transactional Memory, Proceedings of the 21nd ACM symposium on Parallelism in algorithms and architectures, pp.69-78, 2009. ,
URL : https://hal.archives-ouvertes.fr/hal-00992693
Implementing and evaluating nested parallel transactions in software transactional memory, Proceedings of the 22nd ACM symposium on Parallelism in algorithms and architectures, SPAA '10, pp.253-262, 2010. ,
DOI : 10.1145/1810479.1810528
Leveraging parallel nesting in transactional memory, Proceedings of the 15th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, pp.91-100, 2010. ,
Consistency, isolation, and irrevocability in software transactional memory, 2011. ,
Exploring parallelism in transactional workloads, 2012. ,
Towards Formally Specifying and Verifying Transactional Memory, pp.245-261, 2009. ,
Universal Constructions that Ensure Disjoint-Access Parallelism and Wait-Freedom, Proceedings of the 31st Annual ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing, PODC 2012, pp.115-124 ,
URL : https://hal.archives-ouvertes.fr/hal-00992681
Lock-free and scalable multi-version software transactional memory, Proceedings of the 16th ACM symposium on Principles and practice of parallel programming, pp.179-188, 2011. ,
Brief announcement, Proceedings of the 2012 ACM symposium on Principles of distributed computing, PODC '12, pp.241-242 ,
DOI : 10.1145/2332432.2332480
URL : https://hal.archives-ouvertes.fr/hal-00764360
Permissiveness in Transactional Memories, Proceedings of the 22nd International Symposium on Distributed Computing, pp.305-319, 2008. ,
DOI : 10.1007/978-3-540-87779-0_21
The Semantics of Progress in Lock-Based Transactional Memory, Proceedings of the 36th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pp.404-415, 2009. ,
Principles of Transactional Memory, Synthesis Lectures on Distributed Computing Theory, vol.1, issue.1, 2010. ,
DOI : 10.2200/S00253ED1V01Y201009DCT004
Transactional Memory: Architectural Support for Lock-Free Data Structures, Proceedings of the 20th Annual International Symposium on Computer Architecture, pp.289-300, 1993. ,
DOI : 10.1109/isca.1993.698569
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.208.4448
Disjoint-access-parallel implementations of strong shared memory primitives, Proceedings of the thirteenth annual ACM symposium on Principles of distributed computing , PODC '94, pp.151-160 ,
DOI : 10.1145/197917.198079
JPaxos: State Machine Replication Based on the Paxos Protocol, 2011. ,
Moir: A Framework for Formally Verifying Software Transactional Memory Algorithms, Proceedings of the 23rd International Conference on Concurrency Theory, CONCUR 2012, pp.516-530 ,
SCORe: A Scalable One-Copy Serializable Partial Replication Protocol, Proceedings of ACM/IFIP/USENIX 13th International Middleware Conference, 2012. ,
DOI : 10.1109/71.910869
When Scalability Meets Consistency: Genuine Multiversion Update-Serializable Partial Data Replication, 2012 IEEE 32nd International Conference on Distributed Computing Systems, pp.455-465 ,
DOI : 10.1109/ICDCS.2012.55
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.307.29
Software Transactional Memory, Proceedings of the 14th Annual ACM Symposium on Principles of Distributed Computing, PODC 1995, pp.204-213 ,
Ordering-Based Semantics for Software Transactional Memory, Proceedings of the 12th International Conference on Principles of Distributed Systems, pp.275-294, 2008. ,
DOI : 10.1145/322154.322158
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.157.5141
Evaluation of blue Gene/Q hardware support for transactional memories, Proceedings of the 21st international conference on Parallel architectures and compilation techniques, PACT '12, pp.127-136 ,
DOI : 10.1145/2370816.2370836
Model-Driven Comparison of State-Machinebased and Deferred-Update Replication Schemes, Proceedings of the 31st IEEE International Symposium on Reliable Distributed Systems, 2012. ,