{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,19]],"date-time":"2026-03-19T02:22:59Z","timestamp":1773886979200,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":38,"publisher":"ACM","license":[{"start":{"date-parts":[[2016,3,17]],"date-time":"2016-03-17T00:00:00Z","timestamp":1458172800000},"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":[[2016,3,17]]},"DOI":"10.1145\/2892208.2892226","type":"proceedings-article","created":{"date-parts":[[2016,3,14]],"date-time":"2016-03-14T13:11:18Z","timestamp":1457961078000},"page":"196-206","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":80,"title":["On fast large-scale program analysis in Datalog"],"prefix":"10.1145","author":[{"given":"Bernhard","family":"Scholz","sequence":"first","affiliation":[{"name":"Oracle Labs, Australia"}]},{"given":"Herbert","family":"Jordan","sequence":"additional","affiliation":[{"name":"Oracle Labs, Australia"}]},{"given":"Pavle","family":"Suboti\u0107","sequence":"additional","affiliation":[{"name":"University College London, UK"}]},{"given":"Till","family":"Westmann","sequence":"additional","affiliation":[{"name":"Oracle Labs, USA"}]}],"member":"320","published-online":{"date-parts":[[2016,3,17]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.5555\/551350"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/2771284.2771287"},{"key":"e_1_3_2_1_3_1","series-title":"Lecture Notes in Computer Science","first-page":"150","volume-title":"Compiler Construction","author":"Allen N.","unstructured":"N. Allen, B. Scholz, and P. Krishnan. Staged points-to analysis for large code bases. In B. Franke, editor, Compiler Construction, volume 9031 of Lecture Notes in Computer Science, pages 131\u2013150. Springer Berlin Heidelberg, 2015."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-24206-9_1"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-24206-9_17"},{"key":"e_1_3_2_1_6_1","volume-title":"Workshop on Advancing Reasoning on the Web: Scalability and Commonsense. CEUR-WS.org","author":"Bishop B.","year":"2008","unstructured":"B. Bishop and F. Fischer. IRIS - integrated rule inference system. In Workshop on Advancing Reasoning on the Web: Scalability and Commonsense. CEUR-WS.org, June 2008."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-39666-3_4"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/1640089.1640108"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/69.43410"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/231379.231399"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/2814270.2814307"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1010095604496"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/1480945.1480954"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/2254064.2254112"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1561\/1900000017"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.5555\/2032305.2032341"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.4204\/EPTCS.169.6"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"crossref","unstructured":"pages 39\u201352 2014.","DOI":"10.1080\/03632415.2013.875004"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/512529.512566"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/2491956.2462191"},{"key":"e_1_3_2_1_21_1","series-title":"Lecture Notes in Computer Science","first-page":"73","volume-title":"Approaches and Applications of Inductive Programming","author":"Kitzelmann E.","unstructured":"E. Kitzelmann. Inductive programming: A survey of program synthesis techniques. In U. Schmid, E. Kitzelmann, and R. Plasmeijer, editors, Approaches and Applications of Inductive Programming, volume 5812 of Lecture Notes in Computer Science, pages 50\u201373. Springer Berlin Heidelberg, 2010."},{"key":"e_1_3_2_1_22_1","first-page":"134","volume-title":"Automated Deduction \u2013 A Basis for Applications","author":"Kreitz C.","unstructured":"C. Kreitz. Program synthesis. In W. Bibel and P. Schmitt, editors, Automated Deduction \u2013 A Basis for Applications, volume III, chapter III.2.5, pages 105\u2013134. Kluwer, 1998."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/1552309.1552311"},{"key":"e_1_3_2_1_24_1","unstructured":"LogicBlox Inc. Declartive cloud platform for applications that combine transactions & analytics. http:\/\/www.logicblox.com."},{"key":"e_1_3_2_1_25_1","volume-title":"Springer","author":"Mart\u00ednez-Angeles C. A.","year":"2014","unstructured":"C. A. Mart\u00ednez-Angeles, I. Dutra, V. S. Costa, and J. Buenabad-Ch\u00e1vez. A datalog engine for GPUs. In Declarative Programming and Knowledge Management, LNCS 8439, pages 152\u2013168. Springer, 2014."},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/1133255.1134018"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/2594291.2594339"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.5555\/647766.733615"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1016\/0743-1066(94)00039-9"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.5555\/647472.727424"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2011.12.007"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASWEC.2015.15"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.14778\/2556549.2556572"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/1376616.1376673"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/2594291.2594320"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/73721.73736"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/996841.996859"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1007\/11575467_8"}],"event":{"name":"CGO '16: 14th Annual IEEE\/ACM International Symposium on Code Generation and Optimization","location":"Barcelona Spain","acronym":"CGO '16","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","SIGMICRO ACM Special Interest Group on Microarchitectural Research and Processing","IEEE-CS Computer Society"]},"container-title":["Proceedings of the 25th International Conference on Compiler Construction"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2892208.2892226","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2892208.2892226","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:53:53Z","timestamp":1750222433000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2892208.2892226"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,3,17]]},"references-count":38,"alternative-id":["10.1145\/2892208.2892226","10.1145\/2892208"],"URL":"https:\/\/doi.org\/10.1145\/2892208.2892226","relation":{},"subject":[],"published":{"date-parts":[[2016,3,17]]},"assertion":[{"value":"2016-03-17","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}