{"id":"https://openalex.org/W2058157553","doi":"https://doi.org/10.1109/ase.2013.6693064","title":"Efficient data race prediction with incremental reasoning on time-stamped lock history","display_name":"Efficient data race prediction with incremental reasoning on time-stamped lock history","publication_year":2013,"publication_date":"2013-11-01","ids":{"openalex":"https://openalex.org/W2058157553","doi":"https://doi.org/10.1109/ase.2013.6693064","mag":"2058157553"},"language":"en","primary_location":{"id":"doi:10.1109/ase.2013.6693064","is_oa":false,"landing_page_url":"https://doi.org/10.1109/ase.2013.6693064","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2013 28th IEEE/ACM International Conference on Automated Software Engineering (ASE)","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5085310714","display_name":"Malay Ganai","orcid":"https://orcid.org/0000-0003-0593-3419"},"institutions":[{"id":"https://openalex.org/I4210107353","display_name":"NEC (United States)","ror":"https://ror.org/01v791m31","country_code":"US","type":"company","lineage":["https://openalex.org/I118347220","https://openalex.org/I4210107353"]},{"id":"https://openalex.org/I20089843","display_name":"Princeton University","ror":"https://ror.org/00hx57361","country_code":"US","type":"education","lineage":["https://openalex.org/I20089843"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Malay K. Ganai","raw_affiliation_strings":["NEC Labs America, Princeton, USA","NEC-Labs America, Princeton, NJ, USA"],"affiliations":[{"raw_affiliation_string":"NEC Labs America, Princeton, USA","institution_ids":["https://openalex.org/I4210107353"]},{"raw_affiliation_string":"NEC-Labs America, Princeton, NJ, USA","institution_ids":["https://openalex.org/I20089843"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5085310714"],"corresponding_institution_ids":["https://openalex.org/I20089843","https://openalex.org/I4210107353"],"apc_list":null,"apc_paid":null,"fwci":0.3152,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.60726721,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":null,"issue":null,"first_page":"37","last_page":"47"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9994000196456909,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9994000196456909,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9988999962806702,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11005","display_name":"Radiation Effects in Electronics","score":0.9972000122070312,"subfield":{"id":"https://openalex.org/subfields/2208","display_name":"Electrical and Electronic Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8047630786895752},{"id":"https://openalex.org/keywords/reachability","display_name":"Reachability","score":0.6121025085449219},{"id":"https://openalex.org/keywords/overhead","display_name":"Overhead (engineering)","score":0.47569143772125244},{"id":"https://openalex.org/keywords/lock","display_name":"Lock (firearm)","score":0.46808725595474243},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.30928605794906616},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.10829105973243713}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8047630786895752},{"id":"https://openalex.org/C136643341","wikidata":"https://www.wikidata.org/wiki/Q1361526","display_name":"Reachability","level":2,"score":0.6121025085449219},{"id":"https://openalex.org/C2779960059","wikidata":"https://www.wikidata.org/wiki/Q7113681","display_name":"Overhead (engineering)","level":2,"score":0.47569143772125244},{"id":"https://openalex.org/C174839445","wikidata":"https://www.wikidata.org/wiki/Q1134386","display_name":"Lock (firearm)","level":2,"score":0.46808725595474243},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.30928605794906616},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.10829105973243713},{"id":"https://openalex.org/C78519656","wikidata":"https://www.wikidata.org/wiki/Q101333","display_name":"Mechanical engineering","level":1,"score":0.0},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/ase.2013.6693064","is_oa":false,"landing_page_url":"https://doi.org/10.1109/ase.2013.6693064","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2013 28th IEEE/ACM International Conference on Automated Software Engineering (ASE)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":46,"referenced_works":["https://openalex.org/W1522334395","https://openalex.org/W1546106366","https://openalex.org/W1570482200","https://openalex.org/W1575599371","https://openalex.org/W1582681289","https://openalex.org/W1587449012","https://openalex.org/W1600422503","https://openalex.org/W1652742168","https://openalex.org/W1705394006","https://openalex.org/W1972544179","https://openalex.org/W1977476643","https://openalex.org/W1994127412","https://openalex.org/W2002179840","https://openalex.org/W2025819261","https://openalex.org/W2055965695","https://openalex.org/W2102640269","https://openalex.org/W2112521545","https://openalex.org/W2116030344","https://openalex.org/W2116746874","https://openalex.org/W2120027538","https://openalex.org/W2120476011","https://openalex.org/W2127989655","https://openalex.org/W2141975313","https://openalex.org/W2144249474","https://openalex.org/W2152777241","https://openalex.org/W2156883715","https://openalex.org/W2159812975","https://openalex.org/W2159856414","https://openalex.org/W2162339514","https://openalex.org/W2164538023","https://openalex.org/W2167744164","https://openalex.org/W2169870841","https://openalex.org/W2178845291","https://openalex.org/W2911806870","https://openalex.org/W4235116491","https://openalex.org/W4239813889","https://openalex.org/W4285719527","https://openalex.org/W6631212040","https://openalex.org/W6632648346","https://openalex.org/W6635842002","https://openalex.org/W6636927302","https://openalex.org/W6637485546","https://openalex.org/W6677300047","https://openalex.org/W6682275763","https://openalex.org/W6683673185","https://openalex.org/W6758571485"],"related_works":["https://openalex.org/W3026940864","https://openalex.org/W2096848550","https://openalex.org/W2901128785","https://openalex.org/W381935118","https://openalex.org/W2368796975","https://openalex.org/W1486100501","https://openalex.org/W1989971697","https://openalex.org/W2786605369","https://openalex.org/W135928233","https://openalex.org/W3091693993"],"abstract_inverted_index":{"We":[0,23],"present":[1],"an":[2,93],"efficient":[3],"data":[4,122],"race":[5,140],"prediction":[6,25],"algorithm":[7,36,63],"that":[8,37],"uses":[9],"lock-reordering":[10],"based":[11],"incremental":[12,94],"search":[13,43,55,60],"on":[14],"time-stamped":[15],"lock":[16],"histories":[17],"for":[18],"solving":[19],"multiple":[20],"races":[21,123],"effectively.":[22],"balance":[24],"accuracy,":[26],"coverage,":[27],"and":[28,40,53,71,118],"performance":[29,126],"with":[30,109,124],"a":[31,77,86,100,110,115,125],"specially":[32],"designed":[33],"pairwise":[34],"reachability":[35],"can":[38,72,106],"store":[39],"re-use":[41],"past":[42],"results,":[44],"thereby,":[45],"amortizing":[46],"the":[47],"cost":[48],"of":[49,128],"reasoning":[50],"over":[51],"redundant":[52],"overlapping":[54],"space.":[56],"Compared":[57],"to":[58,69,113,134],"graph-based":[59],"algorithms,":[61],"our":[62,90],"incurs":[64],"much":[65],"smaller":[66],"overhead":[67],"due":[68],"amortization,":[70],"potentially":[73],"be":[74],"used":[75],"while":[76],"program":[78],"under":[79],"test":[80],"is":[81,136],"executing.":[82],"To":[83],"demonstrate":[84],"such":[85],"possibility,":[87],"we":[88],"implemented":[89],"approach":[91,105],"as":[92],"Predictive":[95],"Analysis":[96],"(iPA)":[97],"module":[98],"in":[99,132],"predictive":[101],"testing":[102],"framework.":[103],"Our":[104],"handle":[107],"traces":[108],"few":[111],"hundreds":[112],"half":[114],"million":[116],"events,":[117],"predict":[119],"known/unknown":[120],"real":[121],"penalty":[127],"less":[129],"than":[130],"4%":[131],"addition":[133],"what":[135],"incurred":[137],"by":[138],"runtime":[139],"detectors.":[141]},"counts_by_year":[{"year":2015,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}