{"id":"https://openalex.org/W3089397612","doi":"https://doi.org/10.1145/3377811.3380358","title":"Simulee","display_name":"Simulee","publication_year":2020,"publication_date":"2020-06-27","ids":{"openalex":"https://openalex.org/W3089397612","doi":"https://doi.org/10.1145/3377811.3380358","mag":"3089397612"},"language":"en","primary_location":{"id":"doi:10.1145/3377811.3380358","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3377811.3380358","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3377811.3380358","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM/IEEE 42nd International Conference on Software Engineering","raw_type":"proceedings-article"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://dl.acm.org/doi/pdf/10.1145/3377811.3380358","any_repository_has_fulltext":null},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5056474398","display_name":"Mingyuan Wu","orcid":"https://orcid.org/0009-0009-6146-2923"},"institutions":[{"id":"https://openalex.org/I3045169105","display_name":"Southern University of Science and Technology","ror":"https://ror.org/049tv2d57","country_code":"CN","type":"education","lineage":["https://openalex.org/I3045169105"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Mingyuan Wu","raw_affiliation_strings":["Southern University of Science and Technology, Shenzhen, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Southern University of Science and Technology, Shenzhen, China","institution_ids":["https://openalex.org/I3045169105"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5064014041","display_name":"Yicheng Ouyang","orcid":"https://orcid.org/0000-0002-2391-3617"},"institutions":[{"id":"https://openalex.org/I3045169105","display_name":"Southern University of Science and Technology","ror":"https://ror.org/049tv2d57","country_code":"CN","type":"education","lineage":["https://openalex.org/I3045169105"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yicheng Ouyang","raw_affiliation_strings":["Southern University of Science and Technology, Shenzhen, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Southern University of Science and Technology, Shenzhen, China","institution_ids":["https://openalex.org/I3045169105"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5065527608","display_name":"Husheng Zhou","orcid":"https://orcid.org/0000-0003-0614-4980"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Husheng Zhou","raw_affiliation_strings":["University of Texas at Dallas"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Texas at Dallas","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5113160035","display_name":"Lingming Zhang","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Lingming Zhang","raw_affiliation_strings":["University of Texas at Dallas"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Texas at Dallas","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100331642","display_name":"Cong Liu","orcid":"https://orcid.org/0000-0003-3425-6672"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Cong Liu","raw_affiliation_strings":["University of Texas at Dallas"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Texas at Dallas","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5030322956","display_name":"Yuqun Zhang","orcid":"https://orcid.org/0000-0002-1499-5729"},"institutions":[{"id":"https://openalex.org/I3045169105","display_name":"Southern University of Science and Technology","ror":"https://ror.org/049tv2d57","country_code":"CN","type":"education","lineage":["https://openalex.org/I3045169105"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yuqun Zhang","raw_affiliation_strings":["Southern University of Science and Technology, Shenzhen, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Southern University of Science and Technology, Shenzhen, China","institution_ids":["https://openalex.org/I3045169105"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":3.6066,"has_fulltext":true,"cited_by_count":27,"citation_normalized_percentile":{"value":0.94072088,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":94,"max":98},"biblio":{"volume":null,"issue":null,"first_page":"937","last_page":"948"},"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.9998999834060669,"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.9998999834060669,"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/T12127","display_name":"Software System Performance and Reliability","score":0.9979000091552734,"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9968000054359436,"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/cuda","display_name":"CUDA","score":0.8660784363746643},{"id":"https://openalex.org/keywords/bytecode","display_name":"Bytecode","score":0.7830923795700073},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7527920007705688},{"id":"https://openalex.org/keywords/benchmark","display_name":"Benchmark (surveying)","score":0.6404432654380798},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.6030692458152771},{"id":"https://openalex.org/keywords/synchronization","display_name":"Synchronization (alternating current)","score":0.5462242960929871},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.3966425061225891},{"id":"https://openalex.org/keywords/java","display_name":"Java","score":0.08916431665420532}],"concepts":[{"id":"https://openalex.org/C2778119891","wikidata":"https://www.wikidata.org/wiki/Q477690","display_name":"CUDA","level":2,"score":0.8660784363746643},{"id":"https://openalex.org/C2779818221","wikidata":"https://www.wikidata.org/wiki/Q837330","display_name":"Bytecode","level":3,"score":0.7830923795700073},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7527920007705688},{"id":"https://openalex.org/C185798385","wikidata":"https://www.wikidata.org/wiki/Q1161707","display_name":"Benchmark (surveying)","level":2,"score":0.6404432654380798},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.6030692458152771},{"id":"https://openalex.org/C2778562939","wikidata":"https://www.wikidata.org/wiki/Q1298791","display_name":"Synchronization (alternating current)","level":3,"score":0.5462242960929871},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.3966425061225891},{"id":"https://openalex.org/C548217200","wikidata":"https://www.wikidata.org/wiki/Q251","display_name":"Java","level":2,"score":0.08916431665420532},{"id":"https://openalex.org/C127162648","wikidata":"https://www.wikidata.org/wiki/Q16858953","display_name":"Channel (broadcasting)","level":2,"score":0.0},{"id":"https://openalex.org/C205649164","wikidata":"https://www.wikidata.org/wiki/Q1071","display_name":"Geography","level":0,"score":0.0},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.0},{"id":"https://openalex.org/C13280743","wikidata":"https://www.wikidata.org/wiki/Q131089","display_name":"Geodesy","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3377811.3380358","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3377811.3380358","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3377811.3380358","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM/IEEE 42nd International Conference on Software Engineering","raw_type":"proceedings-article"}],"best_oa_location":{"id":"doi:10.1145/3377811.3380358","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3377811.3380358","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3377811.3380358","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM/IEEE 42nd International Conference on Software Engineering","raw_type":"proceedings-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G1863105072","display_name":"CAREER: Maximal and Scalable Unified Debugging for the JVM Ecosystem","funder_award_id":"1942430","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G2167654092","display_name":"SHF: Medium: Collaborative Research: Enhancing Continuous Integration Testing for the Open-Source Ecosystem","funder_award_id":"1763906","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G447899654","display_name":null,"funder_award_id":"KQTD2016112514355- 531","funder_id":"https://openalex.org/F4320335790","funder_display_name":"Shenzhen Peacock Plan"},{"id":"https://openalex.org/G521923880","display_name":null,"funder_award_id":"KQTD2016112514355531","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G5511685887","display_name":null,"funder_award_id":"61902169","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"}],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"},{"id":"https://openalex.org/F4320321001","display_name":"National Natural Science Foundation of China","ror":"https://ror.org/01h0zpd94"},{"id":"https://openalex.org/F4320330001","display_name":"Ant Financial Services Group","ror":null},{"id":"https://openalex.org/F4320335790","display_name":"Shenzhen Peacock Plan","ror":null}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W3089397612.pdf","grobid_xml":"https://content.openalex.org/works/W3089397612.grobid-xml"},"referenced_works_count":43,"referenced_works":["https://openalex.org/W1480909796","https://openalex.org/W1593691361","https://openalex.org/W1972544179","https://openalex.org/W1977321274","https://openalex.org/W1979114612","https://openalex.org/W1997162567","https://openalex.org/W1997600725","https://openalex.org/W2002386085","https://openalex.org/W2019611783","https://openalex.org/W2025692558","https://openalex.org/W2043201977","https://openalex.org/W2076960126","https://openalex.org/W2084719450","https://openalex.org/W2088270410","https://openalex.org/W2099613036","https://openalex.org/W2107911628","https://openalex.org/W2112632437","https://openalex.org/W2117444998","https://openalex.org/W2121717408","https://openalex.org/W2128022558","https://openalex.org/W2156138494","https://openalex.org/W2161600851","https://openalex.org/W2286629231","https://openalex.org/W2312893775","https://openalex.org/W2475137645","https://openalex.org/W2731956051","https://openalex.org/W2798640261","https://openalex.org/W2850992922","https://openalex.org/W2851896161","https://openalex.org/W2888307014","https://openalex.org/W2906946247","https://openalex.org/W2910162200","https://openalex.org/W2941326118","https://openalex.org/W2944464415","https://openalex.org/W2958754741","https://openalex.org/W2998879364","https://openalex.org/W3007730687","https://openalex.org/W3090608524","https://openalex.org/W3103231465","https://openalex.org/W3141930102","https://openalex.org/W4238341133","https://openalex.org/W4256019627","https://openalex.org/W4256477861"],"related_works":["https://openalex.org/W1889284597","https://openalex.org/W2140009967","https://openalex.org/W20625830","https://openalex.org/W4399354997","https://openalex.org/W4379620208","https://openalex.org/W66594024","https://openalex.org/W2005148983","https://openalex.org/W2012954338","https://openalex.org/W2096672917","https://openalex.org/W2392023973"],"abstract_inverted_index":{"While":[0],"CUDA":[1,22,38,47,65,142],"has":[2],"become":[3],"a":[4,26,78],"mainstream":[5],"parallel":[6],"computing":[7],"platform":[8],"and":[9,19,56,72,116],"programming":[10],"model":[11,46],"for":[12,61,141],"general-purpose":[13],"GPU":[14],"computing,":[15],"how":[16],"to":[17,45],"effectively":[18],"efficiently":[20],"detect":[21,103],"synchronization":[23,39,66,143],"bugs":[24,111,121],"remains":[25],"challenging":[27],"open":[28],"problem.":[29],"In":[30],"this":[31],"paper,":[32],"we":[33,76,89],"propose":[34],"the":[35,52,58,70,107,133],"first":[36],"lightweight":[37],"bug":[40,144],"detection":[41],"framework,":[42],"namely":[43],"Simulee,":[44,75],"program":[48],"execution":[49],"by":[50,132],"interpreting":[51],"corresponding":[53],"LLVM":[54],"bytecode":[55],"collecting":[57],"memory-access":[59],"information":[60],"automatically":[62],"detecting":[63],"general":[64],"bugs.":[67],"To":[68],"evaluate":[69],"effectiveness":[71],"efficiency":[73],"of":[74,94,106,126],"construct":[77],"benchmark":[79],"with":[80],"7":[81],"popular":[82],"CUDA-related":[83],"projects":[84],"from":[85],"GitHub,":[86],"upon":[87],"which":[88,127],"conduct":[90],"an":[91],"extensive":[92],"set":[93],"experiments.":[95],"The":[96],"experimental":[97],"results":[98],"suggest":[99],"that":[100],"Simulee":[101,136],"can":[102],"21":[104],"out":[105],"24":[108,118],"manually":[109],"identified":[110],"in":[112],"our":[113],"preliminary":[114],"study":[115],"also":[117],"previously":[119],"unknown":[120],"among":[122],"all":[123],"projects,":[124],"10":[125],"have":[128],"already":[129],"been":[130],"confirmed":[131],"developers.":[134],"Furthermore,":[135],"significantly":[137],"outperforms":[138],"state-of-the-art":[139],"approaches":[140],"detection.":[145]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":5},{"year":2024,"cited_by_count":5},{"year":2023,"cited_by_count":5},{"year":2022,"cited_by_count":3},{"year":2021,"cited_by_count":4},{"year":2020,"cited_by_count":4}],"updated_date":"2026-08-01T09:00:35.917206","created_date":"2020-10-08T00:00:00"}