{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,27]],"date-time":"2026-02-27T03:47:14Z","timestamp":1772164034454,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":56,"publisher":"ACM","license":[{"start":{"date-parts":[[2014,6,9]],"date-time":"2014-06-09T00:00:00Z","timestamp":1402272000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"Language and Algorithms for Heterogeneous Graph Streams","award":["FA8750-12-2-0335"],"award-info":[{"award-number":["FA8750-12-2-0335"]}]},{"DOI":"10.13039\/100005492","name":"Stanford University","doi-asserted-by":"publisher","id":[{"id":"10.13039\/100005492","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100002418","name":"Intel Corporation","doi-asserted-by":"publisher","id":[{"id":"10.13039\/100002418","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000143","name":"Division of Computing and Communication Foundations","doi-asserted-by":"publisher","award":["IIS-1247701, CCF-1111943"],"award-info":[{"award-number":["IIS-1247701, CCF-1111943"]}],"id":[{"id":"10.13039\/100000143","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000145","name":"Division of Information and Intelligent Systems","doi-asserted-by":"publisher","award":["IIS-1247701, CCF-1111943"],"award-info":[{"award-number":["IIS-1247701, CCF-1111943"]}],"id":[{"id":"10.13039\/100000145","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100004682","name":"Oracle","doi-asserted-by":"publisher","id":[{"id":"10.13039\/100004682","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000185","name":"Defense Advanced Research Projects Agency","doi-asserted-by":"publisher","id":[{"id":"10.13039\/100000185","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100004311","name":"Advanced Micro Devices","doi-asserted-by":"publisher","id":[{"id":"10.13039\/100004311","id-type":"DOI","asserted-by":"publisher"}]},{"name":"Xgraphs"},{"DOI":"10.13039\/100007065","name":"Nvidia","doi-asserted-by":"publisher","id":[{"id":"10.13039\/100007065","id-type":"DOI","asserted-by":"publisher"}]},{"name":"SEEC: Specialized Extremely Efficient Computing","award":["HR0011-11-C-0007"],"award-info":[{"award-number":["HR0011-11-C-0007"]}]},{"name":"Army","award":["AHPCRC W911NF-07-2-0027-1"],"award-info":[{"award-number":["AHPCRC W911NF-07-2-0027-1"]}]},{"DOI":"10.13039\/501100003816","name":"Huawei Technologies","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100003816","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2014,6,9]]},"DOI":"10.1145\/2594291.2594316","type":"proceedings-article","created":{"date-parts":[[2014,5,13]],"date-time":"2014-05-13T08:18:34Z","timestamp":1399969114000},"page":"41-52","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":35,"title":["Surgical precision JIT compilers"],"prefix":"10.1145","author":[{"given":"Tiark","family":"Rompf","sequence":"first","affiliation":[{"name":"Oracle Labs and EPFL"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Arvind K.","family":"Sujeeth","sequence":"additional","affiliation":[{"name":"Stanford University"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kevin J.","family":"Brown","sequence":"additional","affiliation":[{"name":"Stanford University"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"HyoukJoong","family":"Lee","sequence":"additional","affiliation":[{"name":"Stanford University"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hassan","family":"Chafi","sequence":"additional","affiliation":[{"name":"Oracle Labs and Stanford University"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kunle","family":"Olukotun","sequence":"additional","affiliation":[{"name":"Stanford University"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2014,6,9]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"BRICS","author":"Ager M. S.","year":"2003","unstructured":"M. S. Ager , D. Biernacki , O. Danvy , and J. Midtgaard . From interpreter to compiler and virtual machine: A functional derivation. Technical report , BRICS , 2003 . M. S. Ager, D. Biernacki, O. Danvy, and J. Midtgaard. From interpreter to compiler and virtual machine: A functional derivation. Technical report, BRICS, 2003."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1147\/sj.442.0399"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/353171.353175"},{"key":"e_1_3_2_1_4_1","volume-title":"Implicitly parallel distributed execution for domain-specific languages. Under submission","author":"Authors D.-B.","year":"2013","unstructured":"D.-B. Authors . Implicitly parallel distributed execution for domain-specific languages. Under submission , 2013 . D.-B. Authors. Implicitly parallel distributed execution for domain-specific languages. Under submission, 2013."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"crossref","unstructured":"O.\n      Beckmann A.\n      Houghton M. R.\n      Mellor and \n      P. H. J.\n      Kelly\n    .\n  Runtime code generation in c++ as a foundation for domain-specific optimisation\n  . In C. Lengauer D. S. Batory C. Consel and M. Odersky editors Domain-Specific Program Generation volume \n  3016\n   of \n  Lecture Notes in Computer Science pages \n  291\n  --\n  306\n  . \n  Springer 2003\n  .  O. Beckmann A. Houghton M. R. Mellor and P. H. J. Kelly. Runtime code generation in c++ as a foundation for domain-specific optimisation. In C. Lengauer D. S. Batory C. Consel and M. Odersky editors Domain-Specific Program Generation volume 3016 of Lecture Notes in Computer Science pages 291--306. Springer 2003.","DOI":"10.1007\/978-3-540-25935-0_17"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/1565824.1565827"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/165854.165893"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/PACT.2011.15"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.5555\/954186.954190"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01806108"},{"key":"e_1_3_2_1_11_1","volume-title":"CIDR","author":"Cheung A.","year":"2013","unstructured":"A. Cheung , O. Arden , S. Madden , A. Solar-Lezama , and A. Myers . Statusquo: Making familiar abstractions perform using program analysis . In CIDR , 2013 . A. Cheung, O. Arden, S. Madden, A. Solar-Lezama, and A. Myers. Statusquo: Making familiar abstractions perform using program analysis. In CIDR, 2013."},{"key":"e_1_3_2_1_12_1","unstructured":"C. Click. Fixing the inlining problem. http:\/\/www.azulsystems.com\/blog\/cliff\/2011-04-04-fixing-the-inlining-problem 2011.  C. Click. Fixing the inlining problem. http:\/\/www.azulsystems.com\/blog\/cliff\/2011-04-04-fixing-the-inlining-problem 2011."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/169683.174155"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0960129500001535"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1010095604496"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/1297027.1297033"},{"key":"e_1_3_2_1_18_1","unstructured":"Google. Goole Web Toolkit. http:\/\/code.google.com\/webtoolkit\/.  Google. Goole Web Toolkit. http:\/\/code.google.com\/webtoolkit\/."},{"key":"e_1_3_2_1_19_1","volume-title":"The V8 JavaScript VM","year":"2009","unstructured":"Google. The V8 JavaScript VM , 2009 . https:\/\/developers.google.com\/v8\/intro. Google. The V8 JavaScript VM, 2009. https:\/\/developers.google.com\/v8\/intro."},{"key":"e_1_3_2_1_20_1","volume-title":"A new crankshaft for V8","year":"2010","unstructured":"Google. A new crankshaft for V8 , 2010 . http:\/\/blog.chromium.org\/2010\/12\/new-crankshaft-for-v8.html. Google. A new crankshaft for V8, 2010. http:\/\/blog.chromium.org\/2010\/12\/new-crankshaft-for-v8.html."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(00)00051-7"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.14778\/1920841.1920866"},{"issue":"3","key":"e_1_3_2_1_23_1","first-page":"167","article-title":"Dynamic versus static optimization techniques for object-oriented languages","volume":"1","author":"H\u00f6lzle U.","year":"1995","unstructured":"U. H\u00f6lzle and O. Agesen . Dynamic versus static optimization techniques for object-oriented languages . TAPOS , 1 ( 3 ): 167 -- 188 , 1995 . U. H\u00f6lzle and O. Agesen. Dynamic versus static optimization techniques for object-oriented languages. TAPOS, 1(3):167--188, 1995.","journal-title":"TAPOS"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"crossref","unstructured":"U.\n      H\u00f6lzle C.\n      Chambers and \n      D.\n      Ungar\n  . \n  Optimizing dynamically-typed object-oriented languages with polymorphic inline caches\n  . In P. America editor ECOOP volume \n  512\n   of \n  Lecture Notes in Computer Science pages \n  21\n  --\n  38\n  . \n  Springer 1991\n  .   U. H\u00f6lzle C. Chambers and D. Ungar. Optimizing dynamically-typed object-oriented languages with polymorphic inline caches. In P. America editor ECOOP volume 512 of Lecture Notes in Computer Science pages 21--38. Springer 1991.","DOI":"10.1007\/BFb0057013"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/143095.143114"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/178243.178478"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/233561.233562"},{"key":"e_1_3_2_1_28_1","volume-title":"Partial evaluation and automatic program generation","author":"Jones N. D.","year":"1993","unstructured":"N. D. Jones , C. K. Gomard , and P. Sestoft . Partial evaluation and automatic program generation . Prentice-Hall, Inc. , Upper Saddle River, NJ, USA, 1993 . N. D. Jones, C. K. Gomard, and P. Sestoft. Partial evaluation and automatic program generation. Prentice-Hall, Inc., Upper Saddle River, NJ, USA, 1993."},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/1017753.1017794"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-11486-1_16"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-31057-7_19"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/1369396.1370017"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1109\/MM.2011.68"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/565816.503298"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/1142473.1142552"},{"key":"e_1_3_2_1_36_1","unstructured":"T. A. Mogensen. Partially static structures in a self-applicable partial evaluator. 1988.  T. A. Mogensen. Partially static structures in a self-applicable partial evaluator. 1988."},{"key":"e_1_3_2_1_37_1","volume-title":"OpenJDK: Graal project","year":"2012","unstructured":"Oracle. OpenJDK: Graal project , 2012 . http:\/\/openjdk.java.net\/projects\/graal\/. Oracle. OpenJDK: Graal project, 2012. http:\/\/openjdk.java.net\/projects\/graal\/."},{"key":"e_1_3_2_1_38_1","volume-title":"Java Virtual Machine Research and Technology Symposium. USENIX","author":"Paleczny M.","year":"2001","unstructured":"M. Paleczny , C. A. Vick , and C. Click . The java hotspot server compiler . In Java Virtual Machine Research and Technology Symposium. USENIX , 2001 . M. Paleczny, C. A. Vick, and C. Click. The java hotspot server compiler. In Java Virtual Machine Research and Technology Symposium. USENIX, 2001."},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1145\/1176617.1176753"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1145\/2184319.2184345"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1145\/2429069.2429128"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.4204\/EPTCS.66.5"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1145\/778559.778561"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1145\/2048066.2048098"},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1145\/231379.231419"},{"key":"e_1_3_2_1_46_1","volume-title":"Proceedings of the 28th International Conference on Machine Learning, ICML","author":"Sujeeth A. K.","year":"2011","unstructured":"A. K. Sujeeth , H. Lee , K. J. Brown , T. Rompf , M. Wu , A. R. Atreya , M. Odersky , and K. Olukotun . OptiML: an implicitly parallel domain-specific language for machine learning . In Proceedings of the 28th International Conference on Machine Learning, ICML , 2011 . A. K. Sujeeth, H. Lee, K. J. Brown, T. Rompf, M. Wu, A. R. Atreya, M. Odersky, and K. Olukotun. OptiML: an implicitly parallel domain-specific language for machine learning. In Proceedings of the 28th International Conference on Machine Learning, ICML, 2011."},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-39038-8_3"},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(00)00053-0"},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1145\/2426890.2426906"},{"key":"e_1_3_2_1_50_1","volume-title":"Partial evaluation for higher-order languages with state. Technical report","author":"Thiemann P.","year":"1999","unstructured":"P. Thiemann and D. Dussart . Partial evaluation for higher-order languages with state. Technical report , 1999 . P. Thiemann and D. Dussart. Partial evaluation for higher-order languages with state. Technical report, 1999."},{"key":"e_1_3_2_1_51_1","doi-asserted-by":"publisher","DOI":"10.1145\/5956.5957"},{"key":"e_1_3_2_1_52_1","volume-title":"RWTH Aachen","author":"Vogt J. C.","year":"2011","unstructured":"J. C. Vogt . Type Safe Integration of Query Languages into Scala. Diplomarbeit , RWTH Aachen , Germany , 2011 . J. C. Vogt. Type Safe Integration of Query Languages into Scala. Diplomarbeit, RWTH Aachen, Germany, 2011."},{"key":"e_1_3_2_1_53_1","volume-title":"DBPL","author":"Wiedermann B.","year":"2011","unstructured":"B. Wiedermann and W. R. Cook . Remote batch invocation for sql databases . In DBPL , 2011 . B. Wiedermann and W. R. Cook. Remote batch invocation for sql databases. In DBPL, 2011."},{"key":"e_1_3_2_1_54_1","doi-asserted-by":"publisher","DOI":"10.1145\/2400682.2400689"},{"key":"e_1_3_2_1_55_1","doi-asserted-by":"publisher","DOI":"10.1145\/2048147.2048168"},{"key":"e_1_3_2_1_56_1","doi-asserted-by":"publisher","DOI":"10.1145\/2509578.2509581"},{"key":"e_1_3_2_1_57_1","doi-asserted-by":"publisher","DOI":"10.1145\/2384577.2384587"}],"event":{"name":"PLDI '14: ACM SIGPLAN Conference on Programming Language Design and Implementation","location":"Edinburgh United Kingdom","acronym":"PLDI '14","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","ACM Association for Computing Machinery","NSF"]},"container-title":["Proceedings of the 35th ACM SIGPLAN Conference on Programming Language Design and Implementation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2594291.2594316","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2594291.2594316","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T03:01:05Z","timestamp":1750215665000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2594291.2594316"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,6,9]]},"references-count":56,"alternative-id":["10.1145\/2594291.2594316","10.1145\/2594291"],"URL":"https:\/\/doi.org\/10.1145\/2594291.2594316","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/2666356.2594316","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2014,6,9]]},"assertion":[{"value":"2014-06-09","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}