乐胖代购免代理版

{"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":{"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":null,"is_accepted":false,"is_published":false},"type":"article","type_crossref":"proceedings-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":"None Chi-Leung Wong","raw_affiliation_strings":["Illinois Univ., Urbana, IL, , USA"],"affiliations":[{"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":"None Zehra Sura","raw_affiliation_strings":["Illinois Univ., Urbana, IL, , USA"],"affiliations":[{"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":"None Xing Fang","raw_affiliation_strings":["Michigan State University,East Lansing, MI, USA"],"affiliations":[{"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"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"S.P. Midkiff","raw_affiliation_strings":["[IBM Thomas J. Watson Research Center, Yorktown Heights, NY , USA]"],"affiliations":[{"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":"None Jaejin Lee","raw_affiliation_strings":["Michigan State University,East Lansing, MI, USA"],"affiliations":[{"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"],"affiliations":[{"raw_affiliation_string":"University of Illinois, Urbana-Champaign IL, USA","institution_ids":["https://openalex.org/I157725225"]}]}],"institution_assertions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.614,"has_fulltext":true,"fulltext_origin":"ngrams","cited_by_count":5,"citation_normalized_percentile":{"value":0.527489,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":74,"max":76},"biblio":{"volume":null,"issue":null,"first_page":"239","last_page":"244"},"is_retracted":false,"is_paratext":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.9984,"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.9983,"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/memory-model","display_name":"Memory model","score":0.5567006},{"id":"https://openalex.org/keywords/causal-consistency","display_name":"Causal consistency","score":0.46962598},{"id":"https://openalex.org/keywords/java-modeling-language","display_name":"Java Modeling Language","score":0.44873977},{"id":"https://openalex.org/keywords/interface","display_name":"Interface (matter)","score":0.41155076}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.89821815},{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.78282404},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.71717614},{"id":"https://openalex.org/C37279795","wikidata":"https://www.wikidata.org/wiki/Q2492305","display_name":"Consistency model","level":3,"score":0.67727035},{"id":"https://openalex.org/C2776436953","wikidata":"https://www.wikidata.org/wiki/Q5163215","display_name":"Consistency (knowledge bases)","level":2,"score":0.6241419},{"id":"https://openalex.org/C12186640","wikidata":"https://www.wikidata.org/wiki/Q6815743","display_name":"Memory model","level":3,"score":0.5567006},{"id":"https://openalex.org/C82029504","wikidata":"https://www.wikidata.org/wiki/Q4373882","display_name":"Sequential consistency","level":4,"score":0.55554074},{"id":"https://openalex.org/C175652121","wikidata":"https://www.wikidata.org/wiki/Q4379351","display_name":"Causal consistency","level":5,"score":0.46962598},{"id":"https://openalex.org/C548217200","wikidata":"https://www.wikidata.org/wiki/Q251","display_name":"Java","level":2,"score":0.46061823},{"id":"https://openalex.org/C60945770","wikidata":"https://www.wikidata.org/wiki/Q2517517","display_name":"Java Modeling Language","level":5,"score":0.44873977},{"id":"https://openalex.org/C113843644","wikidata":"https://www.wikidata.org/wiki/Q901882","display_name":"Interface (matter)","level":4,"score":0.41155076},{"id":"https://openalex.org/C168702491","wikidata":"https://www.wikidata.org/wiki/Q567345","display_name":"Java annotation","level":4,"score":0.36402524},{"id":"https://openalex.org/C132106392","wikidata":"https://www.wikidata.org/wiki/Q1373903","display_name":"Real time Java","level":3,"score":0.3531885},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.20407164},{"id":"https://openalex.org/C133875982","wikidata":"https://www.wikidata.org/wiki/Q764810","display_name":"Shared memory","level":2,"score":0.19565395},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.11795804},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.083791405},{"id":"https://openalex.org/C157915830","wikidata":"https://www.wikidata.org/wiki/Q2928001","display_name":"Bubble","level":2,"score":0.0},{"id":"https://openalex.org/C129307140","wikidata":"https://www.wikidata.org/wiki/Q6795880","display_name":"Maximum bubble pressure method","level":3,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"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":null,"is_accepted":false,"is_published":false}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.64,"id":"https://metadata.un.org/sdg/9","display_name":"Industry, innovation and infrastructure"}],"grants":[],"datasets":[],"versions":[],"referenced_works_count":14,"referenced_works":["https://openalex.org/W1644882639","https://openalex.org/W168248273","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"],"related_works":["https://openalex.org/W2505917360","https://openalex.org/W2336902627","https://openalex.org/W2117642973","https://openalex.org/W2108847887","https://openalex.org/W2052172665","https://openalex.org/W2036306661","https://openalex.org/W2025301734","https://openalex.org/W1848398668","https://openalex.org/W1738788207","https://openalex.org/W118795575"],"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]},"cited_by_api_url":"https://api.openalex.org/works?filter=cites:W2109784760","counts_by_year":[{"year":2015,"cited_by_count":2}],"updated_date":"2024-12-10T21:49:53.388985","created_date":"2016-06-24"}