Back to Results
First PageMeta Content
Parallel computing / Cilk / Task parallelism / OpenMP / X10 / Programming language / Ada / Unified Parallel C / C / Computing / Computer programming / Software engineering


Efficient Data Race Detection for Async-Finish Parallelism Raghavan Raman Jisheng Zhao Vivek Sarkar
Add to Reading List

Document Date: 2011-01-15 11:59:59

Open Document

File Size: 279,51 KB

Share Result on Facebook

Company

IBM / /

/

IndustryTerm

mainstream software development / sizeable applications / dynamic analysis tool / detection algorithm / dynamic analysis algorithm / multi-core processors / /

Organization

Rice University / /

Person

Martin Vechev Eran Yahav / Raman Jisheng Zhao Vivek Sarkar / /

Position

candidate for runtime verification / programmer / /

ProgrammingLanguage

Cilk / C / Java / C++ / /

Technology

dynamic analysis algorithm / classical SP-bags algorithm / Java / detection algorithm / SP-bags algorithm / /

SocialTag