Correctness

[Cohen et al., 2007]
 
Show BibTeX entryVisit the webpage of the paper
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]
 
Show BibTeX entryDownload Article (pdf-file)
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]
 
Show BibTeX entryDownload Article (pdf-file)
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]
 
Show BibTeX entryDownload Article (pdf-file)
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]
 
Show BibTeX entryDownload Article (pdf-file)
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]
 
Show BibTeX entryDownload Article (pdf-file)Visit the webpage of the paper
Brian David Carlstrom (Jun 2008).
Programming with Transactional Memory.
PhD thesis, Stanford University.
[Guerraoui et al., 2008]
 
Show BibTeX entryDownload Article (pdf-file)Visit the webpage of the paper
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]
 
Show BibTeX entryDownload Article (pdf-file)Visit the webpage of the paper
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]
 
Show BibTeX entryDownload Article (pdf-file)Visit the webpage of the paper
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]
 
Show BibTeX entryDownload Article (pdf-file)
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]
 
Show BibTeX entryDownload Article (pdf-file)
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]
 
Show BibTeX entryDownload Article (pdf-file)
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]
 
Show BibTeX entryDownload Article (pdf-file)
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]
 
Show BibTeX entry
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]
 
Show BibTeX entryDownload Article (pdf-file)
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]
 
Show BibTeX entryVisit the webpage of the paper
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]
 
Show BibTeX entryDownload Article (pdf-file)
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]
 
Show BibTeX entry
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]
 
Show BibTeX entry
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]
 
Show BibTeX entry
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]
 
Show BibTeX entryVisit the webpage of the paper
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.