{"id":"https://openalex.org/W2530873235","doi":"https://doi.org/10.1145/2875913.2875943","title":"Detecting Data Races in Interrupt-Driven Programs based on Static Analysis and Dynamic Simulation","display_name":"Detecting Data Races in Interrupt-Driven Programs based on Static Analysis and Dynamic Simulation","publication_year":2015,"publication_date":"2015-11-06","ids":{"openalex":"https://openalex.org/W2530873235","doi":"https://doi.org/10.1145/2875913.2875943","mag":"2530873235"},"language":"en","primary_location":{"id":"doi:10.1145/2875913.2875943","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2875913.2875943","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 7th Asia-Pacific Symposium on Internetware","raw_type":"proceedings-article"},"type":"conference-paper","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/A5100445311","display_name":"Yu Wang","orcid":"https://orcid.org/0000-0002-9807-2293"},"institutions":[{"id":"https://openalex.org/I881766915","display_name":"Nanjing University","ror":"https://ror.org/01rxvg760","country_code":"CN","type":"education","lineage":["https://openalex.org/I881766915"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yu Wang","raw_affiliation_strings":["State Key Laboratory of Novel Computer Software Technology, Nanjing University, Nanjing, China, Jiangsu Novel Software Technology and Industrialization, Nanjing, China, Department of Computer Science and Technology, Nanjing University, Nanjing, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"State Key Laboratory of Novel Computer Software Technology, Nanjing University, Nanjing, China, Jiangsu Novel Software Technology and Industrialization, Nanjing, China, Department of Computer Science and Technology, Nanjing University, Nanjing, China","institution_ids":["https://openalex.org/I881766915"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5067249302","display_name":"Junjing Shi","orcid":null},"institutions":[{"id":"https://openalex.org/I881766915","display_name":"Nanjing University","ror":"https://ror.org/01rxvg760","country_code":"CN","type":"education","lineage":["https://openalex.org/I881766915"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Junjing Shi","raw_affiliation_strings":["State Key Laboratory of Novel Computer Software Technology, Nanjing University, Nanjing, China, Jiangsu Novel Software Technology and Industrialization, Nanjing, China, Department of Computer Science and Technology, Nanjing University, Nanjing, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"State Key Laboratory of Novel Computer Software Technology, Nanjing University, Nanjing, China, Jiangsu Novel Software Technology and Industrialization, Nanjing, China, Department of Computer Science and Technology, Nanjing University, Nanjing, China","institution_ids":["https://openalex.org/I881766915"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5090305216","display_name":"Linzhang Wang","orcid":"https://orcid.org/0000-0003-4794-1652"},"institutions":[{"id":"https://openalex.org/I881766915","display_name":"Nanjing University","ror":"https://ror.org/01rxvg760","country_code":"CN","type":"education","lineage":["https://openalex.org/I881766915"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Linzhang Wang","raw_affiliation_strings":["State Key Laboratory of Novel Computer Software Technology, Nanjing University, Nanjing, China, Jiangsu Novel Software Technology and Industrialization, Nanjing, China, Department of Computer Science and Technology, Nanjing University, Nanjing, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"State Key Laboratory of Novel Computer Software Technology, Nanjing University, Nanjing, China, Jiangsu Novel Software Technology and Industrialization, Nanjing, China, Department of Computer Science and Technology, Nanjing University, Nanjing, China","institution_ids":["https://openalex.org/I881766915"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5103295231","display_name":"Jianhua Zhao","orcid":"https://orcid.org/0009-0004-3869-5108"},"institutions":[{"id":"https://openalex.org/I881766915","display_name":"Nanjing University","ror":"https://ror.org/01rxvg760","country_code":"CN","type":"education","lineage":["https://openalex.org/I881766915"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Jianhua Zhao","raw_affiliation_strings":["State Key Laboratory of Novel Computer Software Technology, Nanjing University, Nanjing, China, Jiangsu Novel Software Technology and Industrialization, Nanjing, China, Department of Computer Science and Technology, Nanjing University, Nanjing, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"State Key Laboratory of Novel Computer Software Technology, Nanjing University, Nanjing, China, Jiangsu Novel Software Technology and Industrialization, Nanjing, China, Department of Computer Science and Technology, Nanjing University, Nanjing, China","institution_ids":["https://openalex.org/I881766915"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5090810072","display_name":"Xuandong Li","orcid":"https://orcid.org/0000-0003-3090-9568"},"institutions":[{"id":"https://openalex.org/I881766915","display_name":"Nanjing University","ror":"https://ror.org/01rxvg760","country_code":"CN","type":"education","lineage":["https://openalex.org/I881766915"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Xuandong Li","raw_affiliation_strings":["State Key Laboratory of Novel Computer Software Technology, Nanjing University, Nanjing, China, Jiangsu Novel Software Technology and Industrialization, Nanjing, China, Department of Computer Science and Technology, Nanjing University, Nanjing, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"State Key Laboratory of Novel Computer Software Technology, Nanjing University, Nanjing, China, Jiangsu Novel Software Technology and Industrialization, Nanjing, China, Department of Computer Science and Technology, Nanjing University, Nanjing, China","institution_ids":["https://openalex.org/I881766915"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I881766915"],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":10,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"199","last_page":"202"},"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.9997000098228455,"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.9997000098228455,"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/T12127","display_name":"Software System Performance and Reliability","score":0.9990000128746033,"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/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/interrupt","display_name":"Interrupt","score":0.956132173538208},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8512276411056519},{"id":"https://openalex.org/keywords/static-analysis","display_name":"Static analysis","score":0.6785027384757996},{"id":"https://openalex.org/keywords/false-positive-paradox","display_name":"False positive paradox","score":0.6232476830482483},{"id":"https://openalex.org/keywords/dynamic-program-analysis","display_name":"Dynamic program analysis","score":0.5886261463165283},{"id":"https://openalex.org/keywords/interrupt-handler","display_name":"Interrupt handler","score":0.5248746275901794},{"id":"https://openalex.org/keywords/dynamic-data","display_name":"Dynamic data","score":0.4667200446128845},{"id":"https://openalex.org/keywords/source-code","display_name":"Source code","score":0.4321652054786682},{"id":"https://openalex.org/keywords/program-analysis","display_name":"Program analysis","score":0.4064505398273468},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.32810819149017334},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.31997740268707275},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.31944286823272705}],"concepts":[{"id":"https://openalex.org/C41661131","wikidata":"https://www.wikidata.org/wiki/Q220764","display_name":"Interrupt","level":3,"score":0.956132173538208},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8512276411056519},{"id":"https://openalex.org/C97686452","wikidata":"https://www.wikidata.org/wiki/Q7604153","display_name":"Static analysis","level":2,"score":0.6785027384757996},{"id":"https://openalex.org/C64869954","wikidata":"https://www.wikidata.org/wiki/Q1859747","display_name":"False positive paradox","level":2,"score":0.6232476830482483},{"id":"https://openalex.org/C140006998","wikidata":"https://www.wikidata.org/wiki/Q2499307","display_name":"Dynamic program analysis","level":3,"score":0.5886261463165283},{"id":"https://openalex.org/C28533478","wikidata":"https://www.wikidata.org/wiki/Q1541162","display_name":"Interrupt handler","level":4,"score":0.5248746275901794},{"id":"https://openalex.org/C197298091","wikidata":"https://www.wikidata.org/wiki/Q5318963","display_name":"Dynamic data","level":2,"score":0.4667200446128845},{"id":"https://openalex.org/C43126263","wikidata":"https://www.wikidata.org/wiki/Q128751","display_name":"Source code","level":2,"score":0.4321652054786682},{"id":"https://openalex.org/C98183937","wikidata":"https://www.wikidata.org/wiki/Q2112188","display_name":"Program analysis","level":2,"score":0.4064505398273468},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.32810819149017334},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.31997740268707275},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.31944286823272705},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.0},{"id":"https://openalex.org/C173018170","wikidata":"https://www.wikidata.org/wiki/Q165678","display_name":"Microcontroller","level":2,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/2875913.2875943","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2875913.2875943","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 7th Asia-Pacific Symposium on Internetware","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.46000000834465027,"display_name":"Decent work and economic growth","id":"https://metadata.un.org/sdg/8"}],"awards":[],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":12,"referenced_works":["https://openalex.org/W1533195354","https://openalex.org/W1583776219","https://openalex.org/W2098151336","https://openalex.org/W2137741900","https://openalex.org/W2139362997","https://openalex.org/W2148308674","https://openalex.org/W2150984469","https://openalex.org/W2154569078","https://openalex.org/W2154903992","https://openalex.org/W3003354073","https://openalex.org/W4247946980","https://openalex.org/W7062416784"],"related_works":["https://openalex.org/W2391783641","https://openalex.org/W3022243336","https://openalex.org/W4243198198","https://openalex.org/W2505033426","https://openalex.org/W4231875098","https://openalex.org/W2109690896","https://openalex.org/W2193907850","https://openalex.org/W2230841028","https://openalex.org/W4213237398","https://openalex.org/W2530873235"],"abstract_inverted_index":{"Interrupt-driven":[0],"programs":[1,24,126],"are":[2],"often":[3],"embedded":[4],"in":[5,29,32,67,124],"safety-critical":[6],"systems":[7],"to":[8,63,85,106,120,144],"perform":[9],"hardware/resource":[10],"dependent":[11],"data":[12,17,65,122],"operation":[13],"tasks,":[14],"such":[15],"as":[16],"acquisition,":[18],"processing,":[19],"and":[20,25,52,71,131,139],"transformation.":[21],"The":[22],"interrupt":[23],"tasks":[26],"may":[27,78,93],"happen":[28],"parallel":[30],"which":[31],"a":[33,117,136,141],"result":[34],"causes":[35],"indeterminist":[36],"concurrent":[37],"problems":[38,49],"at":[39],"runtime.":[40],"Data":[41],"race":[42],"is":[43],"one":[44],"of":[45,88,148],"the":[46,86,146],"most":[47],"popular":[48],"challenging":[50],"researchers":[51],"practitioners.":[53],"Various":[54],"static":[55,76,129],"analysis,":[56],"software":[57],"testing":[58,92],"approaches":[59],"have":[60],"been":[61],"proposed":[62],"detect":[64,121],"races":[66,97,123],"source":[68],"code,":[69],"testing,":[70],"even":[72],"production":[73],"run.":[74],"However,":[75],"analysis":[77,130],"report":[79],"too":[80],"many":[81],"false":[82],"positives":[83],"due":[84],"lack":[87],"execution":[89,110],"information.":[90],"Dynamic":[91],"miss":[94],"some":[95],"important":[96],"since":[98],"it":[99],"could":[100],"not":[101],"generate":[102],"adequate":[103],"test":[104,107],"cases":[105],"all":[108],"possible":[109],"scenarios.":[111],"In":[112],"this":[113],"paper,":[114],"we":[115],"propose":[116],"hybrid":[118],"approach":[119],"interrupt-driven":[125],"based":[127],"on":[128],"dynamic":[132],"simulation.":[133],"We":[134],"implemented":[135],"prototype":[137],"tool":[138],"conducted":[140],"controlled":[142],"experiment":[143],"demonstrate":[145],"applicability":[147],"our":[149],"approach.":[150]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":2},{"year":2018,"cited_by_count":1},{"year":2017,"cited_by_count":3}],"updated_date":"2026-07-14T23:27:15.235271","created_date":"2025-10-10T00:00:00"}