{"id":"https://openalex.org/W2508576555","doi":"https://doi.org/10.1145/2970276.2970337","title":"Static race detection for device drivers: the Goblint approach","display_name":"Static race detection for device drivers: the Goblint approach","publication_year":2016,"publication_date":"2016-08-25","ids":{"openalex":"https://openalex.org/W2508576555","doi":"https://doi.org/10.1145/2970276.2970337","mag":"2508576555"},"language":"en","primary_location":{"id":"doi:10.1145/2970276.2970337","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2970276.2970337","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering","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/A5034095003","display_name":"Vesal Vojdani","orcid":"https://orcid.org/0000-0003-4336-7980"},"institutions":[{"id":"https://openalex.org/I56085075","display_name":"University of Tartu","ror":"https://ror.org/03z77qz90","country_code":"EE","type":"education","lineage":["https://openalex.org/I56085075"]}],"countries":["EE"],"is_corresponding":true,"raw_author_name":"Vesal Vojdani","raw_affiliation_strings":["University of Tartu, Estonia"],"affiliations":[{"raw_affiliation_string":"University of Tartu, Estonia","institution_ids":["https://openalex.org/I56085075"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5027339446","display_name":"Kalmer Apinis","orcid":"https://orcid.org/0009-0006-2395-6584"},"institutions":[{"id":"https://openalex.org/I56085075","display_name":"University of Tartu","ror":"https://ror.org/03z77qz90","country_code":"EE","type":"education","lineage":["https://openalex.org/I56085075"]}],"countries":["EE"],"is_corresponding":false,"raw_author_name":"Kalmer Apinis","raw_affiliation_strings":["University of Tartu, Estonia"],"affiliations":[{"raw_affiliation_string":"University of Tartu, Estonia","institution_ids":["https://openalex.org/I56085075"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5097835868","display_name":"Vootele R\u00f5tov","orcid":null},"institutions":[{"id":"https://openalex.org/I56085075","display_name":"University of Tartu","ror":"https://ror.org/03z77qz90","country_code":"EE","type":"education","lineage":["https://openalex.org/I56085075"]}],"countries":["EE"],"is_corresponding":false,"raw_author_name":"Vootele R\u00f5tov","raw_affiliation_strings":["University of Tartu, Estonia"],"affiliations":[{"raw_affiliation_string":"University of Tartu, Estonia","institution_ids":["https://openalex.org/I56085075"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5080676686","display_name":"Helmut Seidl","orcid":"https://orcid.org/0000-0002-2135-1593"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Helmut Seidl","raw_affiliation_strings":["TU Munich, Germany"],"affiliations":[{"raw_affiliation_string":"TU Munich, Germany","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5069353491","display_name":"Varmo Vene","orcid":"https://orcid.org/0000-0002-4874-7555"},"institutions":[{"id":"https://openalex.org/I56085075","display_name":"University of Tartu","ror":"https://ror.org/03z77qz90","country_code":"EE","type":"education","lineage":["https://openalex.org/I56085075"]}],"countries":["EE"],"is_corresponding":false,"raw_author_name":"Varmo Vene","raw_affiliation_strings":["University of Tartu, Estonia"],"affiliations":[{"raw_affiliation_string":"University of Tartu, Estonia","institution_ids":["https://openalex.org/I56085075"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5086638718","display_name":"Ralf Vogler","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Ralf Vogler","raw_affiliation_strings":["TU Munich, Germany"],"affiliations":[{"raw_affiliation_string":"TU Munich, Germany","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":6,"corresponding_author_ids":["https://openalex.org/A5034095003"],"corresponding_institution_ids":["https://openalex.org/I56085075"],"apc_list":null,"apc_paid":null,"fwci":3.5438,"has_fulltext":false,"cited_by_count":71,"citation_normalized_percentile":{"value":0.93453432,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":96,"max":100},"biblio":{"volume":null,"issue":null,"first_page":"391","last_page":"402"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12127","display_name":"Software System Performance and Reliability","score":0.9995999932289124,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/T12127","display_name":"Software System Performance and Reliability","score":0.9995999932289124,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9991999864578247,"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/T11424","display_name":"Security and Verification in Computing","score":0.9987999796867371,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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.8387905359268188},{"id":"https://openalex.org/keywords/pointer","display_name":"Pointer (user interface)","score":0.7686905860900879},{"id":"https://openalex.org/keywords/concurrency","display_name":"Concurrency","score":0.704186737537384},{"id":"https://openalex.org/keywords/debugging","display_name":"Debugging","score":0.6919378042221069},{"id":"https://openalex.org/keywords/static-analysis","display_name":"Static analysis","score":0.6048967838287354},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.30209001898765564},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.2863274812698364},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.26070529222488403},{"id":"https://openalex.org/keywords/computer-hardware","display_name":"Computer hardware","score":0.1317799985408783}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8387905359268188},{"id":"https://openalex.org/C150202949","wikidata":"https://www.wikidata.org/wiki/Q107602","display_name":"Pointer (user interface)","level":2,"score":0.7686905860900879},{"id":"https://openalex.org/C193702766","wikidata":"https://www.wikidata.org/wiki/Q1414548","display_name":"Concurrency","level":2,"score":0.704186737537384},{"id":"https://openalex.org/C168065819","wikidata":"https://www.wikidata.org/wiki/Q845566","display_name":"Debugging","level":2,"score":0.6919378042221069},{"id":"https://openalex.org/C97686452","wikidata":"https://www.wikidata.org/wiki/Q7604153","display_name":"Static analysis","level":2,"score":0.6048967838287354},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.30209001898765564},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.2863274812698364},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.26070529222488403},{"id":"https://openalex.org/C9390403","wikidata":"https://www.wikidata.org/wiki/Q3966","display_name":"Computer hardware","level":1,"score":0.1317799985408783}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/2970276.2970337","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2970276.2970337","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/15","score":0.6000000238418579,"display_name":"Life in Land"}],"awards":[{"id":"https://openalex.org/G6722781460","display_name":null,"funder_award_id":"IUT-2","funder_id":"https://openalex.org/F4320321090","funder_display_name":"Eesti Teadusagentuur"}],"funders":[{"id":"https://openalex.org/F4320313144","display_name":"ITEA","ror":null},{"id":"https://openalex.org/F4320321090","display_name":"Eesti Teadusagentuur","ror":"https://ror.org/00jjeja18"},{"id":"https://openalex.org/F4320321114","display_name":"Bundesministerium f\u00fcr Bildung und Forschung","ror":"https://ror.org/04pz7b180"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":49,"referenced_works":["https://openalex.org/W19356467","https://openalex.org/W148396834","https://openalex.org/W154091757","https://openalex.org/W158711440","https://openalex.org/W175092372","https://openalex.org/W349361545","https://openalex.org/W1452568986","https://openalex.org/W1501058160","https://openalex.org/W1530314682","https://openalex.org/W1531955077","https://openalex.org/W1534545952","https://openalex.org/W1537449998","https://openalex.org/W1558427762","https://openalex.org/W1577404745","https://openalex.org/W1580330980","https://openalex.org/W1611084195","https://openalex.org/W1878516092","https://openalex.org/W1965604953","https://openalex.org/W1970363544","https://openalex.org/W2011193467","https://openalex.org/W2013050211","https://openalex.org/W2057526015","https://openalex.org/W2060697066","https://openalex.org/W2082000355","https://openalex.org/W2082827821","https://openalex.org/W2088139180","https://openalex.org/W2096475201","https://openalex.org/W2103714221","https://openalex.org/W2107089133","https://openalex.org/W2107742417","https://openalex.org/W2135057262","https://openalex.org/W2137187249","https://openalex.org/W2139401046","https://openalex.org/W2147130904","https://openalex.org/W2149647957","https://openalex.org/W2149984854","https://openalex.org/W2152777241","https://openalex.org/W2154557525","https://openalex.org/W2154713600","https://openalex.org/W2158449625","https://openalex.org/W2176864362","https://openalex.org/W2243109068","https://openalex.org/W2493854183","https://openalex.org/W2620172435","https://openalex.org/W2763079172","https://openalex.org/W4229635525","https://openalex.org/W4230333905","https://openalex.org/W4249000722","https://openalex.org/W4251803824"],"related_works":["https://openalex.org/W4321442002","https://openalex.org/W2015265939","https://openalex.org/W2284072287","https://openalex.org/W2155788121","https://openalex.org/W4235469518","https://openalex.org/W2387706296","https://openalex.org/W1566618018","https://openalex.org/W1565546946","https://openalex.org/W2213281886","https://openalex.org/W3121955897"],"abstract_inverted_index":{"Device":[0],"drivers":[1],"rely":[2],"on":[3],"fine-grained":[4],"locking":[5,71,119],"to":[6,10,23,43,65,102],"ensure":[7],"safe":[8],"access":[9],"shared":[11],"data":[12,44],"structures.":[13],"For":[14],"human":[15],"testers,":[16],"concurrency":[17],"makes":[18],"such":[19],"code":[20],"notoriously":[21],"hard":[22],"debug;":[24],"for":[25],"automated":[26,106],"reasoning,":[27],"dynamically":[28,76],"allocated":[29,75],"memory":[30],"and":[31,60,144],"low-level":[32],"pointer":[33,59],"manipulation":[34],"poses":[35],"significant":[36],"challenges.":[37],"We":[38],"present":[39],"a":[40,67,104],"flexible":[41],"approach":[42],"race":[45,108],"analysis,":[46],"implemented":[47],"in":[48,63,82,122],"the":[49,85,92,117],"open":[50],"source":[51],"Goblint":[52],"static":[53,107],"analysis":[54],"framework,":[55],"that":[56,111,129],"combines":[57],"different":[58],"value":[61],"analyses":[62,131],"order":[64],"handle":[66],"wide":[68],"range":[69],"of":[70,87,116,138],"idioms,":[72],"including":[73],"locks":[74,80],"as":[77,79],"well":[78,98],"stored":[81],"arrays.":[83],"To":[84],"best":[86],"our":[88],"knowledge,":[89],"this":[90],"is":[91],"most":[93,115],"ambitious":[94],"effort,":[95],"having":[96],"lasted":[97],"over":[99],"ten":[100],"years,":[101],"create":[103],"fully":[105],"detection":[109],"tool":[110],"can":[112],"deal":[113],"with":[114],"intricate":[118],"schemes":[120],"found":[121],"Linux":[123],"device":[124],"drivers.":[125],"Our":[126],"evaluation":[127],"shows":[128],"these":[130,139],"are":[132],"sufficiently":[133],"precise,":[134],"but":[135],"practical":[136],"use":[137],"techniques":[140],"requires":[141],"inferring":[142],"environmental":[143],"domain-specific":[145],"assumptions.":[146]},"counts_by_year":[{"year":2026,"cited_by_count":6},{"year":2025,"cited_by_count":9},{"year":2024,"cited_by_count":14},{"year":2023,"cited_by_count":11},{"year":2022,"cited_by_count":7},{"year":2021,"cited_by_count":9},{"year":2020,"cited_by_count":3},{"year":2019,"cited_by_count":3},{"year":2018,"cited_by_count":6},{"year":2017,"cited_by_count":3}],"updated_date":"2026-04-21T08:09:41.155169","created_date":"2025-10-10T00:00:00"}