{"id":"https://openalex.org/W2122578826","doi":"https://doi.org/10.1145/1065944.1065958","title":"Scaling model checking of dataraces using dynamic information","display_name":"Scaling model checking of dataraces using dynamic information","publication_year":2005,"publication_date":"2005-06-15","ids":{"openalex":"https://openalex.org/W2122578826","doi":"https://doi.org/10.1145/1065944.1065958","mag":"2122578826"},"language":"en","primary_location":{"id":"doi:10.1145/1065944.1065958","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1065944.1065958","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the tenth ACM SIGPLAN symposium on Principles and practice of parallel programming","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/A5032019359","display_name":"Ohad Shacham","orcid":null},"institutions":[{"id":"https://openalex.org/I16391192","display_name":"Tel Aviv University","ror":"https://ror.org/04mhzgx49","country_code":"IL","type":"education","lineage":["https://openalex.org/I16391192"]},{"id":"https://openalex.org/I4210167297","display_name":"IBM Research - Haifa","ror":"https://ror.org/05rw9t746","country_code":"IL","type":"facility","lineage":["https://openalex.org/I1341412227","https://openalex.org/I4210114115","https://openalex.org/I4210167297"]}],"countries":["IL"],"is_corresponding":true,"raw_author_name":"Ohad Shacham","raw_affiliation_strings":["Tel Aviv University and IBM Haifa Research Lab"],"affiliations":[{"raw_affiliation_string":"Tel Aviv University and IBM Haifa Research Lab","institution_ids":["https://openalex.org/I4210167297","https://openalex.org/I16391192"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5002512849","display_name":"Mooly Sagiv","orcid":null},"institutions":[{"id":"https://openalex.org/I16391192","display_name":"Tel Aviv University","ror":"https://ror.org/04mhzgx49","country_code":"IL","type":"education","lineage":["https://openalex.org/I16391192"]}],"countries":["IL"],"is_corresponding":false,"raw_author_name":"Mooly Sagiv","raw_affiliation_strings":["Tel Aviv University","Tel-Aviv University"],"affiliations":[{"raw_affiliation_string":"Tel Aviv University","institution_ids":["https://openalex.org/I16391192"]},{"raw_affiliation_string":"Tel-Aviv University","institution_ids":["https://openalex.org/I16391192"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5090998564","display_name":"Assaf Schuster","orcid":"https://orcid.org/0000-0002-3311-6937"},"institutions":[{"id":"https://openalex.org/I174306211","display_name":"Technion \u2013 Israel Institute of Technology","ror":"https://ror.org/03qryx823","country_code":"IL","type":"education","lineage":["https://openalex.org/I174306211"]}],"countries":["IL"],"is_corresponding":false,"raw_author_name":"Assaf Schuster","raw_affiliation_strings":["Technion"],"affiliations":[{"raw_affiliation_string":"Technion","institution_ids":["https://openalex.org/I174306211"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5032019359"],"corresponding_institution_ids":["https://openalex.org/I16391192","https://openalex.org/I4210167297"],"apc_list":null,"apc_paid":null,"fwci":0.7163,"has_fulltext":false,"cited_by_count":21,"citation_normalized_percentile":{"value":0.75194444,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":99},"biblio":{"volume":null,"issue":null,"first_page":"107","last_page":"118"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9998000264167786,"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"}},"topics":[{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9998000264167786,"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/T10142","display_name":"Formal Methods in Verification","score":0.9994000196456909,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/T12423","display_name":"Software Reliability and Analysis Research","score":0.9986000061035156,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.9027139544487},{"id":"https://openalex.org/keywords/interleaving","display_name":"Interleaving","score":0.8762719631195068},{"id":"https://openalex.org/keywords/thread","display_name":"Thread (computing)","score":0.8677693605422974},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.8143285512924194},{"id":"https://openalex.org/keywords/spurious-relationship","display_name":"Spurious relationship","score":0.739392876625061},{"id":"https://openalex.org/keywords/bounded-function","display_name":"Bounded function","score":0.48411452770233154},{"id":"https://openalex.org/keywords/multithreading","display_name":"Multithreading","score":0.44539549946784973},{"id":"https://openalex.org/keywords/scaling","display_name":"Scaling","score":0.42997297644615173},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.40390297770500183},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.33249199390411377},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.33019569516181946},{"id":"https://openalex.org/keywords/machine-learning","display_name":"Machine learning","score":0.13299313187599182},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.10189151763916016}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.9027139544487},{"id":"https://openalex.org/C28034677","wikidata":"https://www.wikidata.org/wiki/Q17092530","display_name":"Interleaving","level":2,"score":0.8762719631195068},{"id":"https://openalex.org/C138101251","wikidata":"https://www.wikidata.org/wiki/Q213092","display_name":"Thread (computing)","level":2,"score":0.8677693605422974},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.8143285512924194},{"id":"https://openalex.org/C97256817","wikidata":"https://www.wikidata.org/wiki/Q1462316","display_name":"Spurious relationship","level":2,"score":0.739392876625061},{"id":"https://openalex.org/C34388435","wikidata":"https://www.wikidata.org/wiki/Q2267362","display_name":"Bounded function","level":2,"score":0.48411452770233154},{"id":"https://openalex.org/C201410400","wikidata":"https://www.wikidata.org/wiki/Q1064412","display_name":"Multithreading","level":3,"score":0.44539549946784973},{"id":"https://openalex.org/C99844830","wikidata":"https://www.wikidata.org/wiki/Q102441924","display_name":"Scaling","level":2,"score":0.42997297644615173},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.40390297770500183},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.33249199390411377},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.33019569516181946},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.13299313187599182},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.10189151763916016},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/1065944.1065958","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1065944.1065958","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the tenth ACM SIGPLAN symposium on Principles and practice of parallel programming","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":36,"referenced_works":["https://openalex.org/W1482207865","https://openalex.org/W1487375638","https://openalex.org/W1516135678","https://openalex.org/W1539432158","https://openalex.org/W1551256212","https://openalex.org/W1578117164","https://openalex.org/W1605985842","https://openalex.org/W1787074469","https://openalex.org/W1862182621","https://openalex.org/W1868818739","https://openalex.org/W1972544179","https://openalex.org/W1973501242","https://openalex.org/W2002179840","https://openalex.org/W2002946738","https://openalex.org/W2007541742","https://openalex.org/W2054739713","https://openalex.org/W2072419942","https://openalex.org/W2078853139","https://openalex.org/W2103412683","https://openalex.org/W2109875364","https://openalex.org/W2118437239","https://openalex.org/W2121217300","https://openalex.org/W2127989655","https://openalex.org/W2142840915","https://openalex.org/W2144118030","https://openalex.org/W2150309803","https://openalex.org/W2161600851","https://openalex.org/W2171480813","https://openalex.org/W2295450001","https://openalex.org/W2340735175","https://openalex.org/W2913459036","https://openalex.org/W3137220996","https://openalex.org/W4285719527","https://openalex.org/W6614337950","https://openalex.org/W6632383594","https://openalex.org/W6684644128"],"related_works":["https://openalex.org/W2115561485","https://openalex.org/W1985089255","https://openalex.org/W2010970156","https://openalex.org/W2153202644","https://openalex.org/W2105895556","https://openalex.org/W2733115356","https://openalex.org/W2377593213","https://openalex.org/W4235861380","https://openalex.org/W2106625514","https://openalex.org/W3089467468"],"abstract_inverted_index":{"Dataraces":[0],"in":[1,49,79,98,114,133,143],"multithreaded":[2,100],"programs":[3,101,147],"often":[4],"indicate":[5],"severe":[6],"bugs":[7],"and":[8,71,122],"can":[9,73],"cause":[10,23],"unexpected":[11],"behaviors":[12],"when":[13],"different":[14],"thread":[15,96,135],"interleavings":[16,97,136],"are":[17,21],"executed.":[18],"Because":[19],"dataraces":[20,46,70,142],"a":[22,115],"for":[24,45,69],"concern,":[25],"many":[26,59],"works":[27],"have":[28],"dealt":[29],"with":[30,150],"the":[31,50,84,92,111,124,139],"problem":[32],"of":[33,86,95,126,141],"detecting":[34],"them.":[35],"Works":[36,62],"based":[37,63],"on":[38,64],"dynamic":[39],"techniques":[40,113],"either":[41,155],"report":[42],"errors":[43],"only":[44],"that":[47,77,137],"occur":[48,78],"current":[51],"interleaving,":[52],"which":[53,118],"limits":[54],"their":[55],"usefulness,":[56],"or":[57,162],"produce":[58],"spurious":[60],"dataraces.":[61],"model":[65,87,160,164],"checking":[66,88],"search":[67],"exhaustively":[68],"thus":[72],"reveal":[74],"even":[75],"those":[76],"rarely":[80],"executed":[81],"paths.":[82],"However,":[83],"applicability":[85],"is":[89],"limited":[90],"because":[91],"large":[93],"number":[94],"realistic":[99,144],"causes":[102],"state":[103],"space":[104],"explosion.":[105],"In":[106],"this":[107],"work,":[108],"we":[109,148],"combine":[110],"two":[112],"hybrid":[116,130],"scheme":[117],"overcomes":[119],"these":[120],"difficulties":[121],"enjoys":[123],"advantages":[125],"both":[127],"worlds.":[128],"Our":[129],"technique":[131],"succeeds":[132],"providing":[134],"prove":[138],"existence":[140],"programs.":[145],"The":[146],"experimented":[149],"cannot":[151],"be":[152],"checked":[153],"using":[154],"an":[156],"ordinary":[157],"industrial":[158],"strength":[159],"checker":[161],"bounded":[163],"checking.":[165]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":3},{"year":2022,"cited_by_count":2},{"year":2021,"cited_by_count":2},{"year":2019,"cited_by_count":1},{"year":2017,"cited_by_count":1},{"year":2016,"cited_by_count":1},{"year":2014,"cited_by_count":2},{"year":2013,"cited_by_count":2},{"year":2012,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}