{"id":"https://openalex.org/W2537496202","doi":"https://doi.org/10.1145/2966986.2967010","title":"BugMD","display_name":"BugMD","publication_year":2016,"publication_date":"2016-10-18","ids":{"openalex":"https://openalex.org/W2537496202","doi":"https://doi.org/10.1145/2966986.2967010","mag":"2537496202"},"language":"en","primary_location":{"id":"doi:10.1145/2966986.2967010","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2966986.2967010","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 35th International Conference on Computer-Aided Design","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/A5034607560","display_name":"Biruk Mammo","orcid":null},"institutions":[{"id":"https://openalex.org/I27837315","display_name":"University of Michigan\u2013Ann Arbor","ror":"https://ror.org/00jmfr291","country_code":"US","type":"education","lineage":["https://openalex.org/I27837315"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Biruk Mammo","raw_affiliation_strings":["University of Michigan","University of Michigan, Ann Arbor, USA"],"affiliations":[{"raw_affiliation_string":"University of Michigan","institution_ids":["https://openalex.org/I27837315"]},{"raw_affiliation_string":"University of Michigan, Ann Arbor, USA","institution_ids":["https://openalex.org/I27837315"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5011107459","display_name":"Milind Furia","orcid":null},"institutions":[{"id":"https://openalex.org/I27837315","display_name":"University of Michigan\u2013Ann Arbor","ror":"https://ror.org/00jmfr291","country_code":"US","type":"education","lineage":["https://openalex.org/I27837315"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Milind Furia","raw_affiliation_strings":["University of Michigan","University of Michigan, Ann Arbor, USA"],"affiliations":[{"raw_affiliation_string":"University of Michigan","institution_ids":["https://openalex.org/I27837315"]},{"raw_affiliation_string":"University of Michigan, Ann Arbor, USA","institution_ids":["https://openalex.org/I27837315"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5030335506","display_name":"Valeria Bertacco","orcid":"https://orcid.org/0000-0002-0319-3368"},"institutions":[{"id":"https://openalex.org/I27837315","display_name":"University of Michigan\u2013Ann Arbor","ror":"https://ror.org/00jmfr291","country_code":"US","type":"education","lineage":["https://openalex.org/I27837315"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Valeria Bertacco","raw_affiliation_strings":["University of Michigan","University of Michigan, Ann Arbor, USA"],"affiliations":[{"raw_affiliation_string":"University of Michigan","institution_ids":["https://openalex.org/I27837315"]},{"raw_affiliation_string":"University of Michigan, Ann Arbor, USA","institution_ids":["https://openalex.org/I27837315"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5002075773","display_name":"Scott Mahlke","orcid":"https://orcid.org/0000-0002-0438-0616"},"institutions":[{"id":"https://openalex.org/I27837315","display_name":"University of Michigan\u2013Ann Arbor","ror":"https://ror.org/00jmfr291","country_code":"US","type":"education","lineage":["https://openalex.org/I27837315"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Scott Mahlke","raw_affiliation_strings":["University of Michigan","University of Michigan, Ann Arbor, USA"],"affiliations":[{"raw_affiliation_string":"University of Michigan","institution_ids":["https://openalex.org/I27837315"]},{"raw_affiliation_string":"University of Michigan, Ann Arbor, USA","institution_ids":["https://openalex.org/I27837315"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5060661843","display_name":"Daya Shanker Khudia","orcid":"https://orcid.org/0000-0002-6706-5074"},"institutions":[{"id":"https://openalex.org/I4210158342","display_name":"Intel (United Kingdom)","ror":"https://ror.org/058cxws58","country_code":"GB","type":"company","lineage":["https://openalex.org/I1343180700","https://openalex.org/I4210158342"]},{"id":"https://openalex.org/I1343180700","display_name":"Intel (United States)","ror":"https://ror.org/01ek73717","country_code":"US","type":"company","lineage":["https://openalex.org/I1343180700"]}],"countries":["GB","US"],"is_corresponding":false,"raw_author_name":"Daya S Khudia","raw_affiliation_strings":["Intel Corporation","Intel Corporation, Santa Clara, CA, USA"],"affiliations":[{"raw_affiliation_string":"Intel Corporation","institution_ids":["https://openalex.org/I4210158342"]},{"raw_affiliation_string":"Intel Corporation, Santa Clara, CA, USA","institution_ids":["https://openalex.org/I1343180700"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5034607560"],"corresponding_institution_ids":["https://openalex.org/I27837315"],"apc_list":null,"apc_paid":null,"fwci":2.5014,"has_fulltext":false,"cited_by_count":15,"citation_normalized_percentile":{"value":0.89966555,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":97},"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"7"},"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.9939000010490417,"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.9939000010490417,"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.9932000041007996,"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"}},{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9891999959945679,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5069582462310791}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5069582462310791}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/2966986.2967010","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2966986.2967010","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 35th International Conference on Computer-Aided Design","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G7279337226","display_name":null,"funder_award_id":"2013-MA-2384","funder_id":"https://openalex.org/F4320331888","funder_display_name":"Microelectronics Advanced Research Corporation"}],"funders":[{"id":"https://openalex.org/F4320331888","display_name":"Microelectronics Advanced Research Corporation","ror":"https://ror.org/047z4n946"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":24,"referenced_works":["https://openalex.org/W1586383135","https://openalex.org/W1930624869","https://openalex.org/W1993822809","https://openalex.org/W1994573764","https://openalex.org/W2012262513","https://openalex.org/W2027320771","https://openalex.org/W2032094184","https://openalex.org/W2040253466","https://openalex.org/W2053227059","https://openalex.org/W2078819445","https://openalex.org/W2097994445","https://openalex.org/W2101234009","https://openalex.org/W2103670614","https://openalex.org/W2109892789","https://openalex.org/W2112648765","https://openalex.org/W2115081151","https://openalex.org/W2125840012","https://openalex.org/W2145913625","https://openalex.org/W2181725979","https://openalex.org/W2513222763","https://openalex.org/W2751318774","https://openalex.org/W2997591727","https://openalex.org/W4248346117","https://openalex.org/W6657494606"],"related_works":["https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W2358668433","https://openalex.org/W2376932109","https://openalex.org/W2001405890","https://openalex.org/W2382290278","https://openalex.org/W2478288626","https://openalex.org/W4391913857","https://openalex.org/W2350741829","https://openalex.org/W2530322880"],"abstract_inverted_index":{"System-level":[0],"validation":[1,21],"is":[2,45,55,115],"the":[3,18,31,35,47,50,120,128,140],"most":[4,143],"challenging":[5],"phase":[6],"of":[7,34,49,122,127],"design":[8,19,84,88],"verification.":[9],"A":[10],"common":[11],"methodology":[12],"in":[13,22,130],"this":[14,53,63],"context":[15],"entails":[16],"simulating":[17],"under":[20],"lockstep":[23],"with":[24,52,146],"a":[25,43,67,79,123],"high-level":[26],"golden":[27],"model,":[28],"while":[29],"comparing":[30],"architectural":[32],"state":[33],"two":[36],"models":[37],"at":[38],"regular":[39],"intervals.":[40],"However,":[41],"if":[42],"bug":[44,69,94,124],"detected,":[46],"diagnosis":[48],"problem":[51],"framework":[54,96],"extremely":[56],"time":[57,129],"and":[58,77,89],"resource":[59],"consuming.":[60],"To":[61],"address":[62],"challenge,":[64],"we":[65],"propose":[66],"novel":[68],"triaging":[70],"solution":[71,114,137],"that":[72,97,112],"collects":[73],"multiple":[74],"architectural-level":[75],"mismatches":[76],"employs":[78],"classifier":[80,107],"to":[81,100,117],"pinpoint":[82],"buggy":[83],"units.":[85],"We":[86],"also":[87],"implement":[90],"an":[91,131],"automated":[92],"synthetic":[93],"injection":[95],"enables":[98],"us":[99],"generate":[101],"large":[102],"datasets":[103],"for":[104],"training":[105],"our":[106,113,136],"models.":[108],"Experimental":[109],"results":[110],"show":[111],"able":[116],"correctly":[118],"identify":[119,139],"source":[121],"over":[125,147],"70%":[126],"out-of-order":[132],"processor":[133],"model.":[134],"Furthermore,":[135],"can":[138],"top":[141],"3":[142],"likely":[144],"units":[145],"90%":[148],"accuracy.":[149]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":2},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":4},{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":2},{"year":2018,"cited_by_count":3},{"year":2017,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2016-10-28T00:00:00"}