LockSTM: Mixing Locks and Transactional Memory

This paper presents a system that infers a locking strategy, identifies problematic atomic sections and creates a hybrid solution, and argues the process is sound and reports experimental results.