Verifying Correctness of Transactional Memories.
In: Proceedings of the 7th International Conference on Formal Methods in Computer-Aided Design (FMCAD). pp. 37--44.
Correctness |
| [Cohen et al., 2007]
|
Ariel Cohen and John W. O'Leary and Amir Pnueli and Mark R. Tuttle and Lenore D. Zuck (November 2007). Verifying Correctness of Transactional Memories. In: Proceedings of the 7th International Conference on Formal Methods in Computer-Aided Design (FMCAD). pp. 37--44. |
[Cohen et al., 2008]
|
Ariel Cohen and Amir Pnueli and Lenore Zuck (feb 2008). Verification of Transactional Memories that Support Non-Transactional Memory Accesses. In: TRANSACT~'08: 3rd Workshop on Transactional Computing. |
| [Dragojevi\'c et al., 2008]
|
Aleksandar Dragojevi\'c and Rachid Guerraoui and Micha\l Kapa\lka (feb 2008). Dividing Transactional Memories by Zero. In: TRANSACT~'08: 3rd Workshop on Transactional Computing. |
| [Tasiran, 2008]
|
Serdar Tasiran (apr 2008). A Compositional Method for Verifying Software Transactional Memory Implementations. Technical Report Nr. MSR-TR-2008-56. Microsoft Research. |
| [HU and Hutton, 2008]
|
Liyang HU and Graham Hutton (May 2008). Towards a Verified Implementation of Software Transactional Memory. In: Proceedings of the Symposium on Trends in Functional Programming. |
| [Carlstrom, 2008]
|
Brian David Carlstrom (Jun 2008). Programming with Transactional Memory. PhD thesis, Stanford University. |
| [Guerraoui et al., 2008]
|
Rachid Guerraoui and Thomas Henzinger and Vasu Singh (aug 2008). Completeness and Nondeterminism in Model Checking Transactional Memories". In: CONCUR~'08: Proc. 19th Conference on Concurrency Theory. pp. 21--35. |
| [O'Leary et al., 2008]
|
John O'Leary and Bratin Saha and Mark R. Tuttle (aug 2008). Model checking transactional memory with Spin (brief announcement). In: PODC~'08: Proceedings of the twenty-seventh ACM symposium on Principles of distributed computing. pp. 424--424. |
| [Gramoli et al., 2008]
|
Vincent Gramoli and Derin Harmanci and Pascal Felber (Dec 2008). Toward a Theory of Input Acceptance for Transactional Memories. In: Proceedings of the 12th International Conference On Principles Of Distributed Systems (OPODIS'08). Volume 5401 of LNCS. pp. 527--533. Published by Springer-Verlag. |
| [Guerraoui and Kapalka, 2008]
|
Rachid Guerraoui and Michal Kapalka ( 2008). On the Correctness of Transactional Memory. In: Proceedings of the 13th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPoPP'08). |
| [Guerraoui et al., 2008]
|
Rachid Guerraoui and Thomas A. Henzinger and Barbara Jobstmann and Vasu Singh ( 2008). Model Checking Transactional Memories. In: ACM SIGPLAN 2008 Conference on Programming Language Design and Implementation (PLDI). Published by ACM. |
| [Guerraoui et al., 2008]
|
Rachid Guerraoui and Thomas A. Henzinger and Vasu Singh ( 2008). Nondeterminism and Completeness in Transactional Memories. In: Proceedings of the 19th International Conference on Concurrency Theory (CONCUR). Published by Springer. |
| [Harmanci et al., 2009]
|
Derin Harmanci and Pascal Felber and Vincent Gramoli and Christof Fetzer (feb 2009). TMUNIT: Testing Transactional Memories. In: TRANSACT~'09: 4th Workshop on Transactional Computing. |
| [O'Leary et al., 2009]
|
John O'Leary and Bratin Saha and Mark R. Tuttle (jun 2009). Model checking transactional memory with Spin. In: ICDCS~'09: Proc. 29th International Conference on Distributed Computing Systems. |
| [Felber et al., 2009]
|
Pascal Felber and Vincent Gramoli and Rachid Guerraoui (Sep 2009). Elastic Transactions. In: Proceedings of the 23rd International Symposum on Distributed Computing (DISC'09). Volume 5805 of LNCS. pp. 93--107. Published by Springer-Verlag. |
| [Guerraoui et al., 2009]
|
Rachid Guerraoui and Thomas A. Henzinger and Vasu Singh ( 2009). Software Transactional Memory on Relaxed Memory Models. In: Proceedings of the 21st International Conference on Computer Aided Verification. Published by Springer. |
| [Gramoli et al., 2010]
|
Vincent Gramoli and Derin Harmanci and Pascal Felber (mar 2010). On the Input Acceptance of Transactional Memory. In: Parallel Processing Letters (PPL), 20(1):31--50. |
| [Harmanci et al., 2010]
|
Derin Harmanci and Vincent Gramoli and Pascal Felber and Christof Fetzer (March 2010). Extensible Transactional Memory Testbed. In: Journal of Parallel and Distributed Computing - Special Issue on Transactional Memory (JPDC), 70(2010):1053--1067. |
| [Sinha and Malik, 2010]
|
Arnab Sinha and Sharad Malik ( 2010). Runtime Checking of Serializability in Software Transactional Memory. In: IPDPS. pp. 1-12. Published by IEEE. |
| [Teixeira et al., 2010]
|
Bruno Teixeira and Eitan Lourenç Joãand Farchi and Ricardo Dias and Diogo Sousa ( 2010). Detection of Transactional Memory Anomalies Using Static Analysis. In: Proceedings of the 8th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging. PADTAD '10. New York, NY, USA, pp. 26--36. Published by ACM. |
| [Bieniusa and Thiemann, 2011]
|
Annette Bieniusa and Peter Thiemann ( 2011). Proving Isolation Properties for Software Transactional Memory. In: Programming Languages and Systems - 20th European Symposium on Programming, ESOP 2011. Proceedings. Volume 6602 of Lecture Notes in Computer Science. pp. 38-56. Published by Springer. |