• Paulino H, Almeida Matos A, Cederquist J, Giunti M, Matos J and Ravara A. (2023). AtomiS: Data-Centric Synchronization Made Practical. Proceedings of the ACM on Programming Languages. 7:OOPSLA2. (116-145). Online publication date: 16-Oct-2023.

    https://doi.org/10.1145/3622801

  • Paulino H, Parreira D, Delgado N, Ravara A and Matos A. From atomic variables to data-centric concurrency control. Proceedings of the 31st Annual ACM Symposium on Applied Computing. (1806-1811).

    https://doi.org/10.1145/2851613.2851734

  • Zhang M, Huang J, Cao M and Bond M. (2015). Low-overhead software transactional memory with progress guarantees and strong semantics. ACM SIGPLAN Notices. 50:8. (97-108). Online publication date: 18-Dec-2015.

    https://doi.org/10.1145/2858788.2688510

  • Zhang M, Huang J, Cao M and Bond M. Low-overhead software transactional memory with progress guarantees and strong semantics. Proceedings of the 20th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming. (97-108).

    https://doi.org/10.1145/2688500.2688510

  • Kestor G, Unsal O, Cristal A and Tasiran S. T-Rex. Proceedings of the Ninth European Conference on Computer Systems. (1-12).

    https://doi.org/10.1145/2592798.2592809

  • Barnett G and Qin S. Moverness for Locks and Transactions. Proceedings of the 2012 Sixth International Symposium on Theoretical Aspects of Software Engineering. (185-192).

    https://doi.org/10.1109/TASE.2012.29

  • Tian C, Lin C, Feng M and Gupta R. (2011). Enhanced speculative parallelization via incremental recovery. ACM SIGPLAN Notices. 46:8. (189-200). Online publication date: 7-Sep-2011.

    https://doi.org/10.1145/2038037.1941580

  • Tian C, Lin C, Feng M and Gupta R. Enhanced speculative parallelization via incremental recovery. Proceedings of the 16th ACM symposium on Principles and practice of parallel programming. (189-200).

    https://doi.org/10.1145/1941553.1941580

  • Bocchino R, Heumann S, Honarmand N, Adve S, Adve V, Welc A and Shpeisman T. Safe nondeterminism in a deterministic-by-default parallel language. Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages. (535-548).

    https://doi.org/10.1145/1926385.1926447

  • Bocchino R, Heumann S, Honarmand N, Adve S, Adve V, Welc A and Shpeisman T. (2011). Safe nondeterminism in a deterministic-by-default parallel language. ACM SIGPLAN Notices. 46:1. (535-548). Online publication date: 26-Jan-2011.

    https://doi.org/10.1145/1925844.1926447

  • Abadi M, Birrell A, Harris T and Isard M. (2011). Semantics of transactional memory and automatic mutual exclusion. ACM Transactions on Programming Languages and Systems. 33:1. (1-50). Online publication date: 1-Jan-2011.

    https://doi.org/10.1145/1889997.1889999

  • Harris T, Larus J and Rajwar R. (2010). Transactional Memory, 2nd edition. Synthesis Lectures on Computer Architecture. 10.2200/S00272ED1V01Y201006CAC011. 5:1. (1-263). Online publication date: 22-Dec-2010.

    http://www.morganclaypool.com/doi/abs/10.2200/S00272ED1V01Y201006CAC011

  • Dalessandro L, Scott M and Spear M. Transactions as the foundation of a memory consistency model. Proceedings of the 24th international conference on Distributed computing. (20-34).

    /doi/10.5555/1888781.1888788

  • Tian C, Feng M and Gupta R. (2010). Supporting speculative parallelization in the presence of dynamic data structures. ACM SIGPLAN Notices. 45:6. (62-73). Online publication date: 12-Jun-2010.

    https://doi.org/10.1145/1809028.1806604

  • Tian C, Feng M and Gupta R. Supporting speculative parallelization in the presence of dynamic data structures. Proceedings of the 31st ACM SIGPLAN Conference on Programming Language Design and Implementation. (62-73).

    https://doi.org/10.1145/1806596.1806604

  • Baek W, Bronson N, Kozyrakis C and Olukotun K. Implementing and Evaluating a Model Checker for Transactional Memory Systems. Proceedings of the 2010 15th IEEE International Conference on Engineering of Complex Computer Systems. (117-126).

    https://doi.org/10.1109/ICECCS.2010.30

  • Dalessandro L, Scott M and Spear M. (2010). Transactions as the Foundation of a Memory Consistency Model. Distributed Computing. 10.1007/978-3-642-15763-9_4. (20-34).

    http://link.springer.com/10.1007/978-3-642-15763-9_4

  • Abadi M and Harris T. Perspectives on Transactional Memory. Proceedings of the 20th International Conference on Concurrency Theory. (1-14).

    https://doi.org/10.1007/978-3-642-04081-8_1

  • Shpeisman T, Adl-Tabatabai A, Geva R, Ni Y and Welc A. Towards transactional memory semantics for C++. Proceedings of the twenty-first annual symposium on Parallelism in algorithms and architectures. (49-58).

    https://doi.org/10.1145/1583991.1584012

  • Mehrara M, Hao J, Hsu P and Mahlke S. Parallelizing sequential applications on commodity hardware using a low-cost software transactional memory. Proceedings of the 30th ACM SIGPLAN Conference on Programming Language Design and Implementation. (166-176).

    https://doi.org/10.1145/1542476.1542495

  • Mehrara M, Hao J, Hsu P and Mahlke S. (2009). Parallelizing sequential applications on commodity hardware using a low-cost software transactional memory. ACM SIGPLAN Notices. 44:6. (166-176). Online publication date: 28-May-2009.

    https://doi.org/10.1145/1543135.1542495

  • Abadi M, Birrell A, Harris T, Hsieh J and Isard M. Implementation and Use of Transactional Memory with Dynamic Separation. Proceedings of the 18th International Conference on Compiler Construction: Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009. (63-77).

    https://doi.org/10.1007/978-3-642-00722-4_6

  • Abadi M, Harris T and Mehrara M. (2009). Transactional memory with strong atomicity using off-the-shelf memory protection hardware. ACM SIGPLAN Notices. 44:4. (185-196). Online publication date: 14-Feb-2009.

    https://doi.org/10.1145/1594835.1504203

  • Abadi M, Harris T and Mehrara M. Transactional memory with strong atomicity using off-the-shelf memory protection hardware. Proceedings of the 14th ACM SIGPLAN symposium on Principles and practice of parallel programming. (185-196).

    https://doi.org/10.1145/1504176.1504203

  • Bronson N, Kozyrakis C and Olukotun K. (2009). Feedback-directed barrier optimization in a strongly isolated STM. ACM SIGPLAN Notices. 44:1. (213-225). Online publication date: 21-Jan-2009.

    https://doi.org/10.1145/1594834.1480909

  • Bronson N, Kozyrakis C and Olukotun K. Feedback-directed barrier optimization in a strongly isolated STM. Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages. (213-225).

    https://doi.org/10.1145/1480881.1480909

  • Adl-Tabatabai A, Kozyrakis C and Saha B. (2009). Optimizing Memory Transactions for Multicore Systems. Multicore Processors and Systems. 10.1007/978-1-4419-0263-4_5. (145-172).

    https://link.springer.com/10.1007/978-1-4419-0263-4_5

  • Paulino H, Parreira D, Delgado N, Ravara A and Matos A. From atomic variables to data-centric concurrency control. Proceedings of the 31st Annual ACM Symposium on Applied Computing. (1806-1811).

    https://doi.org/10.1145/2851613.2851734

  • Zhang M, Huang J, Cao M and Bond M. Low-overhead software transactional memory with progress guarantees and strong semantics. Proceedings of the 20th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming. (97-108).

    https://doi.org/10.1145/2688500.2688510

  • Attiya H and Hillel E. (2013). The Cost of Privatization in Software Transactional Memory. IEEE Transactions on Computers. 62:12. (2531-2543). Online publication date: 1-Dec-2013.

    https://doi.org/10.1109/TC.2012.159

  • Crain T, Kanellou E and Raynal M. STM systems. Proceedings of the 12th international conference on Algorithms and Architectures for Parallel Processing - Volume Part I. (317-331).

    https://doi.org/10.1007/978-3-642-33078-0_23

  • Attiya H and Hillel E. The cost of privatization. Proceedings of the 24th international conference on Distributed computing. (35-49).

    /doi/10.5555/1888781.1888789

  • Upadhyaya G, Midkiff S and Pai V. (2010). Using data structure knowledge for efficient lock generation and strong atomicity. ACM SIGPLAN Notices. 45:5. (281-292). Online publication date: 1-May-2010.

    https://doi.org/10.1145/1837853.1693490

  • Upadhyaya G, Midkiff S and Pai V. Using data structure knowledge for efficient lock generation and strong atomicity. Proceedings of the 15th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming. (281-292).

    https://doi.org/10.1145/1693453.1693490

  • Attiya H and Hillel E. (2010). The Cost of Privatization. Distributed Computing. 10.1007/978-3-642-15763-9_5. (35-49).

    http://link.springer.com/10.1007/978-3-642-15763-9_5

  • Bobba J, Xiong W, Yen L, Hill M and Wood D. StealthTest. Proceedings of the 2009 18th International Conference on Parallel Architectures and Compilation Techniques. (146-155).

    https://doi.org/10.1109/PACT.2009.15