{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,19]],"date-time":"2026-03-19T02:18:16Z","timestamp":1773886696886,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":54,"publisher":"ACM","license":[{"start":{"date-parts":[[2021,6,18]],"date-time":"2021-06-18T00:00:00Z","timestamp":1623974400000},"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":[[2021,6,19]]},"DOI":"10.1145\/3453483.3454070","type":"proceedings-article","created":{"date-parts":[[2021,6,18]],"date-time":"2021-06-18T13:51:32Z","timestamp":1624024292000},"page":"681-695","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":4,"title":["An efficient interpreter for Datalog by de-specializing relations"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-4577-3360","authenticated-orcid":false,"given":"Xiaowen","family":"Hu","sequence":"first","affiliation":[{"name":"University of Sydney, Australia"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-3857-5016","authenticated-orcid":false,"given":"David","family":"Zhao","sequence":"additional","affiliation":[{"name":"University of Sydney, Australia"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-0884-270X","authenticated-orcid":false,"given":"Herbert","family":"Jordan","sequence":"additional","affiliation":[{"name":"Innsbruck University, Austria"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-7672-7359","authenticated-orcid":false,"given":"Bernhard","family":"Scholz","sequence":"additional","affiliation":[{"name":"University of Sydney, Australia"}]}],"member":"320","published-online":{"date-parts":[[2021,6,18]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Foundations of Databases: The Logical Level","author":"Abiteboul Serge","year":"2015","unstructured":"Serge Abiteboul , Richard Hull , and Victor Vianu . 1995. Foundations of Databases: The Logical Level ( 1 st ed.). Addison-Wesley Longman Publishing Co., Inc. , USA. isbn:0 2015 37710 Serge Abiteboul, Richard Hull, and Victor Vianu. 1995. Foundations of Databases: The Logical Level (1st ed.). Addison-Wesley Longman Publishing Co., Inc., USA. isbn:0201537710","edition":"1"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.14778\/2336664.2336670"},{"key":"e_1_3_2_1_3_1","volume-title":"Ullman","author":"Aho Alfred V.","year":"2006","unstructured":"Alfred V. Aho , Monica S. Lam , Ravi Sethi , and Jeffrey D . Ullman . 2006 . Compilers : Principles, Techniques, and Tools (2nd Edition). Addison-Wesley Longman Publishing Co. , Inc., USA. isbn:0321486811 Alfred V. Aho, Monica S. Lam, Ravi Sethi, and Jeffrey D. Ullman. 2006. Compilers: Principles, Techniques, and Tools (2nd Edition). Addison-Wesley Longman Publishing Co., Inc., USA. isbn:0321486811"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/3088515.3088522"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/2723372.2742796"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/857076.857077"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-25543-5_14"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1137\/060676489"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/362248.362270"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/1167473.1167488"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/1640089.1640108"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2009.11.011"},{"key":"e_1_3_2_1_13_1","volume-title":"O\u2019Hallaron","author":"Bryant Randal E.","year":"2015","unstructured":"Randal E. Bryant and David R . O\u2019Hallaron . 2015 . Computer Systems : A Programmer\u2019s Perspective plus MasteringEngineering with Pearson EText \u2013 Access Card Package (3rd ed.). Pearson . isbn:0134123832 Randal E. Bryant and David R. O\u2019Hallaron. 2015. Computer Systems: A Programmer\u2019s Perspective plus MasteringEngineering with Pearson EText \u2013 Access Card Package (3rd ed.). Pearson. isbn:0134123832"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/1286821.1286828"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/69.43410"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-83952-8"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/360825.360849"},{"key":"e_1_3_2_1_18_1","volume-title":"The Structure and Performance of Efficient Interpreters. J. Instr. Level Parallelism, 5","author":"Anton Ertl M.","year":"2003","unstructured":"M. Anton Ertl and David Gregg . 2003. The Structure and Performance of Efficient Interpreters. J. Instr. Level Parallelism, 5 ( 2003 ), http:\/\/www.jilp.org\/vol5\/v5paper12.pdf M. Anton Ertl and David Gregg. 2003. The Structure and Performance of Efficient Interpreters. J. Instr. Level Parallelism, 5 (2003), http:\/\/www.jilp.org\/vol5\/v5paper12.pdf"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/1059579.1059583"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1002\/spe.434"},{"key":"e_1_3_2_1_21_1","unstructured":"M. Anton Ertl and Tu Wien. 2001. Threaded Code Variations and Optimizations. In in EuroForth. 49\u201355.  M. Anton Ertl and Tu Wien. 2001. Threaded Code Variations and Optimizations. In in EuroForth. 49\u201355."},{"key":"e_1_3_2_1_22_1","volume-title":"Datalog Disassembly. In 29th USENIX Security Symposium, USENIX Security 2020","author":"Flores-Montoya Antonio","year":"2020","unstructured":"Antonio Flores-Montoya and Eric M. Schulte . 2020 . Datalog Disassembly. In 29th USENIX Security Symposium, USENIX Security 2020 , August 12-14, 2020 , Srdjan Capkun and Franziska Roesner (Eds.). USENIX Association, 1075\u20131092. https:\/\/www.usenix.org\/conference\/usenixsecurity20\/presentation\/flores-montoya Antonio Flores-Montoya and Eric M. Schulte. 2020. Datalog Disassembly. In 29th USENIX Security Symposium, USENIX Security 2020, August 12-14, 2020, Srdjan Capkun and Franziska Roesner (Eds.). USENIX Association, 1075\u20131092. https:\/\/www.usenix.org\/conference\/usenixsecurity20\/presentation\/flores-montoya"},{"key":"e_1_3_2_1_23_1","unstructured":"The Python Software Foundation. 2020. CPython Implementation. https:\/\/github.com\/python\/cpython\/blob\/f03d318ca42578e45405717aedd4ac26ea52aaed\/Python\/ceval.c##L1017  The Python Software Foundation. 2020. CPython Implementation. https:\/\/github.com\/python\/cpython\/blob\/f03d318ca42578e45405717aedd4ac26ea52aaed\/Python\/ceval.c##L1017"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2019.00120"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/1186736.1186737"},{"key":"e_1_3_2_1_26_1","unstructured":"Xiaowen Hu. 2020. An Efficient Interpreter for Souffl\u00e9. 07 Honours Thesis.  Xiaowen Hu. 2020. An Efficient Interpreter for Souffl\u00e9. 07 Honours Thesis."},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/1238844.1238846"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-41540-6_23"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/3303084.3309490"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/3293883.3295719"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1002\/cpe.5643"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.14778\/3275366.3275370"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICDE.2018.00027"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.4230\/LIPIcs.ECOOP.2020.15"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/1065167.1065169"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.7551\/mitpress\/4301.001.0001"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/2908080.2908096"},{"key":"e_1_3_2_1_38_1","volume-title":"Rebecca Isaacs, and Michael Isard.","author":"McSherry Frank","year":"2013","unstructured":"Frank McSherry , Derek Gordon Murray , Rebecca Isaacs, and Michael Isard. 2013 . Differential Dataflow. In CIDR 2013, Sixth Biennial Conference on Innovative Data Systems Research, Asilomar, CA, USA, January 6-9, 2013, Online Proceedings . www.cidrdb.org. http:\/\/cidrdb.org\/cidr2013\/Papers\/CIDR13_Paper111.pdf Frank McSherry, Derek Gordon Murray, Rebecca Isaacs, and Michael Isard. 2013. Differential Dataflow. In CIDR 2013, Sixth Biennial Conference on Innovative Data Systems Research, Asilomar, CA, USA, January 6-9, 2013, Online Proceedings. www.cidrdb.org. http:\/\/cidrdb.org\/cidr2013\/Papers\/CIDR13_Paper111.pdf"},{"key":"e_1_3_2_1_39_1","unstructured":"Nagy Mostafa Chandra Krintz Calin Cascaval David Edelsohn Priya Nagpurkar and Peng Wu. 2010. Understanding the Potential of Interpreter-based Optimizations for Python. 09.  Nagy Mostafa Chandra Krintz Calin Cascaval David Edelsohn Priya Nagpurkar and Peng Wu. 2010. Understanding the Potential of Interpreter-based Optimizations for Python. 09."},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1109\/PACT.2019.00015"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.14778\/2002938.2002940"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1145\/199448.199526"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1109\/CGO.2015.7054191"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1145\/237090.237175"},{"key":"e_1_3_2_1_45_1","unstructured":"Leonid Ryzhyk and Mihai Budiu. 2019. Differential Datalog. In Datalog 2.0 2019 - 3rd International Workshop on the Resurgence of Datalog in Academia and Industry co-located with the 15th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2019) at the Philadelphia Logic Week 2019 Philadelphia PA (USA) June 4-5 2019 Mario Alviano and Andreas Pieris (Eds.) (CEUR Workshop Proceedings Vol. 2368). CEUR-WS.org 56\u201367. http:\/\/ceur-ws.org\/Vol-2368\/paper6.pdf  Leonid Ryzhyk and Mihai Budiu. 2019. Differential Datalog. In Datalog 2.0 2019 - 3rd International Workshop on the Resurgence of Datalog in Academia and Industry co-located with the 15th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2019) at the Philadelphia Logic Week 2019 Philadelphia PA (USA) June 4-5 2019 Mario Alviano and Andreas Pieris (Eds.) (CEUR Workshop Proceedings Vol. 2368). CEUR-WS.org 56\u201367. http:\/\/ceur-ws.org\/Vol-2368\/paper6.pdf"},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1145\/191839.191927"},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1145\/2892208.2892226"},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.14778\/3282495.3282500"},{"key":"e_1_3_2_1_49_1","unstructured":"Lindholm Tim Yellin Frank Bracha Gilad Buckley Alex and Smith Daniel. 2020. The Java Virtual Machine Specification (20 ed.). Oracle America 500 Oracle Parkway Redwood City California 94065 U.S.A.. An optional note.  Lindholm Tim Yellin Frank Bracha Gilad Buckley Alex and Smith Daniel. 2020. The Java Virtual Machine Specification (20 ed.). Oracle America 500 Oracle Parkway Redwood City California 94065 U.S.A.. An optional note."},{"key":"e_1_3_2_1_50_1","volume-title":"Principles of Database and Knowledge-Base Systems","author":"Ullman Jeffrey D.","unstructured":"Jeffrey D. Ullman . 1988. Principles of Database and Knowledge-Base Systems , Volume I ( Principles of computer science series, Vol. 14). Computer Science Press. isbn:0-7167-8069-0 https:\/\/www.worldcat.org\/oclc\/310956623 Jeffrey D. Ullman. 1988. Principles of Database and Knowledge-Base Systems, Volume I (Principles of computer science series, Vol. 14). Computer Science Press. isbn:0-7167-8069-0 https:\/\/www.worldcat.org\/oclc\/310956623"},{"key":"e_1_3_2_1_51_1","unstructured":"David HD Warren. 1983. An abstract Prolog instruction set. Technical note 309.  David HD Warren. 1983. An abstract Prolog instruction set. Technical note 309."},{"key":"e_1_3_2_1_52_1","volume-title":"Proceedings of the 13th International Workshop on Logic Programming Environments, Tata Institute of Fundamental Research","volume":"3001","author":"Wielemaker Jan","year":"2003","unstructured":"Jan Wielemaker . 2003 . An Overview of the SWI-Prolog Programming Environment . In Proceedings of the 13th International Workshop on Logic Programming Environments, Tata Institute of Fundamental Research , Mumbai, India , December 8, 2003, Fr\u00e9d\u00e9ric Mesnard and Alexander Serebrenik (Eds.) (Report, Vol. CW371). Katholieke Universiteit Leuven, Department of Computer Science, Celestijnenlaan 200A, B- 3001 Heverlee (Belgium), 1\u201316. Jan Wielemaker. 2003. An Overview of the SWI-Prolog Programming Environment. In Proceedings of the 13th International Workshop on Logic Programming Environments, Tata Institute of Fundamental Research, Mumbai, India, December 8, 2003, Fr\u00e9d\u00e9ric Mesnard and Alexander Serebrenik (Eds.) (Report, Vol. CW371). Katholieke Universiteit Leuven, Department of Computer Science, Celestijnenlaan 200A, B-3001 Heverlee (Belgium), 1\u201316."},{"key":"e_1_3_2_1_53_1","volume-title":"Markus Triska, and Marcus Uneson.","author":"Wielemaker Jan","year":"2012","unstructured":"Jan Wielemaker , Thom Fruehwirth , Leslie De Koninck , Markus Triska, and Marcus Uneson. 2012 . SWI Prolog Reference Manual (6.2.2). BoD \u2013 Books on Demand, USA. isbn:978-3-84-822617-7 Jan Wielemaker, Thom Fruehwirth, Leslie De Koninck, Markus Triska, and Marcus Uneson. 2012. SWI Prolog Reference Manual (6.2.2). BoD \u2013 Books on Demand, USA. isbn:978-3-84-822617-7"},{"key":"e_1_3_2_1_54_1","doi-asserted-by":"publisher","DOI":"10.1145\/3379446"}],"event":{"name":"PLDI '21: 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation","location":"Virtual Canada","acronym":"PLDI '21","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"]},"container-title":["Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3453483.3454070","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3453483.3454070","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T20:47:47Z","timestamp":1750193267000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3453483.3454070"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,6,18]]},"references-count":54,"alternative-id":["10.1145\/3453483.3454070","10.1145\/3453483"],"URL":"https:\/\/doi.org\/10.1145\/3453483.3454070","relation":{},"subject":[],"published":{"date-parts":[[2021,6,18]]},"assertion":[{"value":"2021-06-18","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}