{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,6]],"date-time":"2025-10-06T18:28:22Z","timestamp":1759775302198,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":28,"publisher":"ACM","license":[{"start":{"date-parts":[[2020,11,15]],"date-time":"2020-11-15T00:00:00Z","timestamp":1605398400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100004801","name":"National Science Foundation","doi-asserted-by":"publisher","award":["CCF-2007066, CCF-1453474, CCF-1564162"],"award-info":[{"award-number":["CCF-2007066, CCF-1453474, CCF-1564162"]}],"id":[{"id":"10.13039\/501100004801","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2020,11,17]]},"DOI":"10.1145\/3426422.3426978","type":"proceedings-article","created":{"date-parts":[[2020,11,24]],"date-time":"2020-11-24T21:30:21Z","timestamp":1606253421000},"page":"16-28","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":6,"title":["Wasm\/k: delimited continuations for WebAssembly"],"prefix":"10.1145","author":[{"given":"Donald","family":"Pinckney","sequence":"first","affiliation":[{"name":"Northeastern University, USA"}]},{"given":"Arjun","family":"Guha","sequence":"additional","affiliation":[{"name":"Northeastern University, USA"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3027-7986","authenticated-orcid":false,"given":"Yuriy","family":"Brun","sequence":"additional","affiliation":[{"name":"University of Massachusetts at Amherst, USA"}]}],"member":"320","published-online":{"date-parts":[[2020,11,15]]},"reference":[{"volume-title":"htps:\/\/github.com\/vkoskiv\/c-ray. Accessed","year":"2020","key":"e_1_3_2_2_1_1"},{"volume-title":"htps:\/\/www.electronjs.org. Accessed","year":"2020","key":"e_1_3_2_2_2_1"},{"volume-title":"Exception handling. htps:\/\/github.com\/WebAssembly\/ exception-handling\/blob\/master\/proposals\/Exceptions.md. Accessed","year":"2020","key":"e_1_3_2_2_3_1"},{"volume-title":"generator.rkt. htps:\/\/github.com\/racket\/racket\/blob\/ ac4ae9ebba653c76edb2bb1f08ec1007427e5333\/racket\/collects\/ racket\/generator.rkt#L30. Accessed","year":"2020","key":"e_1_3_2_2_4_1"},{"volume-title":"misc\/Wasm: long tasks with Go WebAssembly. htps:\/\/github. com\/golang\/go\/issues\/39620. Accessed","year":"2020","key":"e_1_3_2_2_5_1"},{"volume-title":"runtime: fatal error: self deadlock WebAssembly. htps:\/\/github. com\/golang\/go\/issues\/35256. Accessed","year":"2020","key":"e_1_3_2_2_6_1"},{"volume-title":"syscall\/js: performance considerations. htps:\/\/github.com\/ golang\/go\/issues\/32591. Accessed","year":"2020","key":"e_1_3_2_2_7_1"},{"volume-title":"Threading proposal for WebAssembly. htps:\/\/github.com\/ WebAssembly\/threads\/blob\/master\/proposals\/threads\/Overview.md. Accessed","year":"2020","key":"e_1_3_2_2_8_1"},{"volume-title":"Wasm: 3x performance overhead of using WebAssembly in Node 8. htps:\/\/github.com\/golang\/go\/issues\/26277. Accessed","year":"2020","key":"e_1_3_2_2_9_1"},{"volume-title":"wasm_lua. htps:\/\/github.com\/vvanders\/wasm_lua. Accessed","year":"2020","key":"e_1_3_2_2_10_1"},{"volume-title":"htps:\/\/webassembly.github.io\/ spec\/core\/. Accessed","year":"2020","author":"Specification WebAssembly","key":"e_1_3_2_2_11_1"},{"volume-title":"Shriram Krishnamurthi, and Arjun Guha.","year":"2018","author":"Baxter Samuel","key":"e_1_3_2_2_12_1"},{"key":"e_1_3_2_2_13_1","doi-asserted-by":"crossref","unstructured":"Olivier Danvy and Andrzej Filinski. 1990. Abstracting Control (LFP'90). 151\u015b160.  Olivier Danvy and Andrzej Filinski. 1990. Abstracting Control (LFP'90). 151\u015b160.","DOI":"10.1145\/91556.91622"},{"key":"e_1_3_2_2_14_1","doi-asserted-by":"crossref","unstructured":"Kavon Farvardin and John Reppy. 2020. From Folklore to Fact: Comparing Implementations of Stacks and Continuations (PLDI'20).  Kavon Farvardin and John Reppy. 2020. From Folklore to Fact: Comparing Implementations of Stacks and Continuations (PLDI'20).","DOI":"10.1145\/3395636"},{"key":"e_1_3_2_2_15_1","doi-asserted-by":"crossref","unstructured":"Mattias Felleisen. 1988. The Theory and Practice of First-Class Prompts (POPL'88). 180\u015b190.  Mattias Felleisen. 1988. The Theory and Practice of First-Class Prompts (POPL'88). 180\u015b190.","DOI":"10.1145\/73560.73576"},{"volume-title":"Robert Bruce Findler, and Matthias Felleisen","year":"2007","author":"Flatt Matthew","key":"e_1_3_2_2_16_1"},{"key":"e_1_3_2_2_17_1","doi-asserted-by":"crossref","unstructured":"Robbert Gurdeep Singh and Christophe Scholliers. 2019. WARDuino: A Dynamic WebAssembly Virtual Machine for Programming Microcontrollers (MPLR' 2019 ).  Robbert Gurdeep Singh and Christophe Scholliers. 2019. WARDuino: A Dynamic WebAssembly Virtual Machine for Programming Microcontrollers (MPLR' 2019 ).","DOI":"10.1145\/3357390.3361029"},{"key":"e_1_3_2_2_18_1","doi-asserted-by":"crossref","unstructured":"Andreas Haas Andreas Rossberg Derek L. Schuf Ben L. Titzer Michael Holman Dan Gohman Luke Wagner Alon Zakai and JF Bastien. 2017. Bringing the Web Up to Speed with WebAssembly (PLDI'17).  Andreas Haas Andreas Rossberg Derek L. Schuf Ben L. Titzer Michael Holman Dan Gohman Luke Wagner Alon Zakai and JF Bastien. 2017. Bringing the Web Up to Speed with WebAssembly (PLDI'17).","DOI":"10.1145\/3062341.3062363"},{"volume-title":"A Mechanized Formalization of the WebAssembly Specification in Coq. htps:\/\/www.cs.rit.edu\/~mtf\/student-resources\/ 20191_huang_mscourse.pdf. Accessed","year":"2020","author":"Huang Xuan","key":"e_1_3_2_2_19_1"},{"key":"e_1_3_2_2_20_1","unstructured":"Abhinav Jangda Bobby Powers Emery Berger and Arjun Guha. 2019. Not So Fast: Analyzing the Performance of WebAssembly vs. Native Code (ATC'19).  Abhinav Jangda Bobby Powers Emery Berger and Arjun Guha. 2019. Not So Fast: Analyzing the Performance of WebAssembly vs. Native Code (ATC'19)."},{"key":"e_1_3_2_2_21_1","unstructured":"Brooks Paige and Frank Wood. 2014. A Compilation Target for Probabilistic Programming Languages (ICML'14).  Brooks Paige and Frank Wood. 2014. A Compilation Target for Probabilistic Programming Languages (ICML'14)."},{"key":"e_1_3_2_2_22_1","doi-asserted-by":"crossref","unstructured":"Greg Pettyjohn John Clements Joe Marshall Shriram Krishnamurthi and Matthias Felleisen. 2005. Continuations from generalized stack inspection (ICFP'05).  Greg Pettyjohn John Clements Joe Marshall Shriram Krishnamurthi and Matthias Felleisen. 2005. Continuations from generalized stack inspection (ICFP'05).","DOI":"10.1145\/1086365.1086393"},{"volume-title":"Delimited Continuations for WebAssembly. htps:\/\/arxiv.org\/abs\/","year":"2010","author":"Pinckney Donald","key":"e_1_3_2_2_23_1"},{"volume-title":"Stacks and Continuations for Wasm \u00d0 Idea Sketch. htps:\/\/github.com\/WebAssembly\/meetings\/blob\/master\/main\/ 2020\/presentations\/2020-02-rossberg-continuations. pdf. Accessed","year":"2020","author":"Rossberg Andreas","key":"e_1_3_2_2_24_1"},{"key":"e_1_3_2_2_25_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01806126"},{"key":"e_1_3_2_2_26_1","doi-asserted-by":"crossref","unstructured":"Conrad Watt. 2018. Mechanising and Verifying the WebAssembly Specification (CPP'18).  Conrad Watt. 2018. Mechanising and Verifying the WebAssembly Specification (CPP'18).","DOI":"10.1145\/3176245.3167082"},{"key":"e_1_3_2_2_27_1","doi-asserted-by":"crossref","unstructured":"Conrad Watt Andreas Rossberg and Jean Pichon-Pharabod. 2019. Weakening WebAssembly (OOPSLA'19).  Conrad Watt Andreas Rossberg and Jean Pichon-Pharabod. 2019. Weakening WebAssembly (OOPSLA'19).","DOI":"10.1145\/3360559"},{"volume-title":"Pause and Resume WebAssembly with Binaryen's Asyncify. htps:\/\/kripken.github.io\/blog\/wasm\/2019\/07\/16\/asyncify. html. Accessed","year":"2020","author":"Zakai Alon","key":"e_1_3_2_2_28_1"}],"event":{"name":"SPLASH '20: Conference on Systems, Programming, Languages, and Applications, Software for Humanity","acronym":"SPLASH '20","location":"Virtual USA"},"container-title":["Proceedings of the 16th ACM SIGPLAN International Symposium on Dynamic Languages"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3426422.3426978","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3426422.3426978","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T21:31:33Z","timestamp":1750195893000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3426422.3426978"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,11,15]]},"references-count":28,"alternative-id":["10.1145\/3426422.3426978","10.1145\/3426422"],"URL":"https:\/\/doi.org\/10.1145\/3426422.3426978","relation":{},"subject":[],"published":{"date-parts":[[2020,11,15]]},"assertion":[{"value":"2020-11-15","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}