{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:19:42Z","timestamp":1750220382874,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":44,"publisher":"ACM","license":[{"start":{"date-parts":[[2021,7,11]],"date-time":"2021-07-11T00:00:00Z","timestamp":1625961600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100001509","name":"Royal Society Te Ap\u0101rangi","doi-asserted-by":"publisher","award":["VUW1815"],"award-info":[{"award-number":["VUW1815"]}],"id":[{"id":"10.13039\/501100001509","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2021,7,13]]},"DOI":"10.1145\/3464972.3472395","type":"proceedings-article","created":{"date-parts":[[2021,7,9]],"date-time":"2021-07-09T14:47:46Z","timestamp":1625842066000},"page":"1-9","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Na\u00efve transient cast insertion isn't (that) bad"],"prefix":"10.1145","author":[{"given":"Erin","family":"Greenwood-Thessman","sequence":"first","affiliation":[{"name":"Victoria University of Wellington, New Zealand"}]},{"given":"Isaac Oscar","family":"Gariano","sequence":"additional","affiliation":[{"name":"Victoria University of Wellington, New Zealand"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-3462-8539","authenticated-orcid":false,"given":"Richard","family":"Roberts","sequence":"additional","affiliation":[{"name":"Victoria University of Wellington, New Zealand"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9059-5180","authenticated-orcid":false,"given":"Stefan","family":"Marr","sequence":"additional","affiliation":[{"name":"University of Kent, UK"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-0280-6748","authenticated-orcid":false,"given":"Michael","family":"Homer","sequence":"additional","affiliation":[{"name":"Victoria University of Wellington, New Zealand"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9036-5692","authenticated-orcid":false,"given":"James","family":"Noble","sequence":"additional","affiliation":[{"name":"Victoria University of Wellington, New Zealand"}]}],"member":"320","published-online":{"date-parts":[[2021,7,11]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/103135.103138"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/3133876"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/2784731.2784740"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/3133878"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"crossref","unstructured":"Gavin M. Bierman Erik Meijer and Mads Torgersen. 2010. Adding Dynamic Types to C#. In ECOOP.  Gavin M. Bierman Erik Meijer and Mads Torgersen. 2010. Adding Dynamic Types to C#. In ECOOP.","DOI":"10.1007\/978-3-642-14107-2_5"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/2384592.2384601"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/1238844.1238855"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/1639949.1640098"},{"key":"e_1_3_2_1_9_1","unstructured":"John Tang Boyland. 2014. The Problem of Structural Type Tests in a Gradual-Typed Language. In FOOL.  John Tang Boyland. 2014. The Problem of Structural Type Tests in a Gradual-Typed Language. In FOOL."},{"volume-title":"Pluggable Type Systems. OOPSLA Workshop on Revival of Dynamic Languages. 6 pages.","year":"2004","author":"Bracha Gilad","key":"e_1_3_2_1_10_1"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/2445196.2445240"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.4230\/LIPIcs.ECOOP.2018.12"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"crossref","unstructured":"Isaac Oscar Gariano Richard Roberts Stefan Marr Michael Homer and James Noble. 2019. Which of my Transient Type Checks are not (Almost) Free? In VMIL.  Isaac Oscar Gariano Richard Roberts Stefan Marr Michael Homer and James Noble. 2019. Which of my Transient Type Checks are not (Almost) Free? In VMIL.","DOI":"10.1145\/3358504.3361232"},{"volume-title":"Smalltalk-80: The Language and its Implementation","author":"Goldberg Adele","key":"e_1_3_2_1_14_1"},{"volume-title":"SNAPL (LIPIcs","year":"2019","author":"Greenberg Michael","key":"e_1_3_2_1_15_1"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/3236766"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/3162066"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/2816707.2816708"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/3359619.3359740"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-44202-9_6"},{"volume-title":"Dynamic Language Symposium.","author":"Homer Michael","key":"e_1_3_2_1_21_1"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0057013"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.4230\/LIPIcs.ECOOP.2015.198"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.4230\/LIPIcs.ECOOP.2016.13"},{"volume-title":"Siek","year":"2019","author":"Kuhlenschmidt Andre","key":"e_1_3_2_1_26_1"},{"volume-title":"Object-Oriented Programming in the BETA Programming Language","author":"Madsen Ole Lehrmann","key":"e_1_3_2_1_27_1"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.5281\/zenodo.3270908"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/3093334.2989232"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/3133880"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.5381\/jot.2017.16.2.a2"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/2676726.2676971"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/3133879"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.4230\/LIPIcs.ECOOP.2015.76"},{"volume-title":"MoreVMs\u201917: 1st International Workshop on Workshop on Modern Language Runtimes, Ecosystems, and VMs at <Programming>","year":"2017","author":"Roberts Richard","key":"e_1_3_2_1_35_1"},{"key":"e_1_3_2_1_36_1","unstructured":"Richard Roberts Stefan Marr Michael Homer and James Noble. 2019. Transient Typechecks are (Almost) Free. In ECOOP.  Richard Roberts Stefan Marr Michael Homer and James Noble. 2019. Transient Typechecks are (Almost) Free. In ECOOP."},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-73589-2_2"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.4230\/LIPIcs.SNAPL.2015.274"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.4230\/LIPIcs.SNAPL.2015.274"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1145\/2661088.2661101"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"crossref","unstructured":"Michael M. Vitousek Jeremy G. Siek and Avik Chaudhuri. 2019. Optimizing and Evaluating Transient Gradual Typing. In DLS.  Michael M. Vitousek Jeremy G. Siek and Avik Chaudhuri. 2019. Optimizing and Evaluating Transient Gradual Typing. In DLS.","DOI":"10.1145\/3359619.3359742"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1145\/2647508.2647517"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1145\/3062341.3062381"},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1145\/2509578.2509581"},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1145\/2384577.2384587"}],"event":{"name":"ISSTA '21: 30th ACM SIGSOFT International Symposium on Software Testing and Analysis","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"],"location":"Virtual Denmark","acronym":"ISSTA '21"},"container-title":["Proceedings of the 16th ACM International Workshop on Implementation, Compilation, Optimization of OO Languages, Programs and Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3464972.3472395","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3464972.3472395","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T20:18:25Z","timestamp":1750191505000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3464972.3472395"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,7,11]]},"references-count":44,"alternative-id":["10.1145\/3464972.3472395","10.1145\/3464972"],"URL":"https:\/\/doi.org\/10.1145\/3464972.3472395","relation":{},"subject":[],"published":{"date-parts":[[2021,7,11]]},"assertion":[{"value":"2021-07-11","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}