{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,3]],"date-time":"2026-07-03T16:26:40Z","timestamp":1783096000950,"version":"3.54.6"},"publisher-location":"New York, NY, USA","reference-count":75,"publisher":"ACM","license":[{"start":{"date-parts":[[2022,6,9]],"date-time":"2022-06-09T00:00:00Z","timestamp":1654732800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2022,6,9]]},"DOI":"10.1145\/3519939.3523449","type":"proceedings-article","created":{"date-parts":[[2022,6,2]],"date-time":"2022-06-02T21:05:05Z","timestamp":1654203905000},"page":"410-425","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":25,"title":["Finding the Dwarf: Recovering Precise Types from WebAssembly Binaries"],"prefix":"10.1145","author":[{"given":"Daniel","family":"Lehmann","sequence":"first","affiliation":[{"name":"University of Stuttgart, Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Michael","family":"Pradel","sequence":"additional","affiliation":[{"name":"University of Stuttgart, Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2022,6,9]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"2021. WABT: The WebAssembly Binary Toolkit. https:\/\/github.com\/WebAssembly\/wabt  2021. WABT: The WebAssembly Binary Toolkit. https:\/\/github.com\/WebAssembly\/wabt"},{"key":"e_1_3_2_1_2_1","volume-title":"Devanbu","author":"Ahmed Toufique","year":"2019","unstructured":"Toufique Ahmed , Vincent Hellendoorn , and Premkumar T . Devanbu . 2019 . Learning Lenient Parsing & Typing via Indirect Supervision. CoRR , abs\/1910.05879 (2019), arxiv:1910.05879. arxiv:1910.05879 Toufique Ahmed, Vincent Hellendoorn, and Premkumar T. Devanbu. 2019. Learning Lenient Parsing & Typing via Indirect Supervision. CoRR, abs\/1910.05879 (2019), arxiv:1910.05879. arxiv:1910.05879"},{"key":"e_1_3_2_1_3_1","unstructured":"Georgi Geshev Alex Plaskett Fabian Beterke. 2018. Apple Safari \u2013 Wasm Section Exploit. https:\/\/labs.f-secure.com\/assets\/BlogFiles\/apple-safari-wasm-section-vuln-write-up-2018-04-16.pdf  Georgi Geshev Alex Plaskett Fabian Beterke. 2018. Apple Safari \u2013 Wasm Section Exploit. https:\/\/labs.f-secure.com\/assets\/BlogFiles\/apple-safari-wasm-section-vuln-write-up-2018-04-16.pdf"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/3359591.3359735"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/3385412.3385997"},{"key":"e_1_3_2_1_6_1","volume-title":"International Conference on Learning Representations (ICLR","author":"Allamanis Miltiadis","year":"2018","unstructured":"Miltiadis Allamanis , Marc Brockschmidt , and Mahmoud Khademi . 2018 . Learning to Represent Programs with Graphs . In International Conference on Learning Representations (ICLR 2018). https:\/\/openreview.net\/forum?id=BJOFETxR- Miltiadis Allamanis, Marc Brockschmidt, and Mahmoud Khademi. 2018. Learning to Represent Programs with Graphs. In International Conference on Learning Representations (ICLR 2018). https:\/\/openreview.net\/forum?id=BJOFETxR-"},{"key":"e_1_3_2_1_7_1","volume-title":"7th International Conference on Learning Representations (ICLR","author":"Alon Uri","year":"2019","unstructured":"Uri Alon , Shaked Brody , Omer Levy , and Eran Yahav . 2019 . code2seq: Generating Sequences from Structured Representations of Code . In 7th International Conference on Learning Representations (ICLR 2019). https:\/\/openreview.net\/forum?id=H1gKYo09tX Uri Alon, Shaked Brody, Omer Levy, and Eran Yahav. 2019. code2seq: Generating Sequences from Structured Representations of Code. In 7th International Conference on Learning Representations (ICLR 2019). https:\/\/openreview.net\/forum?id=H1gKYo09tX"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/3290353"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/72.623200"},{"key":"e_1_3_2_1_10_1","volume-title":"3rd International Conference on Learning Representations (ICLR","author":"Bahdanau Dzmitry","year":"2015","unstructured":"Dzmitry Bahdanau , Kyunghyun Cho , and Yoshua Bengio . 2015 . Neural Machine Translation by Jointly Learning to Align and Translate . In 3rd International Conference on Learning Representations (ICLR 2015). arxiv:1409.0473 Dzmitry Bahdanau, Kyunghyun Cho, and Yoshua Bengio. 2015. Neural Machine Translation by Jointly Learning to Align and Translate. In 3rd International Conference on Learning Representations (ICLR 2015). arxiv:1409.0473"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/3428283"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/2896499"},{"key":"e_1_3_2_1_13_1","volume-title":"Pascal Lamblin, Petros Maniatis, Pierre-Antoine Manzagol, Daniel Tarlow, and Subhodeep Moitra.","author":"Chen Zimin","year":"2021","unstructured":"Zimin Chen , Vincent Josua Hellendoorn , Pascal Lamblin, Petros Maniatis, Pierre-Antoine Manzagol, Daniel Tarlow, and Subhodeep Moitra. 2021 . PLUR : A Unifying, Graph-Based View of Program Learning, Understanding, and Repair. In Advances in Neural Information Processing Systems (NeurIPS 2021). https:\/\/openreview.net\/forum?id=GEm4o9A6Jfb Zimin Chen, Vincent Josua Hellendoorn, Pascal Lamblin, Petros Maniatis, Pierre-Antoine Manzagol, Daniel Tarlow, and Subhodeep Moitra. 2021. PLUR: A Unifying, Graph-Based View of Program Learning, Understanding, and Repair. In Advances in Neural Information Processing Systems (NeurIPS 2021). https:\/\/openreview.net\/forum?id=GEm4o9A6Jfb"},{"key":"e_1_3_2_1_14_1","volume-title":"Neural Nets Can Learn Function Type Signatures From Binaries. In 26th USENIX Security Symposium (USENIX Security 17)","author":"Chua Zheng Leong","year":"2017","unstructured":"Zheng Leong Chua , Shiqi Shen , Prateek Saxena , and Zhenkai Liang . 2017 . Neural Nets Can Learn Function Type Signatures From Binaries. In 26th USENIX Security Symposium (USENIX Security 17) . 99\u2013116. isbn:978-1-931971-40-9 https:\/\/www.usenix.org\/conference\/usenixsecurity17\/technical-sessions\/presentation\/chua Zheng Leong Chua, Shiqi Shen, Prateek Saxena, and Zhenkai Liang. 2017. Neural Nets Can Learn Function Type Signatures From Binaries. In 26th USENIX Security Symposium (USENIX Security 17). 99\u2013116. isbn:978-1-931971-40-9 https:\/\/www.usenix.org\/conference\/usenixsecurity17\/technical-sessions\/presentation\/chua"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/3428293"},{"key":"e_1_3_2_1_16_1","volume-title":"8th International Conference on Learning Representations (ICLR","author":"Dinella Elizabeth","year":"2020","unstructured":"Elizabeth Dinella , Hanjun Dai , Ziyang Li , Mayur Naik , Le Song , and Ke Wang . 2020 . Hoppity: Learning Graph Transformations to Detect and Fix Bugs in Programs . In 8th International Conference on Learning Representations (ICLR 2020). https:\/\/openreview.net\/forum?id=SJeqs6EFvB Elizabeth Dinella, Hanjun Dai, Ziyang Li, Mayur Naik, Le Song, and Ke Wang. 2020. Hoppity: Learning Graph Transformations to Detect and Fix Bugs in Programs. In 8th International Conference on Learning Representations (ICLR 2020). https:\/\/openreview.net\/forum?id=SJeqs6EFvB"},{"key":"e_1_3_2_1_17_1","unstructured":"DWARF Committee. 2017. DWARF Debugging Information Format \u2013 Version 5. http:\/\/www.dwarfstd.org\/doc\/DWARF5.pdf  DWARF Committee. 2017. DWARF Debugging Information Format \u2013 Version 5. http:\/\/www.dwarfstd.org\/doc\/DWARF5.pdf"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/2491956.2462165"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.18653\/v1\/2020.findings-emnlp.139"},{"key":"e_1_3_2_1_20_1","volume-title":"Coda: An End-to-End Neural Program Decompiler. In Advances in Neural Information Processing Systems. 32, https:\/\/proceedings.neurips.cc\/paper\/2019\/file\/093b60fd0557804c8ba0cbf1453da22f-Paper.pdf","author":"Fu Cheng","year":"2019","unstructured":"Cheng Fu , Huili Chen , Haolan Liu , Xinyun Chen , Yuandong Tian , Farinaz Koushanfar , and Jishen Zhao . 2019 . Coda: An End-to-End Neural Program Decompiler. In Advances in Neural Information Processing Systems. 32, https:\/\/proceedings.neurips.cc\/paper\/2019\/file\/093b60fd0557804c8ba0cbf1453da22f-Paper.pdf Cheng Fu, Huili Chen, Haolan Liu, Xinyun Chen, Yuandong Tian, Farinaz Koushanfar, and Jishen Zhao. 2019. Coda: An End-to-End Neural Program Decompiler. In Advances in Neural Information Processing Systems. 32, https:\/\/proceedings.neurips.cc\/paper\/2019\/file\/093b60fd0557804c8ba0cbf1453da22f-Paper.pdf"},{"key":"e_1_3_2_1_21_1","volume-title":"TaintAssembly: Taint-Based Information Flow Control Tracking for WebAssembly. CoRR, abs\/1802.01050","author":"Fu William","year":"2018","unstructured":"William Fu , Raymond Lin , and Daniel Inge . 2018. TaintAssembly: Taint-Based Information Flow Control Tracking for WebAssembly. CoRR, abs\/1802.01050 ( 2018 ), arxiv:1802.01050 William Fu, Raymond Lin, and Daniel Inge. 2018. TaintAssembly: Taint-Based Information Flow Control Tracking for WebAssembly. CoRR, abs\/1802.01050 (2018), arxiv:1802.01050"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.18653\/v1\/P16-1154"},{"key":"e_1_3_2_1_23_1","volume-title":"GraphCodeBERT: Pre-training Code Representations with Data Flow. In International Conference on Learning Representations. https:\/\/openreview.net\/forum?id=jLoC4ez43PZ","author":"Guo Daya","year":"2021","unstructured":"Daya Guo , Shuo Ren , Shuai Lu , Zhangyin Feng , Duyu Tang , Shujie Liu , Long Zhou , Nan Duan , Alexey Svyatkovskiy , Shengyu Fu , Michele Tufano , Shao Kun Deng , Colin Clement , Dawn Drain , Neel Sundaresan , Jian Yin , Daxin Jiang , and Ming Zhou . 2021 . GraphCodeBERT: Pre-training Code Representations with Data Flow. In International Conference on Learning Representations. https:\/\/openreview.net\/forum?id=jLoC4ez43PZ Daya Guo, Shuo Ren, Shuai Lu, Zhangyin Feng, Duyu Tang, Shujie Liu, Long Zhou, Nan Duan, Alexey Svyatkovskiy, Shengyu Fu, Michele Tufano, Shao Kun Deng, Colin Clement, Dawn Drain, Neel Sundaresan, Jian Yin, Daxin Jiang, and Ming Zhou. 2021. GraphCodeBERT: Pre-training Code Representations with Data Flow. In International Conference on Learning Representations. https:\/\/openreview.net\/forum?id=jLoC4ez43PZ"},{"key":"e_1_3_2_1_24_1","volume-title":"Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence. 1345\u20131351","author":"Gupta Rahul","unstructured":"Rahul Gupta , Soham Pal , Aditya Kanade , and Shirish K. Shevade . 2017. DeepFix: Fixing Common C Language Errors by Deep Learning . In Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence. 1345\u20131351 . http:\/\/aaai.org\/ocs\/index.php\/AAAI\/AAAI17\/paper\/view\/14603 Rahul Gupta, Soham Pal, Aditya Kanade, and Shirish K. Shevade. 2017. DeepFix: Fixing Common C Language Errors by Deep Learning. In Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence. 1345\u20131351. http:\/\/aaai.org\/ocs\/index.php\/AAAI\/AAAI17\/paper\/view\/14603"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/3062341.3062363"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10664-013-9289-1"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/3243734.3243866"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/3236024.3236051"},{"key":"e_1_3_2_1_29_1","volume-title":"Global Relational Models of Source Code. In 8th International Conference on Learning Representations (ICLR","author":"Hellendoorn Vincent J.","year":"2020","unstructured":"Vincent J. Hellendoorn , Charles Sutton , Rishabh Singh , Petros Maniatis , and David Bieber . 2020 . Global Relational Models of Source Code. In 8th International Conference on Learning Representations (ICLR 2020). https:\/\/openreview.net\/forum?id=B1lnbRNtwr Vincent J. Hellendoorn, Charles Sutton, Rishabh Singh, Petros Maniatis, and David Bieber. 2020. Global Relational Models of Source Code. In 8th International Conference on Learning Representations (ICLR 2020). https:\/\/openreview.net\/forum?id=B1lnbRNtwr"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/3442381.3450138"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/3377811.3380361"},{"key":"e_1_3_2_1_32_1","volume-title":"Native Code. In 2019 USENIX Annual Technical Conference (USENIX ATC 19)","author":"Jangda Abhinav","year":"2019","unstructured":"Abhinav Jangda , Bobby Powers , Emery D. Berger , and Arjun Guha . 2019 . Not So Fast: Analyzing the Performance of WebAssembly vs . Native Code. In 2019 USENIX Annual Technical Conference (USENIX ATC 19) . 107\u2013120. isbn:978-1-939133-03-8 https:\/\/www.usenix.org\/conference\/atc19\/presentation\/jangda Abhinav Jangda, Bobby Powers, Emery D. Berger, and Arjun Guha. 2019. Not So Fast: Analyzing the Performance of WebAssembly vs. Native Code. In 2019 USENIX Annual Technical Conference (USENIX ATC 19). 107\u2013120. isbn:978-1-939133-03-8 https:\/\/www.usenix.org\/conference\/atc19\/presentation\/jangda"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/3377811.3380342"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/2837614.2837674"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/3173162.3173202"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/3426422.3426985"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/3308558.3313665"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE43902.2021.00026"},{"key":"e_1_3_2_1_39_1","volume-title":"Adam: A Method for Stochastic Optimization. In 3rd International Conference on Learning Representations (ICLR","author":"Diederik","year":"2015","unstructured":"Diederik P. Kingma and Jimmy Ba. 2015 . Adam: A Method for Stochastic Optimization. In 3rd International Conference on Learning Representations (ICLR 2015 ). arxiv:1412.6980 Diederik P. Kingma and Jimmy Ba. 2015. Adam: A Method for Stochastic Optimization. In 3rd International Conference on Learning Representations (ICLR 2015). arxiv:1412.6980"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.18653\/v1\/P17-4012"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1145\/3243734.3243858"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2019.00064"},{"key":"e_1_3_2_1_43_1","volume-title":"Proceedings of the Network and Distributed System Security Symposium (NDSS 2011","author":"Lee JongHyup","year":"2011","unstructured":"JongHyup Lee , Thanassis Avgerinos , and David Brumley . 2011 . TIE: Principled Reverse Engineering of Types in Binary Programs . In Proceedings of the Network and Distributed System Security Symposium (NDSS 2011 ). https:\/\/www.ndss-symposium.org\/ndss2011\/tie-principled-reverse-engineering-of-types-in-binary-programs JongHyup Lee, Thanassis Avgerinos, and David Brumley. 2011. TIE: Principled Reverse Engineering of Types in Binary Programs. In Proceedings of the Network and Distributed System Security Symposium (NDSS 2011). https:\/\/www.ndss-symposium.org\/ndss2011\/tie-principled-reverse-engineering-of-types-in-binary-programs"},{"key":"e_1_3_2_1_44_1","volume-title":"29th USENIX Security Symposium (USENIX Security","author":"Lehmann Daniel","year":"2020","unstructured":"Daniel Lehmann , Johannes Kinder , and Michael Pradel . 2020 . Everything Old is New Again: Binary Security of WebAssembly . In 29th USENIX Security Symposium (USENIX Security 2020). 217\u2013234. https:\/\/www.usenix.org\/conference\/usenixsecurity20\/presentation\/lehmann Daniel Lehmann, Johannes Kinder, and Michael Pradel. 2020. Everything Old is New Again: Binary Security of WebAssembly. In 29th USENIX Security Symposium (USENIX Security 2020). 217\u2013234. https:\/\/www.usenix.org\/conference\/usenixsecurity20\/presentation\/lehmann"},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1145\/3297858.3304068"},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.18653\/v1\/D15-1166"},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-22038-9_14"},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2019.00045"},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1145\/2384616.2384666"},{"key":"e_1_3_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-22038-9_2"},{"key":"e_1_3_2_1_51_1","doi-asserted-by":"publisher","DOI":"10.1145\/3339252.3339261"},{"key":"e_1_3_2_1_52_1","doi-asserted-by":"publisher","DOI":"10.5555\/645393.651886"},{"key":"e_1_3_2_1_53_1","volume-title":"30th USENIX Security Symposium (USENIX Security","author":"Narayan Shravan","year":"2021","unstructured":"Shravan Narayan , Craig Disselkoen , Daniel Moghimi , Sunjay Cauligi , Evan Johnson , Zhao Gang , Anjo Vahldiek-Oberwagner , Ravi Sahita , Hovav Shacham , Dean M. Tullsen , and Deian Stefan . 2021 . Swivel: Hardening WebAssembly against Spectre . In 30th USENIX Security Symposium (USENIX Security 2021). 1433\u20131450. https:\/\/www.usenix.org\/conference\/usenixsecurity21\/presentation\/narayan Shravan Narayan, Craig Disselkoen, Daniel Moghimi, Sunjay Cauligi, Evan Johnson, Zhao Gang, Anjo Vahldiek-Oberwagner, Ravi Sahita, Hovav Shacham, Dean M. Tullsen, and Deian Stefan. 2021. Swivel: Hardening WebAssembly against Spectre. In 30th USENIX Security Symposium (USENIX Security 2021). 1433\u20131450. https:\/\/www.usenix.org\/conference\/usenixsecurity21\/presentation\/narayan"},{"key":"e_1_3_2_1_54_1","doi-asserted-by":"publisher","DOI":"10.1145\/2908080.2908119"},{"key":"e_1_3_2_1_55_1","volume-title":"Proceedings of the 30th International Conference on International Conference on Machine Learning -","volume":"28","author":"Pascanu Razvan","year":"2013","unstructured":"Razvan Pascanu , Tomas Mikolov , and Yoshua Bengio . 2013 . On the Difficulty of Training Recurrent Neural Networks . In Proceedings of the 30th International Conference on International Conference on Machine Learning - Volume 28 (ICML\u201913). III\u20131310\u2013III\u20131318. https:\/\/proceedings.mlr.press\/v28\/pascanu13.pdf Razvan Pascanu, Tomas Mikolov, and Yoshua Bengio. 2013. On the Difficulty of Training Recurrent Neural Networks. In Proceedings of the 30th International Conference on International Conference on Machine Learning - Volume 28 (ICML\u201913). III\u20131310\u2013III\u20131318. https:\/\/proceedings.mlr.press\/v28\/pascanu13.pdf"},{"key":"e_1_3_2_1_56_1","volume-title":"24th Annual Network and Distributed System Security Symposium (NDSS 2017","author":"Pawlowski Andre","year":"2017","unstructured":"Andre Pawlowski , Moritz Contag , Victor van der Veen, Chris Ouwehand, Thorsten Holz, Herbert Bos, Elias Athanasopoulos, and Cristiano Giuffrida. 2017. MARX: Uncovering Class Hierarchies in C++ Programs .. In 24th Annual Network and Distributed System Security Symposium (NDSS 2017 ). https:\/\/www.ndss-symposium.org\/ndss 2017 \/ndss-2017-programme\/marx-uncovering-class-hierarchies-c-programs\/ Andre Pawlowski, Moritz Contag, Victor van der Veen, Chris Ouwehand, Thorsten Holz, Herbert Bos, Elias Athanasopoulos, and Cristiano Giuffrida. 2017. MARX: Uncovering Class Hierarchies in C++ Programs.. In 24th Annual Network and Distributed System Security Symposium (NDSS 2017). https:\/\/www.ndss-symposium.org\/ndss2017\/ndss-2017-programme\/marx-uncovering-class-hierarchies-c-programs\/"},{"key":"e_1_3_2_1_57_1","doi-asserted-by":"publisher","DOI":"10.1145\/3468264.3468607"},{"key":"e_1_3_2_1_58_1","doi-asserted-by":"publisher","DOI":"10.1145\/3460348"},{"key":"e_1_3_2_1_59_1","doi-asserted-by":"publisher","DOI":"10.1145\/3368089.3409715"},{"key":"e_1_3_2_1_60_1","doi-asserted-by":"publisher","DOI":"10.1145\/3276517"},{"key":"e_1_3_2_1_61_1","doi-asserted-by":"publisher","DOI":"10.1145\/2676726.2677009"},{"key":"e_1_3_2_1_62_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP46214.2022.9833626"},{"key":"e_1_3_2_1_63_1","doi-asserted-by":"publisher","DOI":"10.1145\/3278532.3278539"},{"key":"e_1_3_2_1_64_1","doi-asserted-by":"publisher","DOI":"10.18653\/v1\/P16-1162"},{"key":"e_1_3_2_1_65_1","unstructured":"Natalie Silvanovich. 2018. The Problems and Promise of WebAssembly. https:\/\/googleprojectzero.blogspot.com\/2018\/08\/the-problems-and-promise-of-webassembly.html  Natalie Silvanovich. 2018. The Problems and Promise of WebAssembly. https:\/\/googleprojectzero.blogspot.com\/2018\/08\/the-problems-and-promise-of-webassembly.html"},{"key":"e_1_3_2_1_66_1","doi-asserted-by":"publisher","DOI":"10.5555\/2627435.2670313"},{"key":"e_1_3_2_1_67_1","volume-title":"Taint Tracking for WebAssembly. CoRR, abs\/1807.08349","author":"Szanto Aron","year":"2018","unstructured":"Aron Szanto , Timothy Tamm , and Artidoro Pagnoni . 2018. Taint Tracking for WebAssembly. CoRR, abs\/1807.08349 ( 2018 ), arXiv:1807.08349. arxiv:1807.08349 Aron Szanto, Timothy Tamm, and Artidoro Pagnoni. 2018. Taint Tracking for WebAssembly. CoRR, abs\/1807.08349 (2018), arXiv:1807.08349. arxiv:1807.08349"},{"key":"e_1_3_2_1_68_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICICT50521.2020.00068"},{"key":"e_1_3_2_1_69_1","volume-title":"Advances in Neural Information Processing Systems (NIPS","author":"Vaswani Ashish","year":"2017","unstructured":"Ashish Vaswani , Noam Shazeer , Niki Parmar , Jakob Uszkoreit , Llion Jones , Aidan N Gomez , \u0141ukasz Kaiser , and Illia Polosukhin . 2017 . Attention is All you Need . In Advances in Neural Information Processing Systems (NIPS 2017, Vol. 30). https:\/\/proceedings.neurips.cc\/paper\/2017\/file\/3f5ee243547dee91fbd053c1c4a845aa-Paper.pdf Ashish Vaswani, Noam Shazeer, Niki Parmar, Jakob Uszkoreit, Llion Jones, Aidan N Gomez, \u0141ukasz Kaiser, and Illia Polosukhin. 2017. Attention is All you Need. In Advances in Neural Information Processing Systems (NIPS 2017, Vol. 30). https:\/\/proceedings.neurips.cc\/paper\/2017\/file\/3f5ee243547dee91fbd053c1c4a845aa-Paper.pdf"},{"key":"e_1_3_2_1_70_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-98989-1_7"},{"key":"e_1_3_2_1_71_1","doi-asserted-by":"publisher","DOI":"10.1145\/3428205"},{"key":"e_1_3_2_1_72_1","volume-title":"8th International Conference on Learning Representations (ICLR","author":"Wei Jiayi","year":"2020","unstructured":"Jiayi Wei , Maruth Goyal , Greg Durrett , and Isil Dillig . 2020 . LambdaNet: Probabilistic Type Inference using Graph Neural Networks . In 8th International Conference on Learning Representations (ICLR 2020). https:\/\/openreview.net\/forum?id=Hkx6hANtwH Jiayi Wei, Maruth Goyal, Greg Durrett, and Isil Dillig. 2020. LambdaNet: Probabilistic Type Inference using Graph Neural Networks. In 8th International Conference on Learning Representations (ICLR 2020). https:\/\/openreview.net\/forum?id=Hkx6hANtwH"},{"key":"e_1_3_2_1_73_1","doi-asserted-by":"publisher","DOI":"10.1145\/2950290.2950343"},{"key":"e_1_3_2_1_74_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2019.00086"},{"key":"e_1_3_2_1_75_1","volume-title":"28th USENIX Security Symposium (USENIX Security 19)","author":"Zimmermann Markus","year":"2019","unstructured":"Markus Zimmermann , Cristian-Alexandru Staicu , Cam Tenny , and Michael Pradel . 2019 . Small World with High Risks: A Study of Security Threats in the npm Ecosystem . In 28th USENIX Security Symposium (USENIX Security 19) . 995\u20131010. https:\/\/www.usenix.org\/conference\/usenixsecurity19\/presentation\/zimmerman Markus Zimmermann, Cristian-Alexandru Staicu, Cam Tenny, and Michael Pradel. 2019. Small World with High Risks: A Study of Security Threats in the npm Ecosystem. In 28th USENIX Security Symposium (USENIX Security 19). 995\u20131010. https:\/\/www.usenix.org\/conference\/usenixsecurity19\/presentation\/zimmerman"}],"event":{"name":"PLDI '22: 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation","location":"San Diego CA USA","acronym":"PLDI '22","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"]},"container-title":["Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3519939.3523449","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3519939.3523449","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T19:31:16Z","timestamp":1750188676000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3519939.3523449"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,6,9]]},"references-count":75,"alternative-id":["10.1145\/3519939.3523449","10.1145\/3519939"],"URL":"https:\/\/doi.org\/10.1145\/3519939.3523449","relation":{},"subject":[],"published":{"date-parts":[[2022,6,9]]},"assertion":[{"value":"2022-06-09","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}