{"id":"https://openalex.org/W3197594700","doi":"https://doi.org/10.1145/3360559","title":"Weakening WebAssembly","display_name":"Weakening WebAssembly","publication_year":2019,"publication_date":"2019-10-10","ids":{"openalex":"https://openalex.org/W3197594700","doi":"https://doi.org/10.1145/3360559","mag":"3197594700"},"language":"en","primary_location":{"id":"doi:10.1145/3360559","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3360559","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3360559","source":{"id":"https://openalex.org/S4210216081","display_name":"Proceedings of the ACM on Programming Languages","issn_l":"2475-1421","issn":["2475-1421"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"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 ACM on Programming Languages","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://dl.acm.org/doi/pdf/10.1145/3360559","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5060197721","display_name":"Conrad Watt","orcid":"https://orcid.org/0000-0002-0596-877X"},"institutions":[{"id":"https://openalex.org/I241749","display_name":"University of Cambridge","ror":"https://ror.org/013meh722","country_code":"GB","type":"education","lineage":["https://openalex.org/I241749"]}],"countries":["GB"],"is_corresponding":true,"raw_author_name":"Conrad Watt","raw_affiliation_strings":["University of Cambridge, UK"],"affiliations":[{"raw_affiliation_string":"University of Cambridge, UK","institution_ids":["https://openalex.org/I241749"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5054382677","display_name":"Andreas Rossberg","orcid":"https://orcid.org/0000-0003-3137-3160"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Andreas Rossberg","raw_affiliation_strings":["Dfinity Stiftung, Germany"],"affiliations":[{"raw_affiliation_string":"Dfinity Stiftung, Germany","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5027766872","display_name":"Jean Pichon-Pharabod","orcid":"https://orcid.org/0000-0002-4442-6543"},"institutions":[{"id":"https://openalex.org/I241749","display_name":"University of Cambridge","ror":"https://ror.org/013meh722","country_code":"GB","type":"education","lineage":["https://openalex.org/I241749"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Jean Pichon-Pharabod","raw_affiliation_strings":["University of Cambridge, UK"],"affiliations":[{"raw_affiliation_string":"University of Cambridge, UK","institution_ids":["https://openalex.org/I241749"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5060197721"],"corresponding_institution_ids":["https://openalex.org/I241749"],"apc_list":null,"apc_paid":null,"fwci":3.9498,"has_fulltext":true,"cited_by_count":29,"citation_normalized_percentile":{"value":0.94456398,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":90,"max":98},"biblio":{"volume":"3","issue":"OOPSLA","first_page":"1","last_page":"28"},"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.9991999864578247,"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.9991999864578247,"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/T11424","display_name":"Security and Verification in Computing","score":0.9962000250816345,"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/T12808","display_name":"Ferroelectric and Negative Capacitance Devices","score":0.9954000115394592,"subfield":{"id":"https://openalex.org/subfields/2208","display_name":"Electrical and Electronic Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"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.8698593378067017},{"id":"https://openalex.org/keywords/memory-model","display_name":"Memory model","score":0.7043381333351135},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.674720823764801},{"id":"https://openalex.org/keywords/compiler","display_name":"Compiler","score":0.5876110196113586},{"id":"https://openalex.org/keywords/sequential-consistency","display_name":"Sequential consistency","score":0.5548285245895386},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.4935251474380493},{"id":"https://openalex.org/keywords/javascript","display_name":"JavaScript","score":0.4309025704860687},{"id":"https://openalex.org/keywords/data-structure","display_name":"Data structure","score":0.4253446161746979},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.42410147190093994},{"id":"https://openalex.org/keywords/consistency-model","display_name":"Consistency model","score":0.3817427456378937},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.35563763976097107},{"id":"https://openalex.org/keywords/shared-memory","display_name":"Shared memory","score":0.33736661076545715},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.0947611927986145}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8698593378067017},{"id":"https://openalex.org/C12186640","wikidata":"https://www.wikidata.org/wiki/Q6815743","display_name":"Memory model","level":3,"score":0.7043381333351135},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.674720823764801},{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.5876110196113586},{"id":"https://openalex.org/C82029504","wikidata":"https://www.wikidata.org/wiki/Q4373882","display_name":"Sequential consistency","level":4,"score":0.5548285245895386},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.4935251474380493},{"id":"https://openalex.org/C544833334","wikidata":"https://www.wikidata.org/wiki/Q2005","display_name":"JavaScript","level":2,"score":0.4309025704860687},{"id":"https://openalex.org/C162319229","wikidata":"https://www.wikidata.org/wiki/Q175263","display_name":"Data structure","level":2,"score":0.4253446161746979},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.42410147190093994},{"id":"https://openalex.org/C37279795","wikidata":"https://www.wikidata.org/wiki/Q2492305","display_name":"Consistency model","level":3,"score":0.3817427456378937},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.35563763976097107},{"id":"https://openalex.org/C133875982","wikidata":"https://www.wikidata.org/wiki/Q764810","display_name":"Shared memory","level":2,"score":0.33736661076545715},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.0947611927986145}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3360559","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3360559","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3360559","source":{"id":"https://openalex.org/S4210216081","display_name":"Proceedings of the ACM on Programming Languages","issn_l":"2475-1421","issn":["2475-1421"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"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 ACM on Programming Languages","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.1145/3360559","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3360559","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3360559","source":{"id":"https://openalex.org/S4210216081","display_name":"Proceedings of the ACM on Programming Languages","issn_l":"2475-1421","issn":["2475-1421"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"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 ACM on Programming Languages","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G2071862857","display_name":null,"funder_award_id":"EP/N509620","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G2335238807","display_name":null,"funder_award_id":"EP/K008528","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G2867726338","display_name":null,"funder_award_id":"EP/N509620/","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G3129715815","display_name":"DTP 2016-2017 University of Cambridge","funder_award_id":"EP/N509620/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G5860500101","display_name":"REMS: Rigorous Engineering for Mainstream Systems","funder_award_id":"EP/K008528/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G6618261380","display_name":null,"funder_award_id":"(EP/N509620/1)","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G7401479227","display_name":null,"funder_award_id":"EP/K008528/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"}],"funders":[{"id":"https://openalex.org/F4320334627","display_name":"Engineering and Physical Sciences Research Council","ror":"https://ror.org/0439y7842"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W3197594700.pdf","grobid_xml":"https://content.openalex.org/works/W3197594700.grobid-xml"},"referenced_works_count":31,"referenced_works":["https://openalex.org/W867008410","https://openalex.org/W1482397304","https://openalex.org/W1514055772","https://openalex.org/W1525350307","https://openalex.org/W2000659103","https://openalex.org/W2045867114","https://openalex.org/W2054391605","https://openalex.org/W2091085450","https://openalex.org/W2110879934","https://openalex.org/W2117502039","https://openalex.org/W2152885346","https://openalex.org/W2153636750","https://openalex.org/W2163490397","https://openalex.org/W2235853928","https://openalex.org/W2280574045","https://openalex.org/W2293159724","https://openalex.org/W2533070090","https://openalex.org/W2564852534","https://openalex.org/W2625141509","https://openalex.org/W2778960843","https://openalex.org/W2790469097","https://openalex.org/W2799051758","https://openalex.org/W3011851329","https://openalex.org/W3016769689","https://openalex.org/W3137220996","https://openalex.org/W4206635466","https://openalex.org/W4211236556","https://openalex.org/W4234066571","https://openalex.org/W4239064133","https://openalex.org/W4246957455","https://openalex.org/W4256041698"],"related_works":["https://openalex.org/W1569741251","https://openalex.org/W4300963581","https://openalex.org/W3037400639","https://openalex.org/W4317827391","https://openalex.org/W1496676675","https://openalex.org/W2110339542","https://openalex.org/W2497938157","https://openalex.org/W2999610704","https://openalex.org/W1524267037","https://openalex.org/W1606518252"],"abstract_inverted_index":{"WebAssembly":[0],"(Wasm)":[1],"is":[2,25,78,92,126,197,223,230],"a":[3,14,21,26,49,82,95,106,113,119,175,255],"safe,":[4],"portable":[5],"virtual":[6],"instruction":[7],"set":[8],"that":[9,99,129,184,212,219,240],"can":[10,134,161],"be":[11,135,242],"hosted":[12],"in":[13,128,226,232],"wide":[15],"range":[16],"of":[17,43,74,85,151,158,208,213],"environments,":[18],"such":[19],"as":[20,262],"Web":[22],"browser.":[23],"It":[24],"low-level":[27,55],"language":[28,90],"whose":[29],"instructions":[30,62],"are":[31,143],"intended":[32],"to":[33,36,66,80,109,147,179,198,228,244,248],"compile":[34],"directly":[35],"bare":[37],"hardware.":[38],"While":[39],"the":[40,71,148,156,159,201,245],"initial":[41],"version":[42],"Wasm":[44,196],"focussed":[45],"on":[46,94,200],"single-threaded":[47],"computation,":[48],"recent":[50],"proposal":[51],"extends":[52],"it":[53,77],"with":[54,118,211],"support":[56,70],"for":[57,63,190,265],"multiple":[58],"threads":[59],"and":[60],"atomic":[61],"synchronised":[64],"access":[65],"shared":[67],"memory.":[68],"To":[69],"correct":[72,249],"compilation":[73,170],"concurrent":[75],"programs,":[76],"necessary":[79],"give":[81,174],"suitable":[83],"specification":[84,98],"its":[86,130,209,233,270],"memory":[87,115,124,160,180,221,273],"model.":[88],"Wasm's":[89,123],"definition":[91],"based":[93],"fully":[96],"formalised":[97],"carefully":[100],"avoids":[101],"undefined":[102],"behaviour.":[103],"We":[104,165,182,215,235,252],"present":[105],"substantial":[107],"extension":[108],"this":[110,250],"semantics,":[111],"incorporating":[112],"relaxed":[114],"model,":[116,268],"along":[117],"few":[120],"proposed":[121],"extensions.":[122],"model":[125,186,210,222,247],"unique":[127],"linear":[131],"address":[132],"space":[133],"dynamically":[136],"grown":[137],"during":[138],"execution,":[139],"while":[140],"all":[141],"accesses":[142],"bounds-checked.":[144],"This":[145],"leads":[146],"novel":[149],"problem":[150],"specifying":[152],"how":[153],"observations":[154],"about":[155],"size":[157],"propagate":[162],"between":[163],"threads.":[164],"argue":[166],"that,":[167],"considering":[168],"desirable":[169],"schemes,":[171],"we":[172,203],"cannot":[173],"sequentially":[176],"consistent":[177],"semantics":[178],"growth.":[181],"show":[183],"our":[185,266],"provides":[187],"sequential":[188],"consistency":[189],"data-race-free":[191],"executions":[192],"(SC-DRF).":[193],"However,":[194],"because":[195],"run":[199],"Web,":[202],"must":[204],"also":[205,253],"consider":[206],"interoperability":[207],"JavaScript.":[214],"show,":[216],"by":[217],"counter-example,":[218],"JavaScript's":[220],"not":[224],"SC-DRF,":[225],"contrast":[227],"what":[229],"claimed":[231],"specification.":[234],"propose":[236],"two":[237],"axiomatic":[238,267],"conditions":[239],"should":[241],"added":[243],"JavaScript":[246],"difference.":[251],"describe":[254],"prototype":[256],"SMT-based":[257],"litmus":[258],"tool":[259],"which":[260],"acts":[261],"an":[263],"oracle":[264],"visualising":[269],"behaviours,":[271],"including":[272],"resizing.":[274]},"counts_by_year":[{"year":2025,"cited_by_count":5},{"year":2024,"cited_by_count":2},{"year":2023,"cited_by_count":5},{"year":2022,"cited_by_count":3},{"year":2021,"cited_by_count":6},{"year":2020,"cited_by_count":6},{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":1}],"updated_date":"2026-04-21T08:09:41.155169","created_date":"2025-10-10T00:00:00"}