{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,12]],"date-time":"2026-04-12T17:05:44Z","timestamp":1776013544465,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":54,"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.3523703","type":"proceedings-article","created":{"date-parts":[[2022,6,2]],"date-time":"2022-06-02T21:05:05Z","timestamp":1654203905000},"page":"609-624","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":18,"title":["Semantic soundness for language interoperability"],"prefix":"10.1145","author":[{"given":"Daniel","family":"Patterson","sequence":"first","affiliation":[{"name":"Northeastern University, USA"}]},{"given":"Noble","family":"Mushtak","sequence":"additional","affiliation":[{"name":"Northeastern University, USA"}]},{"given":"Andrew","family":"Wagner","sequence":"additional","affiliation":[{"name":"Northeastern University, USA"}]},{"given":"Amal","family":"Ahmed","sequence":"additional","affiliation":[{"name":"Northeastern University, USA"}]}],"member":"320","published-online":{"date-parts":[[2022,6,9]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/1709093.1709094"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/2034773.2034830"},{"key":"e_1_3_2_1_3_1","first-page":"397","article-title":"L3 : A Linear Language with Locations","volume":"77","author":"Ahmed Amal","year":"2007","unstructured":"Amal Ahmed , Matthew Fluet , and Greg Morrisett . 2007 . L3 : A Linear Language with Locations . Fundamenta Informaticae , 77 , 4 (2007), June , 397 \u2013 449 . Amal Ahmed, Matthew Fluet, and Greg Morrisett. 2007. L3 : A Linear Language with Locations. Fundamenta Informaticae, 77, 4 (2007), June, 397\u2013449.","journal-title":"Fundamenta Informaticae"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/504709.504712"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.4230\/LIPIcs.ECOOP.2016.3"},{"key":"e_1_3_2_1_7_1","volume-title":"Fourth Annual USENIX Tcl\/Tk Workshop 1996","author":"Beazley David M.","year":"1996","unstructured":"David M. Beazley . 1996 . SWIG: An Easy to Use Tool for Integrating Scripting Languages with C and C++ . In Fourth Annual USENIX Tcl\/Tk Workshop 1996 , Monterey, California, USA , July 10-13, 1996, Mark Diekhans and Mark Roseman (Eds.). USENIX Association. https:\/\/www.usenix.org\/legacy\/publications\/library\/proceedings\/tcl96\/beazley.html David M. Beazley. 1996. SWIG: An Easy to Use Tool for Integrating Scripting Languages with C and C++. In Fourth Annual USENIX Tcl\/Tk Workshop 1996, Monterey, California, USA, July 10-13, 1996, Mark Diekhans and Mark Roseman (Eds.). USENIX Association. https:\/\/www.usenix.org\/legacy\/publications\/library\/proceedings\/tcl96\/beazley.html"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"crossref","unstructured":"Nick Benton. 2006. Abstracting allocation: The new new thing. In Computer Science Logic (CSL).  Nick Benton. 2006. Abstracting allocation: The new new thing. In Computer Science Logic (CSL).","DOI":"10.1007\/11874683_12"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/1596550.1596567"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/1013963.1013987"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/1481861.1481864"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/1273920.1273922"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1016\/S1571-0661(05)80452-9"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2020.09.005"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"crossref","unstructured":"Samuele Buro and Isabella Mastroeni. 2019. On the Multi-Language Construction.. In ESOP. 293\u2013321.  Samuele Buro and Isabella Mastroeni. 2019. On the Multi-Language Construction.. In ESOP. 293\u2013321.","DOI":"10.1007\/978-3-030-17184-1_11"},{"key":"e_1_3_2_1_16_1","volume-title":"Symposium on Implementation and Application of Functional Languages. 131\u2013148","author":"Chakravarty Manuel MT","year":"1999","unstructured":"Manuel MT Chakravarty . 1999 . C->HASKELL, or Yet Another Interfacing Tool . In Symposium on Implementation and Application of Functional Languages. 131\u2013148 . Manuel MT Chakravarty. 1999. C->HASKELL, or Yet Another Interfacing Tool. In Symposium on Implementation and Application of Functional Languages. 131\u2013148."},{"key":"e_1_3_2_1_17_1","volume-title":"Complete Monitors for Behavioral Contracts. In European Symposium on Programming (ESOP).","author":"Dimoulas Christos","year":"2012","unstructured":"Christos Dimoulas , Sam Tobin-Hochstadt , and Matthias Felleisen . 2012 . Complete Monitors for Behavioral Contracts. In European Symposium on Programming (ESOP). Christos Dimoulas, Sam Tobin-Hochstadt, and Matthias Felleisen. 2012. Complete Monitors for Behavioral Contracts. In European Symposium on Programming (ESOP)."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1007\/11737414_16"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/581478.581484"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-70592-5_4"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/1103845.1094830"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/2816707.2816714"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/3386321"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-57208-2_35"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0053567"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/2429069.2429105"},{"key":"e_1_3_2_1_27_1","volume-title":"RustBelt: Securing the Foundations of the Rust Programming Language. In ACM Symposium on Principles of Programming Languages (POPL).","author":"Jung Ralf","year":"2018","unstructured":"Ralf Jung , Jacques-Henri Jourdan , Robbert Krebbers , and Derek Dreyer . 2018 . RustBelt: Securing the Foundations of the Rust Programming Language. In ACM Symposium on Principles of Programming Languages (POPL). Ralf Jung, Jacques-Henri Jourdan, Robbert Krebbers, and Derek Dreyer. 2018. RustBelt: Securing the Foundations of the Rust Programming Language. In ACM Symposium on Principles of Programming Languages (POPL)."},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/378795.378797"},{"key":"e_1_3_2_1_29_1","volume-title":"A Foundation for Typed Concatenative Languages. Master\u2019s thesis","author":"Kleffner Robert","unstructured":"Robert Kleffner . 2017. A Foundation for Typed Concatenative Languages. Master\u2019s thesis . Northeastern University . Robert Kleffner. 2017. A Foundation for Typed Concatenative Languages. Master\u2019s thesis. Northeastern University."},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/2676726.2676969"},{"key":"e_1_3_2_1_31_1","volume-title":"University of London","author":"Levy Paul Blain","unstructured":"Paul Blain Levy . 2001. Call-by-Push-Value. Queen Mary , University of London . London, UK . Paul Blain Levy. 2001. Call-by-Push-Value. Queen Mary, University of London. London, UK."},{"key":"e_1_3_2_1_32_1","volume-title":"Under Control: Compositionally Correct Closure Conversion with Mutable State. In ACM Conference on Principles and Practice of Declarative Programming (PPDP).","author":"Mates Phillip","year":"2019","unstructured":"Phillip Mates , Jamie Perconti , and Amal Ahmed . 2019 . Under Control: Compositionally Correct Closure Conversion with Mutable State. In ACM Conference on Principles and Practice of Declarative Programming (PPDP). Phillip Mates, Jamie Perconti, and Amal Ahmed. 2019. Under Control: Compositionally Correct Closure Conversion with Mutable State. In ACM Conference on Principles and Practice of Declarative Programming (PPDP)."},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/1190216.1190220"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1016\/0022-0000(78)90014-4"},{"key":"e_1_3_2_1_35_1","volume-title":"A calculus of mobile processes, i. Information and computation, 100, 1","author":"Milner Robin","year":"1992","unstructured":"Robin Milner , Joachim Parrow , and David Walker . 1992. A calculus of mobile processes, i. Information and computation, 100, 1 ( 1992 ), 1\u201340. Robin Milner, Joachim Parrow, and David Walker. 1992. A calculus of mobile processes, i. Information and computation, 100, 1 (1992), 1\u201340."},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/3236768"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/2951913.2951941"},{"key":"e_1_3_2_1_38_1","first-page":"1","article-title":"Graduality and Parametricity: Together Again for the First Time","volume":"46","author":"New Max S.","year":"2020","unstructured":"Max S. New , Dustin Jamner , and Amal Ahmed . 2020 . Graduality and Parametricity: Together Again for the First Time . Proceedings of the ACM on Programming Languages, 4, POPL , 46 : 1 \u2013 46 :32. Max S. New, Dustin Jamner, and Amal Ahmed. 2020. Graduality and Parametricity: Together Again for the First Time. Proceedings of the ACM on Programming Languages, 4, POPL, 46:1\u201346:32.","journal-title":"Proceedings of the ACM on Programming Languages, 4, POPL"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1145\/3290328"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1145\/1094811.1094815"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1145\/2103776.2103779"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"crossref","unstructured":"Daniel Patterson Noble Mushtak Andrew Wagner and Amal Ahmed. 2022. Semantic Soundness for Language Interoperability (Technical Appendix). March Available at https:\/\/dbp.io\/pubs\/2022\/semint-tr.pdf.  Daniel Patterson Noble Mushtak Andrew Wagner and Amal Ahmed. 2022. Semantic Soundness for Language Interoperability (Technical Appendix). March Available at https:\/\/dbp.io\/pubs\/2022\/semint-tr.pdf.","DOI":"10.1145\/3519939.3523703"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1145\/3062341.3062347"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-54833-8_8"},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-89366-2_8"},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0055515"},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1145\/2384616.2384685"},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1145\/1159876.1159884"},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-58184-7_118"},{"key":"e_1_3_2_1_50_1","volume-title":"19th European Symposium on Programming, ESOP 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings.","author":"Tov Jesse","year":"2010","unstructured":"Jesse Tov and Riccardo Pucella . 2010 . Stateful Contracts for Affine Types. In Programming Languages and Systems , 19th European Symposium on Programming, ESOP 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings. Jesse Tov and Riccardo Pucella. 2010. Stateful Contracts for Affine Types. In Programming Languages and Systems, 19th European Symposium on Programming, ESOP 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings."},{"key":"e_1_3_2_1_51_1","volume-title":"European Symposium on Programming. 128\u2013146","author":"Trifonov Valery","year":"1999","unstructured":"Valery Trifonov and Zhong Shao . 1999 . Safe and principled language interoperation . In European Symposium on Programming. 128\u2013146 . Valery Trifonov and Zhong Shao. 1999. Safe and principled language interoperation. In European Symposium on Programming. 128\u2013146."},{"key":"e_1_3_2_1_52_1","doi-asserted-by":"publisher","DOI":"10.4230\/LIPIcs.ECOOP.2019.16"},{"key":"e_1_3_2_1_53_1","doi-asserted-by":"publisher","DOI":"10.1145\/2660193.2660201"},{"key":"e_1_3_2_1_54_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2017.04.002"},{"key":"e_1_3_2_1_55_1","unstructured":"Jyun-Yan You. 2021. Rust Bindgen. https:\/\/github.com\/rust-lang\/rust-bindgen  Jyun-Yan You. 2021. Rust Bindgen. https:\/\/github.com\/rust-lang\/rust-bindgen"}],"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.3523703","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3519939.3523703","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T18:10:30Z","timestamp":1750183830000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3519939.3523703"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,6,9]]},"references-count":54,"alternative-id":["10.1145\/3519939.3523703","10.1145\/3519939"],"URL":"https:\/\/doi.org\/10.1145\/3519939.3523703","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"}}]}}