NDSeq: runtime checking for nondeterministic sequential specifications of parallel correctness

Jacob Burnim, Tayfun Elmas, George C. Necula, Koushik Sen. NDSeq: runtime checking for nondeterministic sequential specifications of parallel correctness. In Mary W. Hall, David A. Padua, editors, Proceedings of the 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2011, San Jose, CA, USA, June 4-8, 2011. pages 401-414, ACM, 2011. [doi]

Authors

Jacob Burnim

This author has not been identified. Look up 'Jacob Burnim' in Google

Tayfun Elmas

This author has not been identified. Look up 'Tayfun Elmas' in Google

George C. Necula

This author has not been identified. Look up 'George C. Necula' in Google

Koushik Sen

This author has not been identified. Look up 'Koushik Sen' in Google