{"id":"https://openalex.org/W4402526478","doi":"https://doi.org/10.1145/3679007.3691540","title":"Can WebAssembly Be Software\u2019s Final Substrate? (Keynote)","display_name":"Can WebAssembly Be Software\u2019s Final Substrate? (Keynote)","publication_year":2024,"publication_date":"2024-09-13","ids":{"openalex":"https://openalex.org/W4402526478","doi":"https://doi.org/10.1145/3679007.3691540"},"language":"en","primary_location":{"id":"doi:10.1145/3679007.3691540","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3679007.3691540","pdf_url":null,"source":null,"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 21st ACM SIGPLAN International Conference on Managed Programming Languages and Runtimes","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://doi.org/10.1145/3679007.3691540","any_repository_has_fulltext":null},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5034437441","display_name":"Ben L. Titzer","orcid":"https://orcid.org/0000-0002-9690-2089"},"institutions":[{"id":"https://openalex.org/I74973139","display_name":"Carnegie Mellon University","ror":"https://ror.org/05x2bcf33","country_code":"US","type":"education","lineage":["https://openalex.org/I74973139"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Ben L. Titzer","raw_affiliation_strings":["Carnegie Mellon University, Pittsburgh, USA"],"raw_orcid":"https://orcid.org/0000-0002-9690-2089","affiliations":[{"raw_affiliation_string":"Carnegie Mellon University, Pittsburgh, USA","institution_ids":["https://openalex.org/I74973139"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5034437441"],"corresponding_institution_ids":["https://openalex.org/I74973139"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.20732967,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"1"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11159","display_name":"Manufacturing Process and Optimization","score":0.9941999912261963,"subfield":{"id":"https://openalex.org/subfields/2209","display_name":"Industrial and Manufacturing Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11159","display_name":"Manufacturing Process and Optimization","score":0.9941999912261963,"subfield":{"id":"https://openalex.org/subfields/2209","display_name":"Industrial and Manufacturing Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11741","display_name":"Flexible and Reconfigurable Manufacturing Systems","score":0.9233999848365784,"subfield":{"id":"https://openalex.org/subfields/2209","display_name":"Industrial and Manufacturing 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/software","display_name":"Software","score":0.5976324081420898},{"id":"https://openalex.org/keywords/substrate","display_name":"Substrate (aquarium)","score":0.5952873826026917},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5915241241455078},{"id":"https://openalex.org/keywords/computer-graphics","display_name":"Computer graphics (images)","score":0.353817343711853},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.24495995044708252},{"id":"https://openalex.org/keywords/geology","display_name":"Geology","score":0.10154235363006592}],"concepts":[{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.5976324081420898},{"id":"https://openalex.org/C2777289219","wikidata":"https://www.wikidata.org/wiki/Q7632154","display_name":"Substrate (aquarium)","level":2,"score":0.5952873826026917},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5915241241455078},{"id":"https://openalex.org/C121684516","wikidata":"https://www.wikidata.org/wiki/Q7600677","display_name":"Computer graphics (images)","level":1,"score":0.353817343711853},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.24495995044708252},{"id":"https://openalex.org/C127313418","wikidata":"https://www.wikidata.org/wiki/Q1069","display_name":"Geology","level":0,"score":0.10154235363006592},{"id":"https://openalex.org/C111368507","wikidata":"https://www.wikidata.org/wiki/Q43518","display_name":"Oceanography","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3679007.3691540","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3679007.3691540","pdf_url":null,"source":null,"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 21st ACM SIGPLAN International Conference on Managed Programming Languages and Runtimes","raw_type":"proceedings-article"}],"best_oa_location":{"id":"doi:10.1145/3679007.3691540","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3679007.3691540","pdf_url":null,"source":null,"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 21st ACM SIGPLAN International Conference on Managed Programming Languages and Runtimes","raw_type":"proceedings-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"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/W2736583656"],"abstract_inverted_index":{"Since":[0],"the":[1,31,38],"dawn":[2],"of":[3,16,29,33,40,104],"computing,":[4],"many":[5,48,67],"formats":[6,78,90],"for":[7,47,114,139],"executable":[8,18],"programs":[9],"have":[10],"come":[11],"and":[12,23,35,62,95,131,133,137],"gone.":[13],"The":[14],"design":[15,21],"an":[17,50],"format":[19,61],"encounters":[20],"choices":[22],"tradeoffs":[24],"such":[25],"as":[26],"expressiveness,":[27],"ease":[28],"parsing/decoding/execution,":[30],"level":[32,81],"abstraction,":[34],"performance.":[36],"With":[37],"advent":[39],"WebAssembly,":[41],"a":[42,58,115,122],"portable":[43],"low-level":[44],"compilation":[45],"target":[46],"languages,":[49],"intriguing":[51],"question":[52],"arises:":[53],"can":[54],"we":[55,72],"finally":[56,73],"standardize":[57],"universal":[59],"binary":[60],"software":[63,119],"virtual":[64],"machine?":[65],"After":[66],"years,":[68],"I":[69,109],"believe":[70],"that":[71,91,127],"can.":[74],"Unlike":[75],"language-specific":[76],"bytecode":[77],"whose":[79],"abstraction":[80],"serves":[82],"only":[83],"one":[84],"language":[85],"family":[86],"well,":[87,98],"or":[88],"machine-code":[89],"serve":[92],"specific":[93],"ISAs":[94],"operating":[96],"systems":[97],"WebAssembly":[99],"sits":[100,120],"between":[101],"these":[102],"levels":[103],"abstraction.":[105],"In":[106],"this":[107],"talk":[108],"will":[110],"share":[111],"my":[112],"vision":[113],"future":[116],"where":[117],"all":[118,140],"on":[121],"standardized,":[123],"well-specified,":[124],"formally-verified":[125],"substrate":[126],"allows":[128],"innovation":[129],"above":[130],"below,":[132],"unlocks":[134],"high":[135],"performance":[136],"portability":[138],"programming":[141],"languages.":[142]},"counts_by_year":[],"updated_date":"2026-04-28T14:05:53.105641","created_date":"2025-10-10T00:00:00"}
