{"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":1776013544136,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":24,"publisher":"ACM","license":[{"start":{"date-parts":[[2017,6,14]],"date-time":"2017-06-14T00:00:00Z","timestamp":1497398400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["CCF-1422133, CCF-1453796, CCF-1618732, CCF-1421770, CNS-1524052"],"award-info":[{"award-number":["CCF-1422133, CCF-1453796, CCF-1618732, CCF-1421770, CNS-1524052"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100006785","name":"Google","doi-asserted-by":"publisher","award":["Faculty Research Award, 2014"],"award-info":[{"award-number":["Faculty Research Award, 2014"]}],"id":[{"id":"10.13039\/100006785","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2017,6,14]]},"DOI":"10.1145\/3062341.3062347","type":"proceedings-article","created":{"date-parts":[[2017,6,14]],"date-time":"2017-06-14T10:01:04Z","timestamp":1497434464000},"page":"495-509","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":22,"title":["FunTAL: reasonably mixing a functional language with assembly"],"prefix":"10.1145","author":[{"given":"Daniel","family":"Patterson","sequence":"first","affiliation":[{"name":"Northeastern University, USA"}]},{"given":"Jamie","family":"Perconti","sequence":"additional","affiliation":[{"name":"Northeastern University, USA"}]},{"given":"Christos","family":"Dimoulas","sequence":"additional","affiliation":[{"name":"Harvard University, USA"}]},{"given":"Amal","family":"Ahmed","sequence":"additional","affiliation":[{"name":"Northeastern University, USA"}]}],"member":"320","published-online":{"date-parts":[[2017,6,14]]},"reference":[{"key":"e_1_3_2_2_1_1","unstructured":"A.\n      Ahmed\n    .\n  Verified Compilers for a Multi-Language World\n  . In T. Ball R. Bodik S. Krishnamurthi B. S. Lerner and G. Morrisett editors 1st Summit on Advances in \n  Programming Languages (SNAPL\n  2015\n  ) volume \n  32\n   of \n  Leibniz International Proceedings in Informatics (LIPIcs) pages 15\u2013\n  31 2015.  A. Ahmed. Verified Compilers for a Multi-Language World. In T. Ball R. Bodik S. Krishnamurthi B. S. Lerner and G. Morrisett editors 1st Summit on Advances in Programming Languages (SNAPL 2015) volume 32 of Leibniz International Proceedings in Informatics (LIPIcs) pages 15\u201331 2015."},{"key":"e_1_3_2_2_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/2034773.2034830"},{"key":"e_1_3_2_2_3_1","volume-title":"Jan.","author":"Ahmed A.","year":"2003","unstructured":"A. Ahmed , A. W. Appel , and R. Virga . An indexed model of impredicative polymorphism and mutable references. Available at http:\/\/www.cs.princeton.edu\/ \u223cappel\/papers\/impred.pdf , Jan. 2003 . A. Ahmed, A. W. Appel, and R. Virga. An indexed model of impredicative polymorphism and mutable references. Available at http:\/\/www.cs.princeton.edu\/ \u223cappel\/papers\/impred.pdf, Jan. 2003."},{"key":"e_1_3_2_2_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/1480881.1480925"},{"key":"e_1_3_2_2_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/1709093.1709094"},{"key":"e_1_3_2_2_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/11575467_24"},{"key":"e_1_3_2_2_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/1596550.1596567"},{"key":"e_1_3_2_2_9_1","volume-title":"RustBelt: Logical foundations for the future of safe systems programming","author":"Dreyer D.","unstructured":"D. Dreyer . RustBelt: Logical foundations for the future of safe systems programming . http:\/\/plv.mpi-sws.org\/ rustbelt\/, 2016. Accessed: 2016-11-15. D. Dreyer. RustBelt: Logical foundations for the future of safe systems programming. http:\/\/plv.mpi-sws.org\/ rustbelt\/, 2016. Accessed: 2016-11-15."},{"key":"e_1_3_2_2_10_1","doi-asserted-by":"publisher","DOI":"10.1017\/S095679681200024X"},{"key":"e_1_3_2_2_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/1065010.1065019"},{"key":"e_1_3_2_2_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/292540.292563"},{"key":"e_1_3_2_2_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/1926385.1926402"},{"key":"e_1_3_2_2_14_1","volume-title":"Workshop on Low-Level Languages (LOLA), http:\/\/web.emn.fr\/ x-info\/ntabareau\/fichiers\/lola2011","author":"Jaber G.","year":"2011","unstructured":"G. Jaber and N. Tabareau . The journey of biorthogonal logical relations to the realm of assembly code . Workshop on Low-Level Languages (LOLA), http:\/\/web.emn.fr\/ x-info\/ntabareau\/fichiers\/lola2011 .pdf, 2011 . Accessed : 2016-11-15. G. Jaber and N. Tabareau. The journey of biorthogonal logical relations to the realm of assembly code. Workshop on Low-Level Languages (LOLA), http:\/\/web.emn.fr\/ x-info\/ntabareau\/fichiers\/lola2011.pdf, 2011. Accessed: 2016-11-15."},{"key":"e_1_3_2_2_15_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-22969-0_16"},{"key":"e_1_3_2_2_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/1190216.1190220"},{"key":"e_1_3_2_2_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/268946.268954"},{"key":"e_1_3_2_2_18_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796801004178"},{"key":"e_1_3_2_2_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/2784731.2784764"},{"key":"e_1_3_2_2_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/2951913.2951941"},{"key":"e_1_3_2_2_21_1","volume-title":"Mar.","author":"Patterson D.","year":"2017","unstructured":"D. Patterson , J. Perconti , C. Dimoulas , and A. Ahmed . FunTAL: Reasonably mixing a functional language with assembly (technical appendix). Available at http:\/\/www.ccs.neu.edu\/home\/amal\/papers\/ funtal-tr.pdf , Mar. 2017 . D. Patterson, J. Perconti, C. Dimoulas, and A. Ahmed. FunTAL: Reasonably mixing a functional language with assembly (technical appendix). Available at http:\/\/www.ccs.neu.edu\/home\/amal\/papers\/ funtal-tr.pdf, Mar. 2017."},{"key":"e_1_3_2_2_22_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-54833-8_8"},{"key":"e_1_3_2_2_23_1","doi-asserted-by":"publisher","DOI":"10.5555\/1947873.1947885"},{"key":"e_1_3_2_2_24_1","first-page":"106","volume-title":"Proceedings of the 2006 IEEE International Symposium on Secure Software Engineering","author":"Tan G.","year":"2006","unstructured":"G. Tan , A. W. Appel , S. Chakradhar , R. Srivaths , A. Raghunathan , and D. Wang . Safe java native interface . In Proceedings of the 2006 IEEE International Symposium on Secure Software Engineering , pages 97\u2013 106 , 2006 . G. Tan, A. W. Appel, S. Chakradhar, R. Srivaths, A. Raghunathan, and D. Wang. Safe java native interface. In Proceedings of the 2006 IEEE International Symposium on Secure Software Engineering, pages 97\u2013106, 2006."},{"key":"e_1_3_2_2_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/2660193.2660201"}],"event":{"name":"PLDI '17: ACM SIGPLAN Conference on Programming Language Design and Implementation","location":"Barcelona Spain","acronym":"PLDI '17","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"]},"container-title":["Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3062341.3062347","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3062341.3062347","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3062341.3062347","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T23:36:32Z","timestamp":1750203392000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3062341.3062347"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,6,14]]},"references-count":24,"alternative-id":["10.1145\/3062341.3062347","10.1145\/3062341"],"URL":"https:\/\/doi.org\/10.1145\/3062341.3062347","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/3140587.3062347","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2017,6,14]]},"assertion":[{"value":"2017-06-14","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}