Jacob Burnim, Tayfun Elmas, George C. Necula, Koushik Sen. NDetermin: inferring nondeterministic sequential specifications for parallelism correctness. In J. Ramanujam, P. Sadayappan, editors, Proceedings of the 17th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPOPP 2012, New Orleans, LA, USA, February 25-29, 2012. pages 329-330, ACM, 2012. [doi]
Abstract is missing.