{"id":"https://openalex.org/W2109784760","doi":"https://doi.org/10.1109/ispan.2002.1004288","title":"The Pensieve project: a compiler infrastructure for memory models","display_name":"The Pensieve project: a compiler infrastructure for memory models","publication_year":2003,"publication_date":"2003-06-25","ids":{"openalex":"https://openalex.org/W2109784760","doi":"https://doi.org/10.1109/ispan.2002.1004288","mag":"2109784760"},"language":"en","primary_location":{"id":"doi:10.1109/ispan.2002.1004288","is_oa":false,"landing_page_url":"https://doi.org/10.1109/ispan.2002.1004288","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings International Symposium on Parallel Architectures, Algorithms and Networks. I-SPAN'02","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/A5069605883","display_name":"Chi-Leung Wong","orcid":null},"institutions":[{"id":"https://openalex.org/I157725225","display_name":"University of Illinois Urbana-Champaign","ror":"https://ror.org/047426m28","country_code":"US","type":"education","lineage":["https://openalex.org/I157725225"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Chi-Leung Wong","raw_affiliation_strings":["University of Illinois, Urbana-Champaign, IL, USA","Illinois Univ., Urbana, IL, , USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Illinois, Urbana-Champaign, IL, USA","institution_ids":["https://openalex.org/I157725225"]},{"raw_affiliation_string":"Illinois Univ., Urbana, IL, , USA","institution_ids":["https://openalex.org/I157725225"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5072951628","display_name":"Zehra Sura","orcid":null},"institutions":[{"id":"https://openalex.org/I157725225","display_name":"University of Illinois Urbana-Champaign","ror":"https://ror.org/047426m28","country_code":"US","type":"education","lineage":["https://openalex.org/I157725225"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Zehra Sura","raw_affiliation_strings":["University of Illinois, Urbana-Champaign, IL, USA","Illinois Univ., Urbana, IL, , USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Illinois, Urbana-Champaign, IL, USA","institution_ids":["https://openalex.org/I157725225"]},{"raw_affiliation_string":"Illinois Univ., Urbana, IL, , USA","institution_ids":["https://openalex.org/I157725225"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100841357","display_name":"Xing Fang","orcid":"https://orcid.org/0000-0002-9128-2159"},"institutions":[{"id":"https://openalex.org/I87216513","display_name":"Michigan State University","ror":"https://ror.org/05hs6h993","country_code":"US","type":"education","lineage":["https://openalex.org/I87216513"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Xing Fang","raw_affiliation_strings":["Michigan State University, East Lansing, MI, USA","Michigan State University,East Lansing, MI, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Michigan State University, East Lansing, MI, USA","institution_ids":["https://openalex.org/I87216513"]},{"raw_affiliation_string":"Michigan State University,East Lansing, MI, USA","institution_ids":["https://openalex.org/I87216513"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5013023792","display_name":"Samuel P. Midkiff","orcid":"https://orcid.org/0000-0003-0246-7192"},"institutions":[{"id":"https://openalex.org/I1341412227","display_name":"IBM (United States)","ror":"https://ror.org/05hh8d621","country_code":"US","type":"company","lineage":["https://openalex.org/I1341412227"]},{"id":"https://openalex.org/I4210114115","display_name":"IBM Research - Thomas J. Watson Research Center","ror":"https://ror.org/0265w5591","country_code":"US","type":"facility","lineage":["https://openalex.org/I1341412227","https://openalex.org/I4210114115"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"S.P. Midkiff","raw_affiliation_strings":["IBM Thomas J. Watson Research Center, Yorktown Heights, NY, USA","[IBM Thomas J. Watson Research Center, Yorktown Heights, NY , USA]"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"IBM Thomas J. Watson Research Center, Yorktown Heights, NY, USA","institution_ids":["https://openalex.org/I4210114115"]},{"raw_affiliation_string":"[IBM Thomas J. Watson Research Center, Yorktown Heights, NY , USA]","institution_ids":["https://openalex.org/I1341412227"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100767182","display_name":"Jaejin Lee","orcid":"https://orcid.org/0000-0003-4638-8170"},"institutions":[{"id":"https://openalex.org/I87216513","display_name":"Michigan State University","ror":"https://ror.org/05hs6h993","country_code":"US","type":"education","lineage":["https://openalex.org/I87216513"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Jaejin Lee","raw_affiliation_strings":["Michigan State University, East Lansing, MI, USA","Michigan State University,East Lansing, MI, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Michigan State University, East Lansing, MI, USA","institution_ids":["https://openalex.org/I87216513"]},{"raw_affiliation_string":"Michigan State University,East Lansing, MI, USA","institution_ids":["https://openalex.org/I87216513"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5109071293","display_name":"David Padua","orcid":null},"institutions":[{"id":"https://openalex.org/I157725225","display_name":"University of Illinois Urbana-Champaign","ror":"https://ror.org/047426m28","country_code":"US","type":"education","lineage":["https://openalex.org/I157725225"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"D. Padua","raw_affiliation_strings":["University of Illinois, Urbana-Champaign, IL, USA","University of Illinois, Urbana-Champaign IL, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Illinois, Urbana-Champaign, IL, USA","institution_ids":["https://openalex.org/I157725225"]},{"raw_affiliation_string":"University of Illinois, Urbana-Champaign IL, USA","institution_ids":["https://openalex.org/I157725225"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":6,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.7432,"has_fulltext":false,"cited_by_count":5,"citation_normalized_percentile":{"value":0.7260479,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":94,"max":96},"biblio":{"volume":null,"issue":null,"first_page":"239","last_page":"244"},"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/T10126","display_name":"Logic, programming, and type systems","score":0.9983999729156494,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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.9983000159263611,"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.8982181549072266},{"id":"https://openalex.org/keywords/compiler","display_name":"Compiler","score":0.7828240394592285},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.7171761393547058},{"id":"https://openalex.org/keywords/consistency-model","display_name":"Consistency model","score":0.6772703528404236},{"id":"https://openalex.org/keywords/consistency","display_name":"Consistency (knowledge bases)","score":0.6241418719291687},{"id":"https://openalex.org/keywords/memory-model","display_name":"Memory model","score":0.556700587272644},{"id":"https://openalex.org/keywords/sequential-consistency","display_name":"Sequential consistency","score":0.5555407404899597},{"id":"https://openalex.org/keywords/causal-consistency","display_name":"Causal consistency","score":0.46962597966194153},{"id":"https://openalex.org/keywords/java","display_name":"Java","score":0.4606182277202606},{"id":"https://openalex.org/keywords/java-modeling-language","display_name":"Java Modeling Language","score":0.44873976707458496},{"id":"https://openalex.org/keywords/interface","display_name":"Interface (matter)","score":0.41155076026916504},{"id":"https://openalex.org/keywords/java-annotation","display_name":"Java annotation","score":0.3640252351760864},{"id":"https://openalex.org/keywords/real-time-java","display_name":"Real time Java","score":0.35318851470947266},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.20407164096832275},{"id":"https://openalex.org/keywords/shared-memory","display_name":"Shared memory","score":0.19565394520759583},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.11795803904533386},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.08379140496253967}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8982181549072266},{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.7828240394592285},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.7171761393547058},{"id":"https://openalex.org/C37279795","wikidata":"https://www.wikidata.org/wiki/Q2492305","display_name":"Consistency model","level":3,"score":0.6772703528404236},{"id":"https://openalex.org/C2776436953","wikidata":"https://www.wikidata.org/wiki/Q5163215","display_name":"Consistency (knowledge bases)","level":2,"score":0.6241418719291687},{"id":"https://openalex.org/C12186640","wikidata":"https://www.wikidata.org/wiki/Q6815743","display_name":"Memory model","level":3,"score":0.556700587272644},{"id":"https://openalex.org/C82029504","wikidata":"https://www.wikidata.org/wiki/Q4373882","display_name":"Sequential consistency","level":4,"score":0.5555407404899597},{"id":"https://openalex.org/C175652121","wikidata":"https://www.wikidata.org/wiki/Q4379351","display_name":"Causal consistency","level":5,"score":0.46962597966194153},{"id":"https://openalex.org/C548217200","wikidata":"https://www.wikidata.org/wiki/Q251","display_name":"Java","level":2,"score":0.4606182277202606},{"id":"https://openalex.org/C60945770","wikidata":"https://www.wikidata.org/wiki/Q2517517","display_name":"Java Modeling Language","level":5,"score":0.44873976707458496},{"id":"https://openalex.org/C113843644","wikidata":"https://www.wikidata.org/wiki/Q901882","display_name":"Interface (matter)","level":4,"score":0.41155076026916504},{"id":"https://openalex.org/C168702491","wikidata":"https://www.wikidata.org/wiki/Q567345","display_name":"Java annotation","level":4,"score":0.3640252351760864},{"id":"https://openalex.org/C132106392","wikidata":"https://www.wikidata.org/wiki/Q1373903","display_name":"Real time Java","level":3,"score":0.35318851470947266},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.20407164096832275},{"id":"https://openalex.org/C133875982","wikidata":"https://www.wikidata.org/wiki/Q764810","display_name":"Shared memory","level":2,"score":0.19565394520759583},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.11795803904533386},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.08379140496253967},{"id":"https://openalex.org/C129307140","wikidata":"https://www.wikidata.org/wiki/Q6795880","display_name":"Maximum bubble pressure method","level":3,"score":0.0},{"id":"https://openalex.org/C157915830","wikidata":"https://www.wikidata.org/wiki/Q2928001","display_name":"Bubble","level":2,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/ispan.2002.1004288","is_oa":false,"landing_page_url":"https://doi.org/10.1109/ispan.2002.1004288","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings International Symposium on Parallel Architectures, Algorithms and Networks. I-SPAN'02","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Industry, innovation and infrastructure","score":0.6399999856948853,"id":"https://metadata.un.org/sdg/9"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":17,"referenced_works":["https://openalex.org/W168248273","https://openalex.org/W1644882639","https://openalex.org/W2007920703","https://openalex.org/W2014530617","https://openalex.org/W2029601347","https://openalex.org/W2039509099","https://openalex.org/W2055060936","https://openalex.org/W2092284451","https://openalex.org/W2102839400","https://openalex.org/W2107859560","https://openalex.org/W2138180780","https://openalex.org/W2170389900","https://openalex.org/W4235988428","https://openalex.org/W4246430693","https://openalex.org/W6636988782","https://openalex.org/W6664356690","https://openalex.org/W6673609596"],"related_works":["https://openalex.org/W2036306661","https://openalex.org/W2025301734","https://openalex.org/W118795575","https://openalex.org/W2108847887","https://openalex.org/W2336902627","https://openalex.org/W1738788207","https://openalex.org/W2117642973","https://openalex.org/W2505917360","https://openalex.org/W1848398668","https://openalex.org/W2052172665"],"abstract_inverted_index":{"The":[0,153,189],"design":[1,128],"of":[2,81,84,129,181,214],"memory":[3,91,201,210],"consistency":[4,63,145,183],"models":[5,184,202,211],"for":[6,19,34,147],"both":[7],"hardware":[8],"and":[9,65,107,160,167,187,203],"software":[10],"is":[11,16,27,48,70,87,104,120,191],"a":[12,20,35,40,73,144,196],"difficult":[13,18],"task.":[14],"It":[15],"particularly":[17],"programming":[21,53,61],"language":[22,54,62],"because":[23],"the":[24,31,49,52,82,85,88,118,127,148,179,206],"target":[25,32],"audience":[26,33],"much":[28,72],"wider":[29],"than":[30],"machine":[36],"language,":[37],"making":[38],"usability":[39],"more":[41],"important":[42],"criterion.":[43],"Adding":[44],"to":[45,95,98,116,150,177,193,198,204],"this":[46,123],"problem":[47],"fact":[50],"that":[51,134],"community":[55],"has":[56],"little":[57],"experience":[58],"with":[59],"designing":[60],"models,":[64],"therefore":[66],"each":[67],"new":[68,200],"attempt":[69],"very":[71],"voyage":[74],"into":[75],"uncharted":[76],"territory.":[77],"A":[78],"concrete":[79],"example":[80],"difficulties":[83],"task":[86],"current":[89],"Java":[90,101,132],"model.":[92],"Although":[93],"designed":[94],"be":[96,151],"easy":[97],"use":[99],"by":[100],"programmers,":[102],"it":[103],"poorly":[105],"understood,":[106],"at":[108],"least":[109],"one":[110],"common":[111],"idiom":[112],"(the":[113],"\"double-check":[114],"idiom\")":[115],"exploit":[117],"model":[119,146],"unsafe.":[121],"In":[122],"paper,":[124],"we":[125],"describe":[126],"an":[130,141],"optimizing":[131],"compiler":[133,154,190],"accepts,":[135],"as":[136,140,195],"either":[137],"input":[138],"or":[139],"interface":[142],"implementation,":[143],"code":[149],"compiled.":[152],"uses":[155],"escape":[156],"analysis,":[157,166],"D.":[158],"Shasha":[159],"M.":[161],"Snir's":[162],"(1988)":[163],"delay":[164],"set":[165],"our":[168],"own":[169],"CSSA":[170],"(concurrent":[171],"static":[172],"single":[173],"assignment)":[174],"program":[175,215],"representation":[176],"normalize":[178],"effects":[180],"different":[182,209],"on":[185],"optimizations":[186],"analysis.":[188],"intended":[192],"serve":[194],"testbed":[197],"prototype":[199],"measure":[205],"differences":[207],"between":[208],"in":[212],"terms":[213],"performance.":[216]},"counts_by_year":[{"year":2015,"cited_by_count":2}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}