{"id":"https://openalex.org/W4399850936","doi":"https://doi.org/10.1145/3656444","title":"RichWasm: Bringing Safe, Fine-Grained, Shared-Memory Interoperability Down to WebAssembly","display_name":"RichWasm: Bringing Safe, Fine-Grained, Shared-Memory Interoperability Down to WebAssembly","publication_year":2024,"publication_date":"2024-06-20","ids":{"openalex":"https://openalex.org/W4399850936","doi":"https://doi.org/10.1145/3656444"},"language":"en","primary_location":{"id":"doi:10.1145/3656444","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3656444","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3656444","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/3656444","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5000946652","display_name":"Michael Fitzgibbons","orcid":"https://orcid.org/0009-0009-1115-3081"},"institutions":[{"id":"https://openalex.org/I12912129","display_name":"Northeastern University","ror":"https://ror.org/04t5xt781","country_code":"US","type":"education","lineage":["https://openalex.org/I12912129"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Michael Fitzgibbons","raw_affiliation_strings":["Northeastern University, Boston, USA"],"raw_orcid":"https://orcid.org/0009-0009-1115-3081","affiliations":[{"raw_affiliation_string":"Northeastern University, Boston, USA","institution_ids":["https://openalex.org/I12912129"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5011183925","display_name":"Zoe Paraskevopoulou","orcid":"https://orcid.org/0009-0001-2352-9818"},"institutions":[{"id":"https://openalex.org/I12912129","display_name":"Northeastern University","ror":"https://ror.org/04t5xt781","country_code":"US","type":"education","lineage":["https://openalex.org/I12912129"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Zoe Paraskevopoulou","raw_affiliation_strings":["Ethereum Foundation, Berlin, Germany","Northeastern University, Boston, USA","Ethereum Foundation, Berlin, Germany / Northeastern University, Boston, USA"],"raw_orcid":"https://orcid.org/0009-0001-2352-9818","affiliations":[{"raw_affiliation_string":"Ethereum Foundation, Berlin, Germany","institution_ids":[]},{"raw_affiliation_string":"Northeastern University, Boston, USA","institution_ids":["https://openalex.org/I12912129"]},{"raw_affiliation_string":"Ethereum Foundation, Berlin, Germany / Northeastern University, Boston, USA","institution_ids":["https://openalex.org/I12912129"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5052940336","display_name":"Noble Mushtak","orcid":"https://orcid.org/0009-0002-7181-8136"},"institutions":[{"id":"https://openalex.org/I12912129","display_name":"Northeastern University","ror":"https://ror.org/04t5xt781","country_code":"US","type":"education","lineage":["https://openalex.org/I12912129"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Noble Mushtak","raw_affiliation_strings":["Northeastern University, Boston, USA"],"raw_orcid":"https://orcid.org/0009-0002-7181-8136","affiliations":[{"raw_affiliation_string":"Northeastern University, Boston, USA","institution_ids":["https://openalex.org/I12912129"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5038047178","display_name":"Michelle Davies Thalakottur","orcid":"https://orcid.org/0000-0003-4189-0727"},"institutions":[{"id":"https://openalex.org/I12912129","display_name":"Northeastern University","ror":"https://ror.org/04t5xt781","country_code":"US","type":"education","lineage":["https://openalex.org/I12912129"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Michelle Thalakottur","raw_affiliation_strings":["Northeastern University, Boston, USA"],"raw_orcid":"https://orcid.org/0000-0003-4189-0727","affiliations":[{"raw_affiliation_string":"Northeastern University, Boston, USA","institution_ids":["https://openalex.org/I12912129"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5099292250","display_name":"Jose Sulaiman Manzur","orcid":"https://orcid.org/0009-0002-1745-2882"},"institutions":[{"id":"https://openalex.org/I12912129","display_name":"Northeastern University","ror":"https://ror.org/04t5xt781","country_code":"US","type":"education","lineage":["https://openalex.org/I12912129"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Jose Sulaiman Manzur","raw_affiliation_strings":["Northeastern University, Boston, USA"],"raw_orcid":"https://orcid.org/0009-0002-1745-2882","affiliations":[{"raw_affiliation_string":"Northeastern University, Boston, USA","institution_ids":["https://openalex.org/I12912129"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5084250644","display_name":"Amal Ahmed","orcid":"https://orcid.org/0000-0001-7424-572X"},"institutions":[{"id":"https://openalex.org/I12912129","display_name":"Northeastern University","ror":"https://ror.org/04t5xt781","country_code":"US","type":"education","lineage":["https://openalex.org/I12912129"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Amal Ahmed","raw_affiliation_strings":["Northeastern University, Boston, USA"],"raw_orcid":"https://orcid.org/0000-0001-7424-572X","affiliations":[{"raw_affiliation_string":"Northeastern University, Boston, USA","institution_ids":["https://openalex.org/I12912129"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":6,"corresponding_author_ids":["https://openalex.org/A5000946652"],"corresponding_institution_ids":["https://openalex.org/I12912129"],"apc_list":null,"apc_paid":null,"fwci":0.6623,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.73399383,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":95},"biblio":{"volume":"8","issue":"PLDI","first_page":"1656","last_page":"1679"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11424","display_name":"Security and Verification in Computing","score":0.9961000084877014,"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"}},"topics":[{"id":"https://openalex.org/T11424","display_name":"Security and Verification in Computing","score":0.9961000084877014,"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/T10126","display_name":"Logic, programming, and type systems","score":0.9943000078201294,"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.9889000058174133,"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/interoperability","display_name":"Interoperability","score":0.7630058526992798},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5938878059387207},{"id":"https://openalex.org/keywords/world-wide-web","display_name":"World Wide Web","score":0.23850548267364502}],"concepts":[{"id":"https://openalex.org/C20136886","wikidata":"https://www.wikidata.org/wiki/Q749647","display_name":"Interoperability","level":2,"score":0.7630058526992798},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5938878059387207},{"id":"https://openalex.org/C136764020","wikidata":"https://www.wikidata.org/wiki/Q466","display_name":"World Wide Web","level":1,"score":0.23850548267364502}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3656444","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3656444","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3656444","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/3656444","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3656444","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3656444","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/G7183152222","display_name":null,"funder_award_id":"CCF-1816837","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G767764701","display_name":null,"funder_award_id":"No. N66001-21-C-4023","funder_id":"https://openalex.org/F4320332180","funder_display_name":"Defense Advanced Research Projects Agency"}],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"},{"id":"https://openalex.org/F4320332180","display_name":"Defense Advanced Research Projects Agency","ror":"https://ror.org/02caytj08"}],"has_content":{"pdf":true,"grobid_xml":false},"content_urls":{"pdf":"https://content.openalex.org/works/W4399850936.pdf"},"referenced_works_count":20,"referenced_works":["https://openalex.org/W1773735832","https://openalex.org/W1904738922","https://openalex.org/W2034711041","https://openalex.org/W2052973434","https://openalex.org/W2069107692","https://openalex.org/W2118227920","https://openalex.org/W2142383914","https://openalex.org/W2143661661","https://openalex.org/W2150769115","https://openalex.org/W2151480972","https://openalex.org/W2295415424","https://openalex.org/W2620740566","https://openalex.org/W2625141509","https://openalex.org/W4244198163","https://openalex.org/W4281974386","https://openalex.org/W4315631944","https://openalex.org/W4379537472","https://openalex.org/W4386332911","https://openalex.org/W4387667212","https://openalex.org/W6967579559"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2748952813","https://openalex.org/W2093262417","https://openalex.org/W2123131699","https://openalex.org/W650116260","https://openalex.org/W2378329187","https://openalex.org/W4390790060","https://openalex.org/W2134191509","https://openalex.org/W3209454962","https://openalex.org/W79697243"],"abstract_inverted_index":{"Safe,":[0],"shared-memory":[1,58],"interoperability":[2,59],"between":[3],"languageswith":[4],"different":[5,48],"type":[6,65,95,141],"systems":[7],"and":[8,72,90,97,110,139],"memory-safety":[9,22,49],"guarantees":[10],"is":[11,52,75,123],"an":[12,93],"intricate":[13],"problem":[14],"as":[15,39,80],"crossing":[16],"language":[17,35,116],"boundaries":[18],"may":[19],"result":[20],"in":[21,131,137],"violations.":[23],"In":[24],"this":[25,103],"paper,":[26],"we":[27],"present":[28],"RichWasm,":[29],"a":[30,40,62,81,114],"novel":[31],"richly":[32],"typed":[33,44,82,87],"intermediate":[34],"designed":[36],"to":[37,78,120,125],"serve":[38,79],"compilation":[41,83],"target":[42,84],"for":[43,85,129],"high-level":[45],"languages":[46,89,91],"with":[47,92,117],"guarantees.":[50],"RichWasm":[51,74,122,136],"based":[53],"on":[54],"WebAssemblyand":[55],"enables":[56],"safe":[57],"by":[60,104],"incorporating":[61],"variety":[63],"of":[64],"features":[66],"that":[67],"support":[68],"fine-grained":[69],"memory":[70],"ownership":[71],"sharing.":[73],"rich":[76],"enough":[77],"both":[86],"garbage-collected":[88],"ownership-based":[94],"system":[96],"manually":[98],"managed":[99],"memory.":[100],"We":[101,134],"demonstrate":[102],"providing":[105],"compilers":[106],"from":[107],"core":[108],"ML":[109],"L":[111],"3":[112],",":[113],"type-safe":[115],"strong":[118],"updates,":[119],"RichWasm.":[121],"compiled":[124],"regular":[126],"Wasm,":[127],"allowing":[128],"use":[130],"existing":[132],"environments.":[133],"formalize":[135],"Coq":[138],"prove":[140],"safety.":[142]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":1}],"updated_date":"2026-03-27T05:58:40.876381","created_date":"2025-10-10T00:00:00"}