{"id":"https://openalex.org/W4399872426","doi":"https://doi.org/10.1145/3656440","title":"Bringing the WebAssembly Standard up to Speed with SpecTec","display_name":"Bringing the WebAssembly Standard up to Speed with SpecTec","publication_year":2024,"publication_date":"2024-06-20","ids":{"openalex":"https://openalex.org/W4399872426","doi":"https://doi.org/10.1145/3656440"},"language":"en","primary_location":{"id":"doi:10.1145/3656440","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3656440","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3656440","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/3656440","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5007040243","display_name":"Dongjun Youn","orcid":"https://orcid.org/0000-0002-5766-2035"},"institutions":[{"id":"https://openalex.org/I157485424","display_name":"Korea Advanced Institute of Science and Technology","ror":"https://ror.org/05apxxy63","country_code":"KR","type":"education","lineage":["https://openalex.org/I157485424"]}],"countries":["KR"],"is_corresponding":true,"raw_author_name":"Dongjun Youn","raw_affiliation_strings":["KAIST, Daejeon, South Korea"],"raw_orcid":"https://orcid.org/0000-0002-5766-2035","affiliations":[{"raw_affiliation_string":"KAIST, Daejeon, South Korea","institution_ids":["https://openalex.org/I157485424"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5012890767","display_name":"Wonho Shin","orcid":"https://orcid.org/0000-0002-1889-3797"},"institutions":[{"id":"https://openalex.org/I157485424","display_name":"Korea Advanced Institute of Science and Technology","ror":"https://ror.org/05apxxy63","country_code":"KR","type":"education","lineage":["https://openalex.org/I157485424"]}],"countries":["KR"],"is_corresponding":false,"raw_author_name":"Wonho Shin","raw_affiliation_strings":["KAIST, Daejeon, South Korea"],"raw_orcid":"https://orcid.org/0000-0002-1889-3797","affiliations":[{"raw_affiliation_string":"KAIST, Daejeon, South Korea","institution_ids":["https://openalex.org/I157485424"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Jaehyun Lee","orcid":"https://orcid.org/0009-0003-9757-9994"},"institutions":[{"id":"https://openalex.org/I157485424","display_name":"Korea Advanced Institute of Science and Technology","ror":"https://ror.org/05apxxy63","country_code":"KR","type":"education","lineage":["https://openalex.org/I157485424"]}],"countries":["KR"],"is_corresponding":false,"raw_author_name":"Jaehyun Lee","raw_affiliation_strings":["KAIST, Daejeon, South Korea"],"raw_orcid":"https://orcid.org/0009-0003-9757-9994","affiliations":[{"raw_affiliation_string":"KAIST, Daejeon, South Korea","institution_ids":["https://openalex.org/I157485424"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5087492388","display_name":"Sukyoung Ryu","orcid":"https://orcid.org/0000-0002-0019-9772"},"institutions":[{"id":"https://openalex.org/I157485424","display_name":"Korea Advanced Institute of Science and Technology","ror":"https://ror.org/05apxxy63","country_code":"KR","type":"education","lineage":["https://openalex.org/I157485424"]}],"countries":["KR"],"is_corresponding":false,"raw_author_name":"Sukyoung Ryu","raw_affiliation_strings":["KAIST, Daejeon, South Korea"],"raw_orcid":"https://orcid.org/0000-0002-0019-9772","affiliations":[{"raw_affiliation_string":"KAIST, Daejeon, South Korea","institution_ids":["https://openalex.org/I157485424"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5049741143","display_name":"Joachim Breitner","orcid":"https://orcid.org/0000-0003-3753-6821"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Joachim Breitner","raw_affiliation_strings":["Independent, Freiburg, Germany"],"raw_orcid":"https://orcid.org/0000-0003-3753-6821","affiliations":[{"raw_affiliation_string":"Independent, Freiburg, Germany","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5047951273","display_name":"Philippa Gardner","orcid":"https://orcid.org/0000-0002-4187-0585"},"institutions":[{"id":"https://openalex.org/I47508984","display_name":"Imperial College London","ror":"https://ror.org/041kmwe10","country_code":"GB","type":"education","lineage":["https://openalex.org/I47508984"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Philippa Gardner","raw_affiliation_strings":["Imperial College London, London, United Kingdom"],"raw_orcid":"https://orcid.org/0000-0002-4187-0585","affiliations":[{"raw_affiliation_string":"Imperial College London, London, United Kingdom","institution_ids":["https://openalex.org/I47508984"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5061903791","display_name":"Sam Lindley","orcid":"https://orcid.org/0000-0002-1360-4714"},"institutions":[{"id":"https://openalex.org/I98677209","display_name":"University of Edinburgh","ror":"https://ror.org/01nrxwf90","country_code":"GB","type":"education","lineage":["https://openalex.org/I98677209"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Sam Lindley","raw_affiliation_strings":["University of Edinburgh, Edinburgh, United Kingdom"],"raw_orcid":"https://orcid.org/0000-0002-1360-4714","affiliations":[{"raw_affiliation_string":"University of Edinburgh, Edinburgh, United Kingdom","institution_ids":["https://openalex.org/I98677209"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5078127242","display_name":"Matija Pretnar","orcid":"https://orcid.org/0000-0001-7755-2303"},"institutions":[{"id":"https://openalex.org/I153976015","display_name":"University of Ljubljana","ror":"https://ror.org/05njb9z20","country_code":"SI","type":"education","lineage":["https://openalex.org/I153976015"]}],"countries":["SI"],"is_corresponding":false,"raw_author_name":"Matija Pretnar","raw_affiliation_strings":["University of Ljubljana, Ljubljana, Slovenia"],"raw_orcid":"https://orcid.org/0000-0001-7755-2303","affiliations":[{"raw_affiliation_string":"University of Ljubljana, Ljubljana, Slovenia","institution_ids":["https://openalex.org/I153976015"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5085572145","display_name":"Xiaojia Rao","orcid":"https://orcid.org/0009-0008-4391-1214"},"institutions":[{"id":"https://openalex.org/I47508984","display_name":"Imperial College London","ror":"https://ror.org/041kmwe10","country_code":"GB","type":"education","lineage":["https://openalex.org/I47508984"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Xiaojia Rao","raw_affiliation_strings":["Imperial College London, London, United Kingdom"],"raw_orcid":"https://orcid.org/0009-0008-4391-1214","affiliations":[{"raw_affiliation_string":"Imperial College London, London, United Kingdom","institution_ids":["https://openalex.org/I47508984"]}]},{"author_position":"middle","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":false,"raw_author_name":"Conrad Watt","raw_affiliation_strings":["University of Cambridge, Cambridge, United Kingdom"],"raw_orcid":"https://orcid.org/0000-0002-0596-877X","affiliations":[{"raw_affiliation_string":"University of Cambridge, Cambridge, United Kingdom","institution_ids":["https://openalex.org/I241749"]}]},{"author_position":"last","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":["Independent, Munich, Germany"],"raw_orcid":"https://orcid.org/0000-0003-3137-3160","affiliations":[{"raw_affiliation_string":"Independent, Munich, Germany","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":11,"corresponding_author_ids":["https://openalex.org/A5007040243"],"corresponding_institution_ids":["https://openalex.org/I157485424"],"apc_list":null,"apc_paid":null,"fwci":23.7505,"has_fulltext":false,"cited_by_count":24,"citation_normalized_percentile":{"value":0.99262866,"is_in_top_1_percent":true,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":96,"max":100},"biblio":{"volume":"8","issue":"PLDI","first_page":"1559","last_page":"1584"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11986","display_name":"Scientific Computing and Data Management","score":0.9833999872207642,"subfield":{"id":"https://openalex.org/subfields/1802","display_name":"Information Systems and Management"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},"topics":[{"id":"https://openalex.org/T11986","display_name":"Scientific Computing and Data Management","score":0.9833999872207642,"subfield":{"id":"https://openalex.org/subfields/1802","display_name":"Information Systems and Management"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9574999809265137,"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/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9516000151634216,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.37123212218284607}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.37123212218284607}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.1145/3656440","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3656440","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3656440","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"},{"id":"pmh:oai:pure.ed.ac.uk:openaire/64c84410-3147-4a56-93a2-07b2b0a21990","is_oa":true,"landing_page_url":"https://hdl.handle.net/20.500.11820/64c84410-3147-4a56-93a2-07b2b0a21990","pdf_url":null,"source":{"id":"https://openalex.org/S4406922455","display_name":"Edinburgh Research Explorer","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Youn, D, Shin, W, Lee, J, Ryu, S, Breitner, J, Gardner, P, Lindley, S, Pretnar, M, Rao, X, Watt, C & Rossberg, A 2024, 'Bringing the WebAssembly standard up to speed with SpecTec', Proceedings of the ACM on Programming Languages, vol. 8, no. PLDI, 210, pp. 1559-1584. https://doi.org/10.1145/3656440","raw_type":"info:eu-repo/semantics/publishedVersion"},{"id":"pmh:oai:pure.ed.ac.uk:publications/64c84410-3147-4a56-93a2-07b2b0a21990","is_oa":true,"landing_page_url":"https://www.research.ed.ac.uk/en/publications/64c84410-3147-4a56-93a2-07b2b0a21990","pdf_url":null,"source":{"id":"https://openalex.org/S4406922455","display_name":"Edinburgh Research Explorer","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Youn, D, Shin, W, Lee, J, Ryu, S, Breitner, J, Gardner, P, Lindley, S, Pretnar, M, Rao, X, Watt, C & Rossberg, A 2024, 'Bringing the WebAssembly standard up to speed with SpecTec', Proceedings of the ACM on Programming Languages, vol. 8, no. PLDI, 210, pp. 1559-1584. https://doi.org/10.1145/3656440","raw_type":"info:eu-repo/semantics/publishedVersion"},{"id":"pmh:oai:spiral.imperial.ac.uk:10044/1/115640","is_oa":true,"landing_page_url":"http://hdl.handle.net/10044/1/115640","pdf_url":null,"source":{"id":"https://openalex.org/S4306401396","display_name":"Spiral (Imperial College London)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I47508984","host_organization_name":"Imperial College London","host_organization_lineage":["https://openalex.org/I47508984"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"1584","raw_type":"Journal Article"}],"best_oa_location":{"id":"doi:10.1145/3656440","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3656440","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3656440","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/G914813273","display_name":null,"funder_award_id":"G01210570","funder_id":"https://openalex.org/F4320332195","funder_display_name":"Samsung"}],"funders":[{"id":"https://openalex.org/F4320332195","display_name":"Samsung","ror":"https://ror.org/04w3jy968"}],"has_content":{"grobid_xml":false,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4399872426.pdf"},"referenced_works_count":32,"referenced_works":["https://openalex.org/W1486298687","https://openalex.org/W1829244603","https://openalex.org/W2003556922","https://openalex.org/W2006731094","https://openalex.org/W2023035194","https://openalex.org/W2052735108","https://openalex.org/W2082841864","https://openalex.org/W2106047869","https://openalex.org/W2117802778","https://openalex.org/W2235853928","https://openalex.org/W2401610261","https://openalex.org/W2603034903","https://openalex.org/W2625141509","https://openalex.org/W2762980364","https://openalex.org/W2777364118","https://openalex.org/W2778960843","https://openalex.org/W2779850521","https://openalex.org/W2901454403","https://openalex.org/W2932657656","https://openalex.org/W3011514808","https://openalex.org/W3105116128","https://openalex.org/W3122277321","https://openalex.org/W3163573021","https://openalex.org/W3213441457","https://openalex.org/W4283259407","https://openalex.org/W4308641912","https://openalex.org/W4379512473","https://openalex.org/W4379537472","https://openalex.org/W4385764477","https://openalex.org/W4385767379","https://openalex.org/W6732209734","https://openalex.org/W6967422645"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W2358668433","https://openalex.org/W4396701345","https://openalex.org/W2376932109","https://openalex.org/W2001405890","https://openalex.org/W4396696052","https://openalex.org/W2382290278","https://openalex.org/W4395014643"],"abstract_inverted_index":{"WebAssembly":[0],"(Wasm)":[1],"is":[2,23,185,222],"a":[3,17,28,84,89,114,121,131,142],"portable":[4],"low-level":[5],"bytecode":[6],"language":[7,34,91],"and":[8,36,49,76,78,93,101,137,141,150,166,190,204,233],"virtual":[9],"machine":[10],"that":[11,95,168,183,200,223],"has":[12,73],"seen":[13],"increasing":[14],"use":[15],"in":[16,43,47,50,79,197,207,213],"variety":[18],"of":[19,64,104,117,124,175,217,239],"ecosystems.":[20],"Its":[21],"specification":[22,100,199],"unusually":[24],"rigorous":[25],"\u2013":[26,35],"including":[27,134],"full":[29],"formal":[30,45,135],"semantics":[31],"for":[32,147,211],"the":[33,51,61,65,98,102,125,162,169,176,198,214,229,240],"every":[37],"new":[38,109],"feature":[39],"must":[40],"be":[41,58,226],"specified":[42],"this":[44,67,80],"semantics,":[46,127],"prose,":[48],"official":[52,178],"reference":[53],"interpreter":[54,172],"before":[55],"it":[56],"can":[57,129],"standardized.":[59],"With":[60],"growing":[62],"size":[63],"language,":[66],"manual":[68],"process":[69],"with":[70],"its":[71],"redundancies":[72],"become":[74],"laborious":[75],"error-prone,":[77],"work,":[81],"we":[82,128],"offer":[83],"solution.":[85],"We":[86,156,181],"present":[87],"SpecTec,":[88],"domain-specific":[90],"(DSL)":[92],"toolchain":[94],"facilitates":[96],"both":[97],"Wasm":[99,126,164,230],"generation":[103,149],"artifacts":[105],"necessary":[106],"to":[107,160,235],"standardize":[108],"features.":[110],"SpecTec":[111,122,184,224],"serves":[112],"as":[113],"single":[115],"source":[116],"truth":[118],"\u2014":[119],"from":[120],"definition":[123],"generate":[130],"typeset":[132],"specification,":[133],"definitions":[136],"prose":[138],"pseudocode":[139],"descriptions,":[140],"meta-level":[143,171],"interpreter.":[144],"Further":[145],"backends":[146],"test":[148,179],"interactive":[151],"theorem":[152],"proving":[153],"are":[154],"planned.":[155],"evaluate":[157],"SpecTec\u2019s":[158],"ability":[159],"represent":[161],"latest":[163],"2.0":[165],"show":[167,182],"generated":[170],"passes":[173],"100%":[174],"applicable":[177],"suite.":[180],"highly":[186],"effective":[187],"at":[188],"discovering":[189],"preventing":[191],"errors":[192,196,206],"by":[193,228],"detecting":[194],"historical":[195],"have":[201],"been":[202],"corrected":[203],"ten":[205],"five":[208],"proposals":[209],"ready":[210],"inclusion":[212],"next":[215],"version":[216],"Wasm.":[218],"Our":[219],"ultimate":[220],"aim":[221],"should":[225],"adopted":[227],"standards":[231],"community":[232],"used":[234],"specify":[236],"future":[237],"versions":[238],"standard.":[241]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":23}],"updated_date":"2026-03-27T05:58:40.876381","created_date":"2025-10-10T00:00:00"}