Justin Emile Gottschlich, Gilles Pokam, Cristiano Pereira, Youfeng Wu. Concurrent predicates: A debugging technique for every parallel programmer. In Proceedings of the 22nd International Conference on Parallel Architectures and Compilation Techniques, Edinburgh, United Kingdom, September 7-11, 2013. pages 331-340, IEEE, 2013. [doi]
Abstract is missing.