Open AccessSound predictive race detection in polynomial time
Author(s) -
Yannis Smaragdakis,
Jacob Evans,
Caitlin Sadowski,
Jaeheon Yi,
Cormac Flanagan
Publication year - 2012
Publication title -
acm sigplan notices
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.31
H-Index - 99
eISSN - 1558-1160
pISSN - 0362-1340
DOI - 10.1145/2103621.2103702
Subject(s) - computer science , race (biology) , soundness , relation (database) , time complexity , code (set theory) , programming language , theoretical computer science , algorithm , data mining , set (abstract data type) , botany , biology
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom