Stefan Kempf, Ronald Veldema, Michael Philippsen. Combining Lock Inference with Lock-Based Software Transactional Memory. In Calin Cascaval, Pablo Montesinos, editors, Languages and Compilers for Parallel Computing - 26th International Workshop, LCPC 2013, San Jose, CA, USA, September 25-27, 2013. Revised Selected Papers. Volume 8664 of Lecture Notes in Computer Science, pages 325-341, Springer, 2013. [doi]
Abstract is missing.