{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,27]],"date-time":"2026-02-27T03:47:12Z","timestamp":1772164032094,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":43,"publisher":"ACM","license":[{"start":{"date-parts":[[2011,10,24]],"date-time":"2011-10-24T00:00:00Z","timestamp":1319414400000},"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":[[2011,10,24]]},"DOI":"10.1145\/2047849.2047853","type":"proceedings-article","created":{"date-parts":[[2011,10,25]],"date-time":"2011-10-25T08:23:06Z","timestamp":1319530986000},"page":"13-24","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":8,"title":["The impact of optional type information on jit compilation of dynamically typed languages"],"prefix":"10.1145","author":[{"given":"Mason","family":"Chang","sequence":"first","affiliation":[{"name":"University of California at Irvine, Irvine, & Adobe Systems, San Jose, CA, USA"}]},{"given":"Bernd","family":"Mathiske","sequence":"additional","affiliation":[{"name":"Adobe Systems, San Jose, CA, USA"}]},{"given":"Edwin","family":"Smith","sequence":"additional","affiliation":[{"name":"Adobe Systems, San Jose, CA, USA"}]},{"given":"Avik","family":"Chaudhuri","sequence":"additional","affiliation":[{"name":"Adobe Systems, San Jose, CA, USA"}]},{"given":"Andreas","family":"Gal","sequence":"additional","affiliation":[{"name":"Mozilla Corporation, Mountain View, CA, USA"}]},{"given":"Michael","family":"Bebenita","sequence":"additional","affiliation":[{"name":"University of California at Irvine, Irvine, CA, USA"}]},{"given":"Christian","family":"Wimmer","sequence":"additional","affiliation":[{"name":"University of California at Irvine, Irvine, CA, USA"}]},{"given":"Michael","family":"Franz","sequence":"additional","affiliation":[{"name":"University of California at Irvine, Irvine, CA, USA"}]}],"member":"320","published-online":{"date-parts":[[2011,10,24]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"ActionScript 3.0 Overview - Adobe Developer Connection - http:\/\/www.adobe.com\/devnet\/actionscript\/articles\/actionscript3_overview.html.  ActionScript 3.0 Overview - Adobe Developer Connection - http:\/\/www.adobe.com\/devnet\/actionscript\/articles\/actionscript3_overview.html."},{"key":"e_1_3_2_1_2_1","unstructured":"dynamic (C# Reference) - http:\/\/msdn.microsoft.com\/en-us\/library\/dd264741.aspx#Y669.  dynamic (C# Reference) - http:\/\/msdn.microsoft.com\/en-us\/library\/dd264741.aspx#Y669."},{"key":"e_1_3_2_1_3_1","unstructured":"LIR - MDC - https:\/\/developer.mozilla.org\/en\/Nanojit\/LIR.  LIR - MDC - https:\/\/developer.mozilla.org\/en\/Nanojit\/LIR."},{"key":"e_1_3_2_1_4_1","unstructured":"LLVM Assembly Language Reference Manual - http:\/\/llvm.org\/docs\/LangRef.html.  LLVM Assembly Language Reference Manual - http:\/\/llvm.org\/docs\/LangRef.html."},{"key":"e_1_3_2_1_5_1","unstructured":"NanoJIT - MDC - https:\/\/developer.mozilla.org\/En\/Nanojit.  NanoJIT - MDC - https:\/\/developer.mozilla.org\/En\/Nanojit."},{"key":"e_1_3_2_1_6_1","unstructured":"Open Source Framework Web Application Software Development - Flex - Adobe - http:\/\/www.adobe.com\/products\/flex\/.  Open Source Framework Web Application Software Development - Flex - Adobe - http:\/\/www.adobe.com\/products\/flex\/."},{"key":"e_1_3_2_1_7_1","unstructured":"Proposed ECMAScript 4 Edition - Language Overview - http:\/\/www.ecmascript.org\/es4\/spec\/overview.pdf.  Proposed ECMAScript 4 Edition - Language Overview - http:\/\/www.ecmascript.org\/es4\/spec\/overview.pdf."},{"key":"e_1_3_2_1_8_1","unstructured":"Standard ECMA-262. 3rd Edition - December 1999. http:\/\/www.ecma-international.org\/publications\/files\/ECMA-ST\/Ecma-362.pdf.  Standard ECMA-262. 3rd Edition - December 1999. http:\/\/www.ecma-international.org\/publications\/files\/ECMA-ST\/Ecma-362.pdf."},{"key":"e_1_3_2_1_9_1","unstructured":"Sunspider JavaScript Benchmark - http:\/\/www.webkit.org\/perf\/sunspider\/sunspider.html.  Sunspider JavaScript Benchmark - http:\/\/www.webkit.org\/perf\/sunspider\/sunspider.html."},{"key":"e_1_3_2_1_10_1","unstructured":"Tamarin - MDC - https:\/\/developer.mozilla.org\/en\/Tamarin.  Tamarin - MDC - https:\/\/developer.mozilla.org\/en\/Tamarin."},{"key":"e_1_3_2_1_11_1","unstructured":"The WebKit Open Source Project - http:\/\/webkit.org\/.  The WebKit Open Source Project - http:\/\/webkit.org\/."},{"key":"e_1_3_2_1_12_1","unstructured":"unladen-swallow - Project Hosting on Google Code - http:\/\/code.google.com\/p\/unladen-swallow\/.  unladen-swallow - Project Hosting on Google Code - http:\/\/code.google.com\/p\/unladen-swallow\/."},{"key":"e_1_3_2_1_13_1","unstructured":"Unladen Swallow Retrospective - QINSB is not a Software Blog - http:\/\/qinsb.blogspot.com\/2011\/03\/unladen-swallow-retrospective.html.  Unladen Swallow Retrospective - QINSB is not a Software Blog - http:\/\/qinsb.blogspot.com\/2011\/03\/unladen-swallow-retrospective.html."},{"key":"e_1_3_2_1_14_1","unstructured":"V8 - Project Hosting on Google Code - http:\/\/code.google.com\/p\/v8\/.  V8 - Project Hosting on Google Code - http:\/\/code.google.com\/p\/v8\/."},{"key":"e_1_3_2_1_15_1","unstructured":"V8 Benchmark Suite - http:\/\/v8.googlecode.com\/svn\/data\/benchmarks\/current\/run.html.  V8 Benchmark Suite - http:\/\/v8.googlecode.com\/svn\/data\/benchmarks\/current\/run.html."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/103135.103138"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/217838.217847"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1147\/sj.391.0211"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1007\/11531142_19"},{"key":"e_1_3_2_1_20_1","volume-title":"Pluggable Type Systems. In OOPSLA Workshop on Revival of Dynamic Languages","author":"Bracha G.","year":"2004","unstructured":"G. Bracha . Pluggable Type Systems. In OOPSLA Workshop on Revival of Dynamic Languages , 2004 . G. Bracha. Pluggable Type Systems. In OOPSLA Workshop on Revival of Dynamic Languages, 2004."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/73141.74831"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/201059.201061"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/115372.115320"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/582153.582176"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/1542476.1542528"},{"key":"e_1_3_2_1_28_1","first-page":"93","volume-title":"Sage: Hybrid Checking for Flexible Specifications. In Scheme and Functional Programming Workshop","author":"Gronski J.","year":"2006","unstructured":"J. Gronski , K. Knowles , A. Tomb , S. Freund , and C. Flanagan . Sage: Hybrid Checking for Flexible Specifications. In Scheme and Functional Programming Workshop , pages 93 -- 104 , 2006 . J. Gronski, K. Knowles, A. Tomb, S. Freund, and C. Flanagan. Sage: Hybrid Checking for Flexible Specifications. In Scheme and Functional Programming Workshop, pages 93--104, 2006."},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.5555\/646149.679193"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/178243.178478"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/1369396.1370017"},{"key":"e_1_3_2_1_32_1","first-page":"75","volume-title":"Proceedings of the International Symposium on Code Generation and Optimization","author":"Lattner C.","unstructured":"C. Lattner and V. Adve . LLVM: A Compilation Framework for Lifelong Program Analysis & Transformation . In Proceedings of the International Symposium on Code Generation and Optimization , pages 75 --. Published by the IEEE Computer Society, 2004. C. Lattner and V. Adve. LLVM: A Compilation Framework for Lifelong Program Analysis & Transformation. In Proceedings of the International Symposium on Code Generation and Optimization, pages 75--. Published by the IEEE Computer Society, 2004."},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1002\/spe.v36:8"},{"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":"An overview of the scala programming language. Technical report","author":"Odersky M.","year":"2004","unstructured":"M. Odersky , P. Altherr , V. Cremet , B. Emir , S. Maneth , S. Micheloud , N. Mihaylov , M. Schinz , E. Stenman , and M. Zenger . An overview of the scala programming language. Technical report , 2004 . M. Odersky, P. Altherr, V. Cremet, B. Emir, S. Maneth, S. Micheloud, N. Mihaylov, M. Schinz, E. Stenman, and M. Zenger. An overview of the scala programming language. Technical report, 2004."},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/117954.117965"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/330249.330250"},{"key":"e_1_3_2_1_38_1","first-page":"81","volume-title":"Scheme and Functional Programming","author":"Siek J.","year":"2006","unstructured":"J. Siek and W. Taha . Gradual Typing for Functional Languages . In Scheme and Functional Programming , pages 81 -- 92 , 2006 . J. Siek and W. Taha. Gradual Typing for Functional Languages. In Scheme and Functional Programming, pages 81--92, 2006."},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-73589-2_2"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1145\/1408681.1408688"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1145\/96709.96747"},{"key":"e_1_3_2_1_42_1","first-page":"615","volume-title":"Theoretical Computer Science","author":"Thatte S.","year":"1994","unstructured":"S. Thatte . Type Inference with Partial Types . In Theoretical Computer Science , pages 615 -- 629 . Elsevier , 1994 . S. Thatte. Type Inference with Partial Types. In Theoretical Computer Science, pages 615--629. Elsevier, 1994."},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-31987-0_28"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1145\/1176617.1176755"},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1145\/1328438.1328486"}],"event":{"name":"SPLASH '11: Conference on Systems, Programming, and Applications: Software for Humanity","location":"Portland Oregon USA","acronym":"SPLASH '11","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"]},"container-title":["Proceedings of the 7th symposium on Dynamic languages"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2047849.2047853","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2047849.2047853","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T05:48:55Z","timestamp":1750225735000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2047849.2047853"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,10,24]]},"references-count":43,"alternative-id":["10.1145\/2047849.2047853","10.1145\/2047849"],"URL":"https:\/\/doi.org\/10.1145\/2047849.2047853","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/2168696.2047853","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2011,10,24]]},"assertion":[{"value":"2011-10-24","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}