{"id":"https://openalex.org/W7134913794","doi":"https://doi.org/10.1145/3779212.3790150","title":"CXLMC: Model Checking CXL Shared Memory Programs","display_name":"CXLMC: Model Checking CXL Shared Memory Programs","publication_year":2026,"publication_date":"2026-03-10","ids":{"openalex":"https://openalex.org/W7134913794","doi":"https://doi.org/10.1145/3779212.3790150"},"language":null,"primary_location":{"id":"doi:10.1145/3779212.3790150","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3779212.3790150","pdf_url":null,"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 31st ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 2","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://doi.org/10.1145/3779212.3790150","any_repository_has_fulltext":null},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5046283568","display_name":"Simon Guo","orcid":null},"institutions":[{"id":"https://openalex.org/I204250578","display_name":"University of California, Irvine","ror":"https://ror.org/04gyf1771","country_code":"US","type":"education","lineage":["https://openalex.org/I204250578"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Simon Guo","raw_affiliation_strings":["University of California, Irvine, Irvine, USA"],"raw_orcid":"https://orcid.org/0009-0009-2651-3238","affiliations":[{"raw_affiliation_string":"University of California, Irvine, Irvine, USA","institution_ids":["https://openalex.org/I204250578"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5119918326","display_name":"Conan Truong","orcid":null},"institutions":[{"id":"https://openalex.org/I204250578","display_name":"University of California, Irvine","ror":"https://ror.org/04gyf1771","country_code":"US","type":"education","lineage":["https://openalex.org/I204250578"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Conan Truong","raw_affiliation_strings":["University of California, Irvine, Irvine, USA"],"raw_orcid":"https://orcid.org/0009-0006-9477-194X","affiliations":[{"raw_affiliation_string":"University of California, Irvine, Irvine, USA","institution_ids":["https://openalex.org/I204250578"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5016315666","display_name":"Brian Demsky","orcid":"https://orcid.org/0000-0003-1210-3130"},"institutions":[{"id":"https://openalex.org/I204250578","display_name":"University of California, Irvine","ror":"https://ror.org/04gyf1771","country_code":"US","type":"education","lineage":["https://openalex.org/I204250578"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Brian Demsky","raw_affiliation_strings":["University of California, Irvine, Irvine, USA"],"raw_orcid":"https://orcid.org/0000-0003-1210-3130","affiliations":[{"raw_affiliation_string":"University of California, Irvine, Irvine, USA","institution_ids":["https://openalex.org/I204250578"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I204250578"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.24257134,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"546","last_page":"562"},"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.6258999705314636,"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.6258999705314636,"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.12349999696016312,"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/T11181","display_name":"Advanced Data Storage Technologies","score":0.09449999779462814,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/shared-memory","display_name":"Shared memory","score":0.7633000016212463},{"id":"https://openalex.org/keywords/distributed-shared-memory","display_name":"Distributed shared memory","score":0.6166999936103821},{"id":"https://openalex.org/keywords/cache-coherence","display_name":"Cache coherence","score":0.5083000063896179},{"id":"https://openalex.org/keywords/memory-model","display_name":"Memory model","score":0.501800000667572},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.489300012588501},{"id":"https://openalex.org/keywords/uniform-memory-access","display_name":"Uniform memory access","score":0.4788999855518341},{"id":"https://openalex.org/keywords/data-diffusion-machine","display_name":"Data diffusion machine","score":0.4652999937534332},{"id":"https://openalex.org/keywords/distributed-memory","display_name":"Distributed memory","score":0.45350000262260437},{"id":"https://openalex.org/keywords/dram","display_name":"Dram","score":0.44780001044273376}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8364999890327454},{"id":"https://openalex.org/C133875982","wikidata":"https://www.wikidata.org/wiki/Q764810","display_name":"Shared memory","level":2,"score":0.7633000016212463},{"id":"https://openalex.org/C39528615","wikidata":"https://www.wikidata.org/wiki/Q1229610","display_name":"Distributed shared memory","level":5,"score":0.6166999936103821},{"id":"https://openalex.org/C141917322","wikidata":"https://www.wikidata.org/wiki/Q1025017","display_name":"Cache coherence","level":5,"score":0.5083000063896179},{"id":"https://openalex.org/C12186640","wikidata":"https://www.wikidata.org/wiki/Q6815743","display_name":"Memory model","level":3,"score":0.501800000667572},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.489300012588501},{"id":"https://openalex.org/C51290061","wikidata":"https://www.wikidata.org/wiki/Q1936765","display_name":"Uniform memory access","level":4,"score":0.4788999855518341},{"id":"https://openalex.org/C180089779","wikidata":"https://www.wikidata.org/wiki/Q5227275","display_name":"Data diffusion machine","level":5,"score":0.4652999937534332},{"id":"https://openalex.org/C91481028","wikidata":"https://www.wikidata.org/wiki/Q1054686","display_name":"Distributed memory","level":3,"score":0.45350000262260437},{"id":"https://openalex.org/C7366592","wikidata":"https://www.wikidata.org/wiki/Q1255620","display_name":"Dram","level":2,"score":0.44780001044273376},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.44369998574256897},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.4325999915599823},{"id":"https://openalex.org/C172086080","wikidata":"https://www.wikidata.org/wiki/Q62270","display_name":"Remote procedure call","level":2,"score":0.4081999957561493},{"id":"https://openalex.org/C176649486","wikidata":"https://www.wikidata.org/wiki/Q2308807","display_name":"Memory management","level":3,"score":0.4052000045776367},{"id":"https://openalex.org/C115537543","wikidata":"https://www.wikidata.org/wiki/Q165596","display_name":"Cache","level":2,"score":0.4007999897003174},{"id":"https://openalex.org/C74426580","wikidata":"https://www.wikidata.org/wiki/Q719484","display_name":"Memory map","level":3,"score":0.39430001378059387},{"id":"https://openalex.org/C136085584","wikidata":"https://www.wikidata.org/wiki/Q910289","display_name":"Overlay","level":2,"score":0.37400001287460327},{"id":"https://openalex.org/C3720319","wikidata":"https://www.wikidata.org/wiki/Q5015937","display_name":"Cache-only memory architecture","level":5,"score":0.36640000343322754},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.32679998874664307},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.3221000134944916},{"id":"https://openalex.org/C2779965156","wikidata":"https://www.wikidata.org/wiki/Q5227350","display_name":"Data sharing","level":3,"score":0.3043999969959259},{"id":"https://openalex.org/C118524514","wikidata":"https://www.wikidata.org/wiki/Q173212","display_name":"Computer architecture","level":1,"score":0.29739999771118164},{"id":"https://openalex.org/C189783530","wikidata":"https://www.wikidata.org/wiki/Q352090","display_name":"CPU cache","level":3,"score":0.2962999939918518},{"id":"https://openalex.org/C63511323","wikidata":"https://www.wikidata.org/wiki/Q908936","display_name":"Interleaved memory","level":4,"score":0.288100004196167},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.2833000123500824},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.2630999982357025},{"id":"https://openalex.org/C153247305","wikidata":"https://www.wikidata.org/wiki/Q835713","display_name":"Memory address","level":3,"score":0.26260000467300415},{"id":"https://openalex.org/C38725249","wikidata":"https://www.wikidata.org/wiki/Q913876","display_name":"Time-sharing","level":2,"score":0.25999999046325684}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3779212.3790150","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3779212.3790150","pdf_url":null,"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 31st ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 2","raw_type":"proceedings-article"}],"best_oa_location":{"id":"doi:10.1145/3779212.3790150","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3779212.3790150","pdf_url":null,"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 31st ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 2","raw_type":"proceedings-article"},"sustainable_development_goals":[{"display_name":"Industry, innovation and infrastructure","score":0.6035811901092529,"id":"https://metadata.un.org/sdg/9"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":45,"referenced_works":["https://openalex.org/W1887412317","https://openalex.org/W2023718005","https://openalex.org/W2024875714","https://openalex.org/W2042851811","https://openalex.org/W2065675749","https://openalex.org/W2124877509","https://openalex.org/W2144549530","https://openalex.org/W2147540761","https://openalex.org/W2169624732","https://openalex.org/W2534587298","https://openalex.org/W2778029444","https://openalex.org/W2804444364","https://openalex.org/W2887814217","https://openalex.org/W2933883078","https://openalex.org/W2953899265","https://openalex.org/W2975438130","https://openalex.org/W2980176182","https://openalex.org/W2981689050","https://openalex.org/W2996634758","https://openalex.org/W2998259759","https://openalex.org/W3011346478","https://openalex.org/W3117953372","https://openalex.org/W3154878207","https://openalex.org/W3156311497","https://openalex.org/W3173474899","https://openalex.org/W3205042639","https://openalex.org/W3205847787","https://openalex.org/W4213153339","https://openalex.org/W4241316177","https://openalex.org/W4243889443","https://openalex.org/W4281975372","https://openalex.org/W4316660797","https://openalex.org/W4318541517","https://openalex.org/W4361194512","https://openalex.org/W4385695496","https://openalex.org/W4387302703","https://openalex.org/W4394946262","https://openalex.org/W4401353403","https://openalex.org/W4403728516","https://openalex.org/W4404954500","https://openalex.org/W4405348560","https://openalex.org/W4405425982","https://openalex.org/W4408901606","https://openalex.org/W4409713521","https://openalex.org/W6929087688"],"related_works":[],"abstract_inverted_index":{"Compute":[0],"Express":[1],"Link":[2],"(CXL)":[3],"shared":[4,35,54],"memory":[5,20,55],"is":[6],"an":[7],"emerging":[8],"industry":[9],"standard":[10],"that":[11,32],"will":[12,26,44],"allow":[13],"for":[14],"cache":[15],"coherent":[16],"sharing":[17],"of":[18,30,50],"remote":[19],"between":[21,65],"many":[22,37],"machines.":[23,67],"Memory":[24],"devices":[25],"contain":[27],"large":[28],"amounts":[29],"DRAM":[31],"can":[33],"be":[34],"by":[36],"machines":[38],"in":[39],"a":[40],"CXL":[41],"cluster.":[42],"This":[43],"enable":[45],"software":[46],"running":[47],"on":[48],"clusters":[49],"computers":[51],"to":[52,56,61],"use":[53],"communicate":[57],"more":[58],"efficiently":[59],"and":[60],"share":[62],"important":[63],"data":[64],"these":[66]},"counts_by_year":[],"updated_date":"2026-06-26T08:34:08.712188","created_date":"2026-03-12T00:00:00"}