{"id":"https://openalex.org/W2410648606","doi":"https://doi.org/10.1145/2926697.2926700","title":"Prescient memory: exposing weak memory model behavior by looking into the future","display_name":"Prescient memory: exposing weak memory model behavior by looking into the future","publication_year":2016,"publication_date":"2016-06-02","ids":{"openalex":"https://openalex.org/W2410648606","doi":"https://doi.org/10.1145/2926697.2926700","mag":"2410648606"},"language":"en","primary_location":{"id":"doi:10.1145/2926697.2926700","is_oa":true,"landing_page_url":"https://doi.org/10.1145/2926697.2926700","pdf_url":"http://dl.acm.org/ft_gateway.cfm?id=2926700&type=pdf","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2016 ACM SIGPLAN International Symposium on Memory Management","raw_type":"proceedings-article"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"http://dl.acm.org/ft_gateway.cfm?id=2926700&type=pdf","any_repository_has_fulltext":null},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5078236480","display_name":"Man Cao","orcid":null},"institutions":[{"id":"https://openalex.org/I52357470","display_name":"The Ohio State University","ror":"https://ror.org/00rs6vg23","country_code":"US","type":"education","lineage":["https://openalex.org/I52357470"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Man Cao","raw_affiliation_strings":["Ohio State University, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Ohio State University, USA","institution_ids":["https://openalex.org/I52357470"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5043558248","display_name":"Jake Roemer","orcid":null},"institutions":[{"id":"https://openalex.org/I52357470","display_name":"The Ohio State University","ror":"https://ror.org/00rs6vg23","country_code":"US","type":"education","lineage":["https://openalex.org/I52357470"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Jake Roemer","raw_affiliation_strings":["Ohio State University, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Ohio State University, USA","institution_ids":["https://openalex.org/I52357470"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5015672019","display_name":"Aritra Sengupta","orcid":"https://orcid.org/0000-0001-6268-010X"},"institutions":[{"id":"https://openalex.org/I52357470","display_name":"The Ohio State University","ror":"https://ror.org/00rs6vg23","country_code":"US","type":"education","lineage":["https://openalex.org/I52357470"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Aritra Sengupta","raw_affiliation_strings":["Ohio State University, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Ohio State University, USA","institution_ids":["https://openalex.org/I52357470"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5044161672","display_name":"Michael D. Bond","orcid":"https://orcid.org/0000-0002-8971-4944"},"institutions":[{"id":"https://openalex.org/I52357470","display_name":"The Ohio State University","ror":"https://ror.org/00rs6vg23","country_code":"US","type":"education","lineage":["https://openalex.org/I52357470"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Michael D. Bond","raw_affiliation_strings":["Ohio State University, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Ohio State University, USA","institution_ids":["https://openalex.org/I52357470"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I52357470"],"apc_list":null,"apc_paid":null,"fwci":2.687,"has_fulltext":true,"cited_by_count":15,"citation_normalized_percentile":{"value":0.90537888,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":90,"max":99},"biblio":{"volume":null,"issue":null,"first_page":"99","last_page":"110"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10054","display_name":"Parallel Computing and Optimization Techniques","score":1.0,"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":1.0,"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.9988999962806702,"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.9959999918937683,"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/computer-science","display_name":"Computer science","score":0.8107465505599976},{"id":"https://openalex.org/keywords/profiling","display_name":"Profiling (computer programming)","score":0.7311990261077881},{"id":"https://openalex.org/keywords/scope","display_name":"Scope (computer science)","score":0.5940435528755188},{"id":"https://openalex.org/keywords/value","display_name":"Value (mathematics)","score":0.5877845883369446},{"id":"https://openalex.org/keywords/memory-model","display_name":"Memory model","score":0.5428014993667603},{"id":"https://openalex.org/keywords/speculative-execution","display_name":"Speculative execution","score":0.5014691352844238},{"id":"https://openalex.org/keywords/key","display_name":"Key (lock)","score":0.4728420376777649},{"id":"https://openalex.org/keywords/memory-management","display_name":"Memory management","score":0.4557267725467682},{"id":"https://openalex.org/keywords/expose","display_name":"EXPOSE","score":0.453821063041687},{"id":"https://openalex.org/keywords/dynamic-random-access-memory","display_name":"Dynamic random-access memory","score":0.4254096448421478},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.3393455743789673},{"id":"https://openalex.org/keywords/shared-memory","display_name":"Shared memory","score":0.338126003742218},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.3296022117137909},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.25840330123901367},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.1832418143749237},{"id":"https://openalex.org/keywords/semiconductor-memory","display_name":"Semiconductor memory","score":0.16335353255271912},{"id":"https://openalex.org/keywords/machine-learning","display_name":"Machine learning","score":0.13713374733924866}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8107465505599976},{"id":"https://openalex.org/C187191949","wikidata":"https://www.wikidata.org/wiki/Q1138496","display_name":"Profiling (computer programming)","level":2,"score":0.7311990261077881},{"id":"https://openalex.org/C2778012447","wikidata":"https://www.wikidata.org/wiki/Q1034415","display_name":"Scope (computer science)","level":2,"score":0.5940435528755188},{"id":"https://openalex.org/C2776291640","wikidata":"https://www.wikidata.org/wiki/Q2912517","display_name":"Value (mathematics)","level":2,"score":0.5877845883369446},{"id":"https://openalex.org/C12186640","wikidata":"https://www.wikidata.org/wiki/Q6815743","display_name":"Memory model","level":3,"score":0.5428014993667603},{"id":"https://openalex.org/C141331961","wikidata":"https://www.wikidata.org/wiki/Q2164465","display_name":"Speculative execution","level":2,"score":0.5014691352844238},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.4728420376777649},{"id":"https://openalex.org/C176649486","wikidata":"https://www.wikidata.org/wiki/Q2308807","display_name":"Memory management","level":3,"score":0.4557267725467682},{"id":"https://openalex.org/C2779137570","wikidata":"https://www.wikidata.org/wiki/Q16243196","display_name":"EXPOSE","level":2,"score":0.453821063041687},{"id":"https://openalex.org/C118702147","wikidata":"https://www.wikidata.org/wiki/Q189396","display_name":"Dynamic random-access memory","level":3,"score":0.4254096448421478},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.3393455743789673},{"id":"https://openalex.org/C133875982","wikidata":"https://www.wikidata.org/wiki/Q764810","display_name":"Shared memory","level":2,"score":0.338126003742218},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.3296022117137909},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.25840330123901367},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.1832418143749237},{"id":"https://openalex.org/C98986596","wikidata":"https://www.wikidata.org/wiki/Q1143031","display_name":"Semiconductor memory","level":2,"score":0.16335353255271912},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.13713374733924866},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C1276947","wikidata":"https://www.wikidata.org/wiki/Q333","display_name":"Astronomy","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/2926697.2926700","is_oa":true,"landing_page_url":"https://doi.org/10.1145/2926697.2926700","pdf_url":"http://dl.acm.org/ft_gateway.cfm?id=2926700&type=pdf","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2016 ACM SIGPLAN International Symposium on Memory Management","raw_type":"proceedings-article"}],"best_oa_location":{"id":"doi:10.1145/2926697.2926700","is_oa":true,"landing_page_url":"https://doi.org/10.1145/2926697.2926700","pdf_url":"http://dl.acm.org/ft_gateway.cfm?id=2926700&type=pdf","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2016 ACM SIGPLAN International Symposium on Memory Management","raw_type":"proceedings-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G2269396437","display_name":"SHF: Small: Collaborative Research: Hybrid Static-Dynamic Analyses for Region Serializability","funder_award_id":"1421612","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G5540267248","display_name":"CAREER: Practical Language and System Support for Reliable Concurrent Software","funder_award_id":"1253703","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G6671297155","display_name":null,"funder_award_id":"CAREER","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G929629473","display_name":"CSR: Small: Making Software Transactional Memory More than a Research Toy","funder_award_id":"1218695","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"}],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2410648606.pdf","grobid_xml":"https://content.openalex.org/works/W2410648606.grobid-xml"},"referenced_works_count":64,"referenced_works":["https://openalex.org/W1048515","https://openalex.org/W4015096","https://openalex.org/W17332244","https://openalex.org/W97749504","https://openalex.org/W1482397304","https://openalex.org/W1514258760","https://openalex.org/W1568532261","https://openalex.org/W1652742168","https://openalex.org/W1876811830","https://openalex.org/W1972544179","https://openalex.org/W1983206712","https://openalex.org/W1996009176","https://openalex.org/W2002179840","https://openalex.org/W2016323637","https://openalex.org/W2027224105","https://openalex.org/W2040060046","https://openalex.org/W2054391605","https://openalex.org/W2054739713","https://openalex.org/W2068530820","https://openalex.org/W2078197548","https://openalex.org/W2091085450","https://openalex.org/W2096475201","https://openalex.org/W2096527448","https://openalex.org/W2102839400","https://openalex.org/W2103408719","https://openalex.org/W2105391037","https://openalex.org/W2105980774","https://openalex.org/W2115855199","https://openalex.org/W2122602877","https://openalex.org/W2123932793","https://openalex.org/W2127989655","https://openalex.org/W2133662847","https://openalex.org/W2135023759","https://openalex.org/W2135395375","https://openalex.org/W2135948849","https://openalex.org/W2141975313","https://openalex.org/W2146766856","https://openalex.org/W2147506153","https://openalex.org/W2149984854","https://openalex.org/W2152885346","https://openalex.org/W2153174073","https://openalex.org/W2154557525","https://openalex.org/W2157479538","https://openalex.org/W2160781056","https://openalex.org/W2160963348","https://openalex.org/W2162630235","https://openalex.org/W2166091242","https://openalex.org/W2166615267","https://openalex.org/W2167744164","https://openalex.org/W2171745083","https://openalex.org/W2293159724","https://openalex.org/W2405985696","https://openalex.org/W2531502343","https://openalex.org/W3023641965","https://openalex.org/W3137220996","https://openalex.org/W4206635466","https://openalex.org/W4229635525","https://openalex.org/W4246334639","https://openalex.org/W4248655060","https://openalex.org/W4251803824","https://openalex.org/W4300810260","https://openalex.org/W6600049303","https://openalex.org/W6600156937","https://openalex.org/W6713716110"],"related_works":["https://openalex.org/W2122641512","https://openalex.org/W4317827391","https://openalex.org/W40577698","https://openalex.org/W1839004754","https://openalex.org/W1597188213","https://openalex.org/W2497938157","https://openalex.org/W4233212676","https://openalex.org/W184932080","https://openalex.org/W934691044","https://openalex.org/W2398725611"],"abstract_inverted_index":{"Shared-memory":[0],"parallel":[1],"programs":[2],"are":[3],"hard":[4],"to":[5,45,82,97,109,113,152,160],"get":[6],"right.":[7],"A":[8],"major":[9],"challenge":[10],"is":[11,150],"that":[12,32,58,64,78,125,147,184],"language":[13],"and":[14,95,131,138,142],"hardware":[15],"memory":[16,35,72],"models":[17],"allow":[18],"unexpected,":[19],"erroneous":[20],"behaviors":[21,43,80,111,158,183],"for":[22],"executions":[23],"containing":[24],"data":[25],"races.":[26],"Researchers":[27],"have":[28],"introduced":[29],"dynamic":[30,76,185],"analyses":[31,186],"expose":[33,42,110],"weak":[34],"model":[36],"behaviors,":[37],"but":[38],"these":[39],"approaches":[40],"cannot":[41],"due":[44,81,112,159],"loading":[46],"a":[47,51,55,74,88,92,103,122,154,172],"\"future":[48],"value\"":[49],"--":[50],"value":[52,90,101],"written":[53],"by":[54,136],"program":[56,62,93,182],"store":[57],"executes":[59],"after":[60],"the":[61,66,99,127,179],"load":[63],"uses":[65],"value.":[67],"This":[68],"paper":[69],"presents":[70],"prescient":[71],"(PM),":[73],"novel":[75,123],"analysis":[77],"exposes":[79],"future":[83,89,114,134,140,161],"values.":[84],"PM":[85,108,170],"speculatively":[86],"returns":[87],"at":[91,102],"load,":[94],"tries":[96],"validate":[98],"speculative":[100],"later":[104],"store.":[105],"To":[106],"enable":[107],"values":[115,141,162],"in":[116,163],"real":[117,167],"application":[118],"executions,":[119],"we":[120],"introduce":[121],"approach":[124,149],"increases":[126],"chances":[128],"of":[129,166,175,181],"using":[130],"successfully":[132],"validating":[133],"values,":[135],"profiling":[137],"predicting":[139],"guiding":[143],"execution.":[144],"Experiments":[145],"show":[146],"our":[148],"able":[151],"uncover":[153],"few":[155],"previously":[156],"unknown":[157],"benchmarked":[164],"versions":[165],"applications.":[168],"Overall,":[169],"overcomes":[171],"key":[173],"limitation":[174],"existing":[176],"approaches,":[177],"broadening":[178],"scope":[180],"can":[187],"expose.":[188]},"counts_by_year":[{"year":2023,"cited_by_count":1},{"year":2021,"cited_by_count":2},{"year":2019,"cited_by_count":3},{"year":2018,"cited_by_count":2},{"year":2017,"cited_by_count":6},{"year":2016,"cited_by_count":1}],"updated_date":"2026-08-06T08:24:18.245995","created_date":"2025-10-10T00:00:00"}