Adarsh Yoga, Santosh Nagarakatte. Atomicity violation checker for task parallel programs. In Björn Franke, Youfeng Wu, Fabrice Rastello, editors, Proceedings of the 2016 International Symposium on Code Generation and Optimization, CGO 2016, Barcelona, Spain, March 12-18, 2016. pages 239-249, ACM, 2016. [doi]
Abstract is missing.