Fixing deadlocks via lock pre-acquisitions

Yan Cai, Lingwei Cao. Fixing deadlocks via lock pre-acquisitions. In Laura K. Dillon, Willem Visser, Laurie Williams, editors, Proceedings of the 38th International Conference on Software Engineering, ICSE 2016, Austin, TX, USA, May 14-22, 2016. pages 1109-1120, ACM, 2016. [doi]

Abstract

Abstract is missing.