{"id":"https://openalex.org/W2166422778","doi":"https://doi.org/10.1109/hpca.2006.1598123","title":"Completely Verifying Memory Consistency of Test Program Executions","display_name":"Completely Verifying Memory Consistency of Test Program Executions","publication_year":2006,"publication_date":"2006-03-21","ids":{"openalex":"https://openalex.org/W2166422778","doi":"https://doi.org/10.1109/hpca.2006.1598123","mag":"2166422778"},"language":"en","primary_location":{"id":"doi:10.1109/hpca.2006.1598123","is_oa":false,"landing_page_url":"https://doi.org/10.1109/hpca.2006.1598123","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"The Twelfth International Symposium on High-Performance Computer Architecture, 2006.","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/A5064237338","display_name":"Chaiyasit Manovit","orcid":null},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"C. Manovit","raw_affiliation_strings":["Sun Microsystems, University of Stanford, CA, USA"],"affiliations":[{"raw_affiliation_string":"Sun Microsystems, University of Stanford, CA, USA","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5086483307","display_name":"Sudheendra Hangal","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"S. Hangal","raw_affiliation_strings":["Magic Lamp Software, Bangalore, India"],"affiliations":[{"raw_affiliation_string":"Magic Lamp Software, Bangalore, India","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5064237338"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":1.419,"has_fulltext":false,"cited_by_count":29,"citation_normalized_percentile":{"value":0.82568901,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":99},"biblio":{"volume":null,"issue":null,"first_page":"168","last_page":"177"},"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/T10772","display_name":"Distributed systems and fault tolerance","score":0.9997000098228455,"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.9994000196456909,"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/computer-science","display_name":"Computer science","score":0.8734449744224548},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.8224343657493591},{"id":"https://openalex.org/keywords/sequential-consistency","display_name":"Sequential consistency","score":0.6848005056381226},{"id":"https://openalex.org/keywords/consistency-model","display_name":"Consistency model","score":0.6185592412948608},{"id":"https://openalex.org/keywords/consistency","display_name":"Consistency (knowledge bases)","score":0.5757138133049011},{"id":"https://openalex.org/keywords/multiprocessing","display_name":"Multiprocessing","score":0.5462439060211182},{"id":"https://openalex.org/keywords/distributed-shared-memory","display_name":"Distributed shared memory","score":0.46683159470558167},{"id":"https://openalex.org/keywords/memory-model","display_name":"Memory model","score":0.4601026773452759},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.45910099148750305},{"id":"https://openalex.org/keywords/distributed-memory","display_name":"Distributed memory","score":0.4139016270637512},{"id":"https://openalex.org/keywords/shared-memory","display_name":"Shared memory","score":0.3960072696208954},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.3694468140602112},{"id":"https://openalex.org/keywords/memory-management","display_name":"Memory management","score":0.30521076917648315},{"id":"https://openalex.org/keywords/uniform-memory-access","display_name":"Uniform memory access","score":0.1715264618396759},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.08842518925666809}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8734449744224548},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.8224343657493591},{"id":"https://openalex.org/C82029504","wikidata":"https://www.wikidata.org/wiki/Q4373882","display_name":"Sequential consistency","level":4,"score":0.6848005056381226},{"id":"https://openalex.org/C37279795","wikidata":"https://www.wikidata.org/wiki/Q2492305","display_name":"Consistency model","level":3,"score":0.6185592412948608},{"id":"https://openalex.org/C2776436953","wikidata":"https://www.wikidata.org/wiki/Q5163215","display_name":"Consistency (knowledge bases)","level":2,"score":0.5757138133049011},{"id":"https://openalex.org/C4822641","wikidata":"https://www.wikidata.org/wiki/Q846651","display_name":"Multiprocessing","level":2,"score":0.5462439060211182},{"id":"https://openalex.org/C39528615","wikidata":"https://www.wikidata.org/wiki/Q1229610","display_name":"Distributed shared memory","level":5,"score":0.46683159470558167},{"id":"https://openalex.org/C12186640","wikidata":"https://www.wikidata.org/wiki/Q6815743","display_name":"Memory model","level":3,"score":0.4601026773452759},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.45910099148750305},{"id":"https://openalex.org/C91481028","wikidata":"https://www.wikidata.org/wiki/Q1054686","display_name":"Distributed memory","level":3,"score":0.4139016270637512},{"id":"https://openalex.org/C133875982","wikidata":"https://www.wikidata.org/wiki/Q764810","display_name":"Shared memory","level":2,"score":0.3960072696208954},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3694468140602112},{"id":"https://openalex.org/C176649486","wikidata":"https://www.wikidata.org/wiki/Q2308807","display_name":"Memory management","level":3,"score":0.30521076917648315},{"id":"https://openalex.org/C51290061","wikidata":"https://www.wikidata.org/wiki/Q1936765","display_name":"Uniform memory access","level":4,"score":0.1715264618396759},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.08842518925666809},{"id":"https://openalex.org/C136085584","wikidata":"https://www.wikidata.org/wiki/Q910289","display_name":"Overlay","level":2,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1109/hpca.2006.1598123","is_oa":false,"landing_page_url":"https://doi.org/10.1109/hpca.2006.1598123","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"The Twelfth International Symposium on High-Performance Computer Architecture, 2006.","raw_type":"proceedings-article"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.408.9070","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.408.9070","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://xenon.stanford.edu/~hangal/tsotool_hpca06.pdf","raw_type":"text"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":22,"referenced_works":["https://openalex.org/W1561501726","https://openalex.org/W1571926289","https://openalex.org/W1975840504","https://openalex.org/W1986463648","https://openalex.org/W1993990180","https://openalex.org/W2023304911","https://openalex.org/W2029601347","https://openalex.org/W2034022105","https://openalex.org/W2034531215","https://openalex.org/W2072547867","https://openalex.org/W2092955140","https://openalex.org/W2105945277","https://openalex.org/W2114658430","https://openalex.org/W2137443348","https://openalex.org/W2143246735","https://openalex.org/W2176864362","https://openalex.org/W4239352486","https://openalex.org/W4242169030","https://openalex.org/W4250000334","https://openalex.org/W4250753400","https://openalex.org/W6659382918","https://openalex.org/W6673879259"],"related_works":["https://openalex.org/W2145655468","https://openalex.org/W2764757682","https://openalex.org/W2036306661","https://openalex.org/W2357931120","https://openalex.org/W118795575","https://openalex.org/W1496676675","https://openalex.org/W2110339542","https://openalex.org/W1569741251","https://openalex.org/W4317827391","https://openalex.org/W1965261831"],"abstract_inverted_index":{"An":[0],"important":[1],"means":[2],"of":[3,7,18,61,64,85,134,144,216],"validating":[4],"the":[5,43,49,59,79,86,94,104,115,195,211,214,217,221,232],"design":[6,233],"commercial-grade":[8],"shared":[9],"memory":[10,44,53,87,177],"multiprocessors":[11],"is":[12,67,96,100],"to":[13,42,69,226],"run":[14,151],"a":[15,32,73,118,135,153,172,184],"large":[16],"number":[17],"pseudo-random":[19],"test":[20,33,149],"programs":[21,150],"on":[22,148,152],"them.":[23],"However,":[24],"when":[25],"intentional":[26],"data":[27],"races":[28],"are":[29,89,107],"placed":[30],"in":[31,78,190,213,231],"program,":[34],"there":[35],"may":[36,204],"be":[37,70],"many":[38],"correct":[39],"results":[40,106,143,218],"according":[41],"consistency":[45],"model":[46,88],"supported":[47],"by":[48,159,198,220],"system.":[50],"For":[51],"popular":[52],"models":[54],"like":[55],"SC":[56],"and":[57,98,223],"TSO,":[58],"problem":[60,126],"verifying":[62],"correctness":[63,215],"an":[65,199],"execution":[66],"known":[68],"NP-complete.":[71],"As":[72],"result,":[74],"analysis":[75,146],"techniques":[76],"implemented":[77],"past":[80],"have":[81],"been":[82],"incomplete:":[83],"violations":[84],"flagged":[90],"if":[91],"provable,":[92],"otherwise":[93],"result":[95],"inconclusive":[97],"it":[99],"assumed":[101],"optimistically":[102],"that":[103,131,164],"machine's":[105],"correct.":[108],"In":[109],"this":[110,125],"paper,":[111],"we":[112],"describe":[113],"for":[114],"first":[116],"time":[117,196],"practical,":[119],"new":[120],"algorithm":[121,147,166,188,202],"which":[122,203],"can":[123],"solve":[124],"with":[127,174],"certainty,":[128],"thus":[129],"ensuring":[130],"incorrect":[132],"behavior":[133],"large,":[136],"complex":[137],"multiprocessor":[138,156],"cannot":[139],"escape.":[140],"We":[141,162],"present":[142],"our":[145,165],"newly":[154],"designed":[155],"system":[157],"built":[158],"Sun":[160],"Microsystems.":[161],"show":[163],"performs":[167],"very":[168],"well,":[169],"typically":[170],"analyzing":[171],"program":[173],"512":[175],"K":[176],"operations":[178],"distributed":[179],"across":[180],"60":[181],"processors":[182],"within":[183],"few":[185],"minutes.":[186],"Our":[187,207],"runs":[189],"less":[191],"than":[192,234],"2.6":[193],"times":[194],"taken":[197],"incomplete":[200],"baseline":[201],"miss":[205],"errors.":[206],"approach":[208],"greatly":[209],"increases":[210],"confidence":[212],"generated":[219],"multiprocessor,":[222],"allows":[224],"us":[225],"potentially":[227],"uncover":[228],"more":[229],"bugs":[230],"was":[235],"previously":[236],"possible.":[237]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":2},{"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":1},{"year":2019,"cited_by_count":2},{"year":2018,"cited_by_count":1},{"year":2016,"cited_by_count":2},{"year":2015,"cited_by_count":1},{"year":2014,"cited_by_count":2},{"year":2013,"cited_by_count":1},{"year":2012,"cited_by_count":4}],"updated_date":"2026-04-04T16:13:02.066488","created_date":"2025-10-10T00:00:00"}