{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,18]],"date-time":"2026-03-18T04:49:55Z","timestamp":1773809395684,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":41,"publisher":"ACM","license":[{"start":{"date-parts":[[2015,8,29]],"date-time":"2015-08-29T00:00:00Z","timestamp":1440806400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"National Security Agency"},{"name":"EPSRC","award":["EP\/K01790X\/1"],"award-info":[{"award-number":["EP\/K01790X\/1"]}]},{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["1360694,1421652, 1540276"],"award-info":[{"award-number":["1360694,1421652, 1540276"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2015,8,29]]},"DOI":"10.1145\/2784731.2784740","type":"proceedings-article","created":{"date-parts":[[2015,8,26]],"date-time":"2015-08-26T12:48:13Z","timestamp":1440593293000},"page":"22-34","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":27,"title":["Pycket: a tracing JIT for a functional language"],"prefix":"10.1145","author":[{"given":"Spenser","family":"Bauman","sequence":"first","affiliation":[{"name":"Indiana University, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Carl Friedrich","family":"Bolz","sequence":"additional","affiliation":[{"name":"Kings College London, UK"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Robert","family":"Hirschfeld","sequence":"additional","affiliation":[{"name":"HPI, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Vasily","family":"Kirilichev","sequence":"additional","affiliation":[{"name":"HPI, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tobias","family":"Pape","sequence":"additional","affiliation":[{"name":"HPI, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jeremy G.","family":"Siek","sequence":"additional","affiliation":[{"name":"Indiana University, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sam","family":"Tobin-Hochstadt","sequence":"additional","affiliation":[{"name":"Indiana University, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2015,8,29]]},"reference":[{"key":"e_1_3_2_1_1_1","series-title":"Lecture Notes in Computer Science","first-page":"13","volume-title":"Programming Language Implementation and Logic Programming","author":"Appel A.","unstructured":"A. Appel and D. MacQueen . Standard ML of New Jersey . In J. Maluszy\u00b4nski and M. Wirsing, editors, Programming Language Implementation and Logic Programming , volume 528 of Lecture Notes in Computer Science , pages 1\u2013 13 . Springer Berlin Heidelberg, 1991. A. Appel and D. MacQueen. Standard ML of New Jersey. In J. Maluszy\u00b4nski and M. Wirsing, editors, Programming Language Implementation and Logic Programming, volume 528 of Lecture Notes in Computer Science, pages 1\u201313. Springer Berlin Heidelberg, 1991."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/857076.857077"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/349299.349303"},{"key":"e_1_3_2_1_4_1","volume-title":"Science of Computer Programming","author":"Bolz C. F.","year":"2013","unstructured":"C. F. Bolz and L. Tratt . The impact of meta-tracing on VM design and implementation . Science of Computer Programming , 2013 . C. F. Bolz and L. Tratt. The impact of meta-tracing on VM design and implementation. Science of Computer Programming, 2013."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/1565824.1565827"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/1929501.1929508"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/2509136.2509531"},{"key":"e_1_3_2_1_8_1","volume-title":"Workshop on Dynamic Languages and Applications","author":"Bolz C. F.","year":"2014","unstructured":"C. F. Bolz , T. Pape , J. G. Siek , and S. Tobin-Hochstadt . Meta-tracing makes a fast Racket . In Workshop on Dynamic Languages and Applications , 2014 . C. F. Bolz, T. Pape, J. G. Siek, and S. Tobin-Hochstadt. Meta-tracing makes a fast Racket. In Workshop on Dynamic Languages and Applications, 2014."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01806109"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/74877.74884"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/2047849.2047853"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/2754169.2754181"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/115372.115320"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511802843"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.5555\/264989"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/800017.800542"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/2034773.2034800"},{"key":"e_1_3_2_1_21_1","first-page":"217","volume-title":"Working Conf. on Formal Description of Programming Concepts - III","author":"Felleisen M.","unstructured":"M. Felleisen and D. P. Friedman . Control operators, the SECD-machine and the lambda-calculus . In Working Conf. on Formal Description of Programming Concepts - III , pages 193\u2013 217 . Elsevier, 1987. M. Felleisen and D. P. Friedman. Control operators, the SECD-machine and the lambda-calculus. In Working Conf. on Formal Description of Programming Concepts - III, pages 193\u2013217. Elsevier, 1987."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/581478.581484"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-85373-2_7"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/155090.155113"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/581478.581486"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/1134760.1134780"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/1542476.1542528"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/165180.165214"},{"key":"e_1_3_2_1_30_1","volume-title":"Google","author":"H\u00f6ltt\u00e4 M.","year":"2013","unstructured":"M. H\u00f6ltt\u00e4 . Crankshafting from the ground up. Technical report , Google , August 2013 . M. H\u00f6ltt\u00e4. Crankshafting from the ground up. Technical report, Google, August 2013."},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/2508168.2508177"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/158511.158618"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1109\/MS.2014.98"},{"key":"e_1_3_2_1_34_1","volume-title":"abs\/1011.1783","author":"Meurer B.","year":"2010","unstructured":"B. Meurer . OCaml JIT 2.0 - Faster Objective Caml . CoRR , abs\/1011.1783 , 2010 . B. Meurer. OCamlJIT 2.0 - Faster Objective Caml. CoRR, abs\/1011.1783, 2010."},{"key":"e_1_3_2_1_36_1","first-page":"1","volume-title":"Proc. JVM","author":"Paleczny M.","unstructured":"M. Paleczny , C. Vick , and C. Click . The Java Hotspot server compiler . In Proc. JVM , pages 1\u2013 1 . USENIX Association, 2001. M. Paleczny, C. Vick, and C. Click. The Java Hotspot server compiler. In Proc. JVM, pages 1\u20131. USENIX Association, 2001."},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-34407-7_4"},{"key":"e_1_3_2_1_38_1","volume-title":"University of Kent","author":"Schilling T.","year":"2013","unstructured":"T. Schilling . Trace-based Just-in-time Compilation for Lazy Functional Programming Languages. PhD thesis , University of Kent , 2013 . T. Schilling. Trace-based Just-in-time Compilation for Lazy Functional Programming Languages. PhD thesis, University of Kent, 2013."},{"key":"e_1_3_2_1_39_1","series-title":"LNCS","first-page":"381","volume-title":"Static Analysis","author":"Serrano M.","unstructured":"M. Serrano and P. Weis . Bigloo: a portable and optimizing compiler for strict functional languages . In Static Analysis , volume 983 of LNCS , pages 366\u2013 381 . 1995. M. Serrano and P. Weis. Bigloo: a portable and optimizing compiler for strict functional languages. In Static Analysis, volume 983 of LNCS, pages 366\u2013381. 1995."},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.5555\/1830448"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1145\/2384616.2384629"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1145\/2384616.2384685"},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1145\/858570.858576"},{"key":"e_1_3_2_1_46_1","volume-title":"Master\u2019s thesis","author":"Thomassen E. W.","year":"2013","unstructured":"E. W. Thomassen . Trace-based just-in-time compiler for Haskell with R Python . Master\u2019s thesis , Norwegian University of Science and Technology Trondheim , 2013 . E. W. Thomassen. Trace-based just-in-time compiler for Haskell with RPython. Master\u2019s thesis, Norwegian University of Science and Technology Trondheim, 2013."},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1145\/1328438.1328486"},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1145\/1869631.1869638"}],"event":{"name":"ICFP'15: 20th ACM SIGPLAN International Conference on Functional Programming","location":"Vancouver BC Canada","acronym":"ICFP'15","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"]},"container-title":["Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2784731.2784740","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2784731.2784740","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T02:16:48Z","timestamp":1750213008000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2784731.2784740"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,8,29]]},"references-count":41,"alternative-id":["10.1145\/2784731.2784740","10.1145\/2784731"],"URL":"https:\/\/doi.org\/10.1145\/2784731.2784740","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/2858949.2784740","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2015,8,29]]},"assertion":[{"value":"2015-08-29","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}