{"id":"https://openalex.org/W2626698596","doi":"https://doi.org/10.1145/3079856.3080235","title":"MTraceCheck","display_name":"MTraceCheck","publication_year":2017,"publication_date":"2017-06-15","ids":{"openalex":"https://openalex.org/W2626698596","doi":"https://doi.org/10.1145/3079856.3080235","mag":"2626698596"},"language":"en","primary_location":{"id":"doi:10.1145/3079856.3080235","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3079856.3080235","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 44th Annual International Symposium on Computer Architecture","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/A5068356978","display_name":"Doowon Lee","orcid":"https://orcid.org/0000-0001-6635-5953"},"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":"Doowon Lee","raw_affiliation_strings":["University of Michigan"],"affiliations":[{"raw_affiliation_string":"University of Michigan","institution_ids":["https://openalex.org/I27837315"]}]},{"author_position":"last","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"],"affiliations":[{"raw_affiliation_string":"University of Michigan","institution_ids":["https://openalex.org/I27837315"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5068356978"],"corresponding_institution_ids":["https://openalex.org/I27837315"],"apc_list":null,"apc_paid":null,"fwci":1.5877,"has_fulltext":false,"cited_by_count":9,"citation_normalized_percentile":{"value":0.84430039,"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":"201","last_page":"213"},"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/T11005","display_name":"Radiation Effects in Electronics","score":0.9994999766349792,"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/T11032","display_name":"VLSI and Analog Circuit Testing","score":0.9961000084877014,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7743451595306396},{"id":"https://openalex.org/keywords/observability","display_name":"Observability","score":0.7143726348876953},{"id":"https://openalex.org/keywords/leverage","display_name":"Leverage (statistics)","score":0.6526890397071838},{"id":"https://openalex.org/keywords/consistency","display_name":"Consistency (knowledge bases)","score":0.6253095865249634},{"id":"https://openalex.org/keywords/signature","display_name":"Signature (topology)","score":0.5172913074493408},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.47868281602859497},{"id":"https://openalex.org/keywords/consistency-model","display_name":"Consistency model","score":0.42742496728897095},{"id":"https://openalex.org/keywords/memory-model","display_name":"Memory model","score":0.4212344288825989},{"id":"https://openalex.org/keywords/executable","display_name":"Executable","score":0.41936904191970825},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.39341893792152405},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.3586215376853943},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.35607749223709106},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.3328207731246948},{"id":"https://openalex.org/keywords/shared-memory","display_name":"Shared memory","score":0.2808775305747986},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.23137009143829346},{"id":"https://openalex.org/keywords/data-consistency","display_name":"Data consistency","score":0.19163978099822998},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.12639155983924866},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.09587833285331726}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7743451595306396},{"id":"https://openalex.org/C36299963","wikidata":"https://www.wikidata.org/wiki/Q1369844","display_name":"Observability","level":2,"score":0.7143726348876953},{"id":"https://openalex.org/C153083717","wikidata":"https://www.wikidata.org/wiki/Q6535263","display_name":"Leverage (statistics)","level":2,"score":0.6526890397071838},{"id":"https://openalex.org/C2776436953","wikidata":"https://www.wikidata.org/wiki/Q5163215","display_name":"Consistency (knowledge bases)","level":2,"score":0.6253095865249634},{"id":"https://openalex.org/C2779696439","wikidata":"https://www.wikidata.org/wiki/Q7512811","display_name":"Signature (topology)","level":2,"score":0.5172913074493408},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.47868281602859497},{"id":"https://openalex.org/C37279795","wikidata":"https://www.wikidata.org/wiki/Q2492305","display_name":"Consistency model","level":3,"score":0.42742496728897095},{"id":"https://openalex.org/C12186640","wikidata":"https://www.wikidata.org/wiki/Q6815743","display_name":"Memory model","level":3,"score":0.4212344288825989},{"id":"https://openalex.org/C160145156","wikidata":"https://www.wikidata.org/wiki/Q778586","display_name":"Executable","level":2,"score":0.41936904191970825},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.39341893792152405},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.3586215376853943},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.35607749223709106},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3328207731246948},{"id":"https://openalex.org/C133875982","wikidata":"https://www.wikidata.org/wiki/Q764810","display_name":"Shared memory","level":2,"score":0.2808775305747986},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.23137009143829346},{"id":"https://openalex.org/C93361087","wikidata":"https://www.wikidata.org/wiki/Q4426698","display_name":"Data consistency","level":2,"score":0.19163978099822998},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.12639155983924866},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.09587833285331726},{"id":"https://openalex.org/C28826006","wikidata":"https://www.wikidata.org/wiki/Q33521","display_name":"Applied mathematics","level":1,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3079856.3080235","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3079856.3080235","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 44th Annual International Symposium on Computer Architecture","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320306087","display_name":"Semiconductor Research Corporation","ror":"https://ror.org/047z4n946"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":41,"referenced_works":["https://openalex.org/W184362337","https://openalex.org/W1507039213","https://openalex.org/W1594228127","https://openalex.org/W1694765325","https://openalex.org/W1808398105","https://openalex.org/W1822674892","https://openalex.org/W1968283843","https://openalex.org/W1981504678","https://openalex.org/W1992822815","https://openalex.org/W2024436253","https://openalex.org/W2026130601","https://openalex.org/W2029601347","https://openalex.org/W2046161500","https://openalex.org/W2054739713","https://openalex.org/W2060616327","https://openalex.org/W2085773946","https://openalex.org/W2086023529","https://openalex.org/W2086311869","https://openalex.org/W2090692734","https://openalex.org/W2093771365","https://openalex.org/W2095319311","https://openalex.org/W2101134669","https://openalex.org/W2105945277","https://openalex.org/W2111491143","https://openalex.org/W2116454140","https://openalex.org/W2116744478","https://openalex.org/W2133381043","https://openalex.org/W2134184428","https://openalex.org/W2135355961","https://openalex.org/W2141618784","https://openalex.org/W2143849045","https://openalex.org/W2147657366","https://openalex.org/W2150148998","https://openalex.org/W2152390090","https://openalex.org/W2156591015","https://openalex.org/W2170293694","https://openalex.org/W2234646418","https://openalex.org/W2325421623","https://openalex.org/W4206635466","https://openalex.org/W4210727445","https://openalex.org/W4213347330"],"related_works":["https://openalex.org/W2145655468","https://openalex.org/W2764757682","https://openalex.org/W118795575","https://openalex.org/W2036306661","https://openalex.org/W2106389308","https://openalex.org/W2357931120","https://openalex.org/W1738788207","https://openalex.org/W2935389012","https://openalex.org/W2052172665","https://openalex.org/W1848398668"],"abstract_inverted_index":{"This":[0],"work":[1],"presents":[2],"a":[3,36,59],"minimally-intrusive,":[4],"high-performance,":[5],"post-silicon":[6],"validation":[7],"framework":[8,17],"for":[9,27],"validating":[10],"memory":[11,28,87],"consistency":[12,29,88],"in":[13],"multi-core":[14],"systems.":[15],"Our":[16,90],"generates":[18],"constrained-random":[19],"tests":[20],"that":[21],"are":[22],"instrumented":[23],"with":[24,52],"observability-enhancing":[25],"code":[26],"verification.":[30],"For":[31],"each":[32,53,81],"test,":[33,51],"we":[34],"generate":[35],"set":[37],"of":[38,49,54],"compact":[39],"signatures":[40,56],"reflecting":[41],"the":[42,50,55,75,86,97,101],"memory-ordering":[43,61],"patterns":[44,78,102],"observed":[45,76],"over":[46],"many":[47],"executions":[48],"corresponding":[57],"to":[58,71],"unique":[60,82],"pattern.":[62],"We":[63],"then":[64],"leverage":[65],"an":[66],"efficient":[67],"and":[68],"novel":[69],"analysis":[70,91],"quickly":[72],"determine":[73],"if":[74],"execution":[77],"represented":[79],"by":[80,85,95],"signature":[83],"abide":[84],"model.":[89],"derives":[92],"its":[93],"efficiency":[94],"exploiting":[96],"structural":[98],"similarities":[99],"among":[100],"observed.":[103]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2022,"cited_by_count":1},{"year":2020,"cited_by_count":3},{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":3}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2017-06-23T00:00:00"}