{"id":"https://openalex.org/W4409328969","doi":"https://doi.org/10.1145/3622781.3674174","title":"Towards Unified Analysis of GPU Consistency","display_name":"Towards Unified Analysis of GPU Consistency","publication_year":2024,"publication_date":"2024-04-27","ids":{"openalex":"https://openalex.org/W4409328969","doi":"https://doi.org/10.1145/3622781.3674174"},"language":"en","primary_location":{"id":"doi:10.1145/3622781.3674174","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3622781.3674174","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3622781.3674174","source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 4","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://dl.acm.org/doi/pdf/10.1145/3622781.3674174","any_repository_has_fulltext":null},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5117099766","display_name":"Haining Tong","orcid":"https://orcid.org/0009-0002-3702-4754"},"institutions":[{"id":"https://openalex.org/I133731052","display_name":"University of Helsinki","ror":"https://ror.org/040af2s02","country_code":"FI","type":"education","lineage":["https://openalex.org/I133731052"]}],"countries":["FI"],"is_corresponding":true,"raw_author_name":"Haining Tong","raw_affiliation_strings":["University of Helsinki, Helsinki, Finland"],"affiliations":[{"raw_affiliation_string":"University of Helsinki, Helsinki, Finland","institution_ids":["https://openalex.org/I133731052"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5117099767","display_name":"Natalia Gavrilenko","orcid":null},"institutions":[{"id":"https://openalex.org/I4210166625","display_name":"Huawei German Research Center","ror":"https://ror.org/00z59w514","country_code":"DE","type":"facility","lineage":["https://openalex.org/I2250955327","https://openalex.org/I4210129353","https://openalex.org/I4210166625"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Natalia Gavrilenko","raw_affiliation_strings":["Huawei Dresden Research Center, Dresden, Germany"],"affiliations":[{"raw_affiliation_string":"Huawei Dresden Research Center, Dresden, Germany","institution_ids":["https://openalex.org/I4210166625"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5085421453","display_name":"Hern\u00e1n Ponce-de-Le\u00f3n","orcid":"https://orcid.org/0000-0002-4225-8830"},"institutions":[{"id":"https://openalex.org/I4210166625","display_name":"Huawei German Research Center","ror":"https://ror.org/00z59w514","country_code":"DE","type":"facility","lineage":["https://openalex.org/I2250955327","https://openalex.org/I4210129353","https://openalex.org/I4210166625"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Hernan Ponce de Leon","raw_affiliation_strings":["Huawei Dresden Research Center, Dresden, Germany"],"affiliations":[{"raw_affiliation_string":"Huawei Dresden Research Center, Dresden, Germany","institution_ids":["https://openalex.org/I4210166625"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5078732211","display_name":"Keijo Heljanko","orcid":"https://orcid.org/0000-0002-4547-2701"},"institutions":[{"id":"https://openalex.org/I32943570","display_name":"Helsinki Institute for Information Technology","ror":"https://ror.org/05kph4940","country_code":"FI","type":"facility","lineage":["https://openalex.org/I133731052","https://openalex.org/I32943570","https://openalex.org/I9927081"]},{"id":"https://openalex.org/I133731052","display_name":"University of Helsinki","ror":"https://ror.org/040af2s02","country_code":"FI","type":"education","lineage":["https://openalex.org/I133731052"]}],"countries":["FI"],"is_corresponding":false,"raw_author_name":"Keijo Heljanko","raw_affiliation_strings":["Helsinki Institute for Information Technology, Helsinki, Finland","University of Helsinki, Helsinki, Finland"],"affiliations":[{"raw_affiliation_string":"Helsinki Institute for Information Technology, Helsinki, Finland","institution_ids":["https://openalex.org/I32943570"]},{"raw_affiliation_string":"University of Helsinki, Helsinki, Finland","institution_ids":["https://openalex.org/I133731052"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5117099766"],"corresponding_institution_ids":["https://openalex.org/I133731052"],"apc_list":null,"apc_paid":null,"fwci":1.0229,"has_fulltext":true,"cited_by_count":2,"citation_normalized_percentile":{"value":0.7957298,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":91,"max":99},"biblio":{"volume":null,"issue":null,"first_page":"329","last_page":"344"},"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.9998000264167786,"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.9998000264167786,"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/T10715","display_name":"Distributed and Parallel Computing Systems","score":0.9995999932289124,"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/T10101","display_name":"Cloud Computing and Resource Management","score":0.9991999864578247,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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.7847053408622742},{"id":"https://openalex.org/keywords/consistency","display_name":"Consistency (knowledge bases)","score":0.5471852421760559},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.5006413459777832},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.1483866274356842}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7847053408622742},{"id":"https://openalex.org/C2776436953","wikidata":"https://www.wikidata.org/wiki/Q5163215","display_name":"Consistency (knowledge bases)","level":2,"score":0.5471852421760559},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.5006413459777832},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.1483866274356842}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3622781.3674174","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3622781.3674174","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3622781.3674174","source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 4","raw_type":"proceedings-article"}],"best_oa_location":{"id":"doi:10.1145/3622781.3674174","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3622781.3674174","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3622781.3674174","source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 4","raw_type":"proceedings-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4409328969.pdf","grobid_xml":"https://content.openalex.org/works/W4409328969.grobid-xml"},"referenced_works_count":51,"referenced_works":["https://openalex.org/W1525350307","https://openalex.org/W1594228127","https://openalex.org/W1602156367","https://openalex.org/W1965708711","https://openalex.org/W2083780331","https://openalex.org/W2110879934","https://openalex.org/W2117689653","https://openalex.org/W2149237601","https://openalex.org/W2150618958","https://openalex.org/W2153636750","https://openalex.org/W2163490397","https://openalex.org/W2199020522","https://openalex.org/W2249637006","https://openalex.org/W2280574045","https://openalex.org/W2295070883","https://openalex.org/W2500374330","https://openalex.org/W2514850971","https://openalex.org/W2535050116","https://openalex.org/W2553522901","https://openalex.org/W2590250299","https://openalex.org/W2605308338","https://openalex.org/W2625764229","https://openalex.org/W2730963820","https://openalex.org/W2738891045","https://openalex.org/W2789383461","https://openalex.org/W2935389012","https://openalex.org/W2956182160","https://openalex.org/W2969374400","https://openalex.org/W3011163152","https://openalex.org/W3016553493","https://openalex.org/W3107477519","https://openalex.org/W3156131292","https://openalex.org/W3184568883","https://openalex.org/W3186023305","https://openalex.org/W3200544313","https://openalex.org/W4213153339","https://openalex.org/W4226096346","https://openalex.org/W4233778051","https://openalex.org/W4253778559","https://openalex.org/W4281622684","https://openalex.org/W4289583705","https://openalex.org/W4298147710","https://openalex.org/W4384155482","https://openalex.org/W4404262018","https://openalex.org/W6641111411","https://openalex.org/W6649079419","https://openalex.org/W6676698594","https://openalex.org/W6786138615","https://openalex.org/W6802919802","https://openalex.org/W6852864012","https://openalex.org/W6857784880"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W4391913857","https://openalex.org/W2358668433","https://openalex.org/W4396701345","https://openalex.org/W2376932109","https://openalex.org/W2001405890","https://openalex.org/W4396696052"],"abstract_inverted_index":{"After":[0],"more":[1],"than":[2],"30":[3],"years":[4],"of":[5,12,32,77],"research,":[6],"there":[7],"is":[8,23,88],"a":[9,39,75],"solid":[10],"understanding":[11],"the":[13,21,84],"consistency":[14,58],"guarantees":[15],"given":[16],"by":[17,52],"CPU":[18],"systems.":[19],"Unfortunately,":[20],"same":[22],"not":[24],"yet":[25],"true":[26],"for":[27,41],"GPUs.":[28],"The":[29],"growing":[30],"popularity":[31],"general":[33],"purpose":[34],"GPU":[35],"programming":[36],"has":[37],"been":[38],"call":[40],"action":[42],"which":[43],"industry":[44],"players":[45],"like":[46],"Nvidia":[47],"and":[48,56,83],"Khronos":[49],"have":[50],"answered":[51],"formalizing":[53],"their":[54],"Ptx":[55],"Vulkan":[57],"models.":[59],"These":[60],"models":[61],"give":[62],"precise":[63],"answers":[64],"to":[65],"questions":[66],"about":[67],"program's":[68],"correctness.":[69],"However,":[70],"interpreting":[71],"them":[72],"still":[73],"requires":[74],"level":[76],"expertise":[78],"that":[79],"escapes":[80],"most":[81],"developers,":[82],"current":[85],"tool":[86],"support":[87],"insufficient.":[89]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":1}],"updated_date":"2026-03-10T16:38:18.471706","created_date":"2025-10-10T00:00:00"}