Efficient Data Race Detection for Async-Finish Parallelism - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Raghavan Raman, Jisheng Zhao, Vivek Sarkar, Martin T. Vechev, Eran Yahav. Efficient Data Race Detection for Async-Finish Parallelism. In Howard Barringer, Yliès Falcone, Bernd Finkbeiner, Klaus Havelund, Insup Lee, Gordon J. Pace, Grigore Rosu, Oleg Sokolsky, Nikolai Tillmann, editors, Runtime Verification - First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings. Volume 6418 of Lecture Notes in Computer Science, pages 368-383, Springer, 2010. [doi]

This author has not been identified. It may be one of the following persons:

Raghavan Raman

Look up 'Raghavan Raman' in GoogleThis author has not been identified. Look up 'Jisheng Zhao' in GoogleThis author has not been identified. It may be one of the following persons:

Vivek Sarkar

Look up 'Vivek Sarkar' in GoogleThis author has not been identified. Look up 'Martin T. Vechev' in GoogleThis author has not been identified. Look up 'Eran Yahav' in Google

runs on WebDSL