A Framework for Formally Verifying Software Transactional Memory Algorithms

Lecture Notes in Computer Science - CONCUR 2012 – Concurrency Theory ◽

10.1007/978-3-642-32940-1_36 ◽

2012 ◽

pp. 516-530 ◽

Cited By ~ 11

Author(s):

Mohsen Lesani ◽

Victor Luchangco ◽

Mark Moir

Keyword(s):

Transactional Memory ◽

Software Transactional Memory

Download Full-text

Revisiting software transactional memory in Haskell

ACM SIGPLAN Notices ◽

10.1145/3241625.2976020 ◽

2018 ◽

Vol 51 (12) ◽

pp. 105-113

Author(s):

Matthew Le ◽

Ryan Yates ◽

Matthew Fluet

Keyword(s):

Transactional Memory ◽

Software Transactional Memory

Download Full-text

Formal Verification of Python Software Transactional Memory Serializability Based on the Push/Pull Semantic Model

Proceedings of the 6th Conference on the Engineering of Computer Based Systems - ECBS '19 ◽

10.1145/3352700.3352706 ◽

2019 ◽

Author(s):

Miroslav Popovic ◽

Marko Popovic ◽

Silvia Ghilezan ◽

Branislav Kordic

Keyword(s):

Formal Verification ◽

Transactional Memory ◽

Software Transactional Memory ◽

Semantic Model

Download Full-text

Coping with context switches in lock-based software transactional memory

Proceedings of the 4th Annual International Conference on Systems and Storage - SYSTOR '11 ◽

10.1145/1987816.1987831 ◽

2011 ◽

Author(s):

Yehuda Afek ◽

Yoav Cohen ◽

Adam Morrison

Keyword(s):

Transactional Memory ◽

Software Transactional Memory

Download Full-text

VectorSTM: Software Transactional Memory without Atomic Instructions

2010 Third International Joint Conference on Computational Science and Optimization ◽

10.1109/cso.2010.145 ◽

2010 ◽

Author(s):

Lin Peng ◽

Lun-guo Xie ◽

Xiao-qiang Zhang ◽

Xin-yan Xie

Keyword(s):

Transactional Memory ◽

Software Transactional Memory

Download Full-text

Software Transactional Memory Friendly Slot Schedulers

Distributed Computing and Internet Technology - Lecture Notes in Computer Science ◽

10.1007/978-3-319-04483-5_8 ◽

2014 ◽

pp. 79-85 ◽

Cited By ~ 2

Author(s):

Pooja Aggarwal ◽

Smruti R. Sarangi

Keyword(s):

Transactional Memory ◽

Software Transactional Memory

Download Full-text

Combining Lock Inference with Lock-Based Software Transactional Memory

Languages and Compilers for Parallel Computing - Lecture Notes in Computer Science ◽

10.1007/978-3-319-09967-5_19 ◽

2014 ◽

pp. 325-341 ◽

Cited By ~ 1

Author(s):

Stefan Kempf ◽

Ronald Veldema ◽

Michael Philippsen

Keyword(s):

Transactional Memory ◽

Software Transactional Memory

Download Full-text

Lightweight Identification of Captured Memory for Software Transactional Memory

Algorithms and Architectures for Parallel Processing - Lecture Notes in Computer Science ◽

10.1007/978-3-319-03859-9_2 ◽

2013 ◽

pp. 15-29

Author(s):

Fernando Miguel Carvalho ◽

João Cachopo

Keyword(s):

Transactional Memory ◽

Software Transactional Memory

Download Full-text

Adaptive Software Transactional Memory

10.31979/etd.36c7-b763 ◽

2008 ◽

Author(s):

Joel Frank

Keyword(s):

Transactional Memory ◽

Software Transactional Memory ◽

Adaptive Software

Download Full-text

Software Transactional Memory, OpenMP and Pthread Implementations of the Conjugate Gradients Method – A Preliminary Evaluation

Lecture Notes in Computer Science - High Performance Computing for Computational Science - VECPAR 2012 ◽

10.1007/978-3-642-38718-0_30 ◽

2013 ◽

pp. 300-313

Author(s):

Vincent Heuveline ◽

Sven Janko ◽

Wolfgang Karl ◽

Björn Rocker ◽

Martin Schindewolf

Keyword(s):

Transactional Memory ◽

Conjugate Gradients ◽

Preliminary Evaluation ◽

Software Transactional Memory

Download Full-text

Teaching Software Transactional Memory in Concurrency Courses with Clojure and Java

Euro-Par 2017: Parallel Processing Workshops - Lecture Notes in Computer Science ◽

10.1007/978-3-319-75178-8_22 ◽

2018 ◽

pp. 266-277

Author(s):

Antonio J. Tomeu ◽

Alberto G. Salguero ◽

Manuel I. Capel

Keyword(s):

Transactional Memory ◽

Software Transactional Memory

Download Full-text