{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,6]],"date-time":"2026-02-06T13:48:05Z","timestamp":1770385685505,"version":"3.49.0"},"publisher-location":"New York, NY, USA","reference-count":39,"publisher":"ACM","license":[{"start":{"date-parts":[[2019,2,17]],"date-time":"2019-02-17T00:00:00Z","timestamp":1550361600000},"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":[[2019,2,17]]},"DOI":"10.1145\/3303084.3309490","type":"proceedings-article","created":{"date-parts":[[2019,2,19]],"date-time":"2019-02-19T20:59:18Z","timestamp":1550609958000},"page":"31-40","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":15,"title":["Brie"],"prefix":"10.1145","author":[{"given":"Herbert","family":"Jordan","sequence":"first","affiliation":[{"name":"University of Innsbruck, Austria"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pavle","family":"Suboti\u0107","sequence":"additional","affiliation":[{"name":"Amazon, UK"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"David","family":"Zhao","sequence":"additional","affiliation":[{"name":"University of Sydney, Australia"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bernhard","family":"Scholz","sequence":"additional","affiliation":[{"name":"University of Sydney, Australia"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2019,2,17]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"Serge Abiteboul Richard Hull and Victor Vianu (Eds.). 1995. Foundations of Databases: The Logical Level (1st ed.). Addison-Wesley Longman Publishing Co. Inc.   Serge Abiteboul Richard Hull and Victor Vianu (Eds.). 1995. Foundations of Databases: The Logical Level (1st ed.). Addison-Wesley Longman Publishing Co. Inc."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/3088515.3088522"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/2611462.2611471"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/3018743.3018761"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/1375581.1375591"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/2312005.2312016"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/1572272.1572274"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/1837853.1693488"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-25873-2_15"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/73721.73742"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/2145816.2145837"},{"key":"e_1_3_2_1_12_1","volume-title":"d.}. Souffle - A Datalog Engine","author":"Developers The Souffle","unstructured":"The Souffle Developers . {n. d.}. Souffle - A Datalog Engine . http:\/\/www.github.com\/souffle-lang\/souffle. Accessed: 2019-01-05. The Souffle Developers. {n. d.}. Souffle - A Datalog Engine. http:\/\/www.github.com\/souffle-lang\/souffle. Accessed: 2019-01-05."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/2692916.2555269"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.5555\/2789770.2789803"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/1806907.1806908"},{"key":"e_1_3_2_1_16_1","volume-title":"CAV (Lecture Notes in Computer Science)","author":"Hoder Krystof","unstructured":"Krystof Hoder , Nikolaj Bj\u00f8rner , and Leonardo Mendon\u00e7a de Moura . 2011. Z- An Efficient Engine for Fixed Points with Constraints . In CAV (Lecture Notes in Computer Science) , Vol. 6806 . Springer , 457--462. Krystof Hoder, Nikolaj Bj\u00f8rner, and Leonardo Mendon\u00e7a de Moura. 2011. Z- An Efficient Engine for Fixed Points with Constraints. In CAV (Lecture Notes in Computer Science), Vol. 6806. Springer, 457--462."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/2312005.2312036"},{"key":"e_1_3_2_1_18_1","unstructured":"Google Inc. {n. d.}. B-Tree Containers from Google. https:\/\/isocpp.org\/blog\/2013\/02\/b-tree-containers-from-google. Accessed: 2017-02-14.  Google Inc. {n. d.}. B-Tree Containers from Google. https:\/\/isocpp.org\/blog\/2013\/02\/b-tree-containers-from-google. Accessed: 2017-02-14."},{"key":"e_1_3_2_1_19_1","volume-title":"Souffl\u00e9: On Synthesis of Program Analyzers. In International Conference on Computer Aided Verification.","author":"Jordan Herbert","year":"2016","unstructured":"Herbert Jordan , Bernhard Scholz , and Pavle Suboti\u0107 . 2016 . Souffl\u00e9: On Synthesis of Program Analyzers. In International Conference on Computer Aided Verification. Herbert Jordan, Bernhard Scholz, and Pavle Suboti\u0107. 2016. Souffl\u00e9: On Synthesis of Program Analyzers. In International Conference on Computer Aided Verification."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/3293883.3295719"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1109\/HPCA.2014.6835957"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/319566.319567"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/319628.319663"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICDE.2013.6544834"},{"key":"e_1_3_2_1_25_1","volume-title":"V\u0131tor Santos Costa, and Jorge Buenabad-Ch\u00e1vez","author":"Mart\u0131nez-Angeles Carlos Alberto","year":"2014","unstructured":"Carlos Alberto Mart\u0131nez-Angeles , In\u00eas Dutra , V\u0131tor Santos Costa, and Jorge Buenabad-Ch\u00e1vez . 2014 . A datalog engine for gpus. Declarative Programming and Knowledge Management ( 2014), 152--168. Carlos Alberto Mart\u0131nez-Angeles, In\u00eas Dutra, V\u0131tor Santos Costa, and Jorge Buenabad-Ch\u00e1vez. 2014. A datalog engine for gpus. Declarative Programming and Knowledge Management (2014), 152--168."},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/2555243.2555256"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/2484239.2484270"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/2370036.2145836"},{"key":"e_1_3_2_1_29_1","volume-title":"Intel threading building blocks: outfitting C++ for multi-core processor parallelism. \" O'Reilly Media","author":"Reinders James","unstructured":"James Reinders . 2007. Intel threading building blocks: outfitting C++ for multi-core processor parallelism. \" O'Reilly Media , Inc .\". James Reinders. 2007. Intel threading building blocks: outfitting C++ for multi-core processor parallelism. \" O'Reilly Media, Inc.\"."},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/2892208.2892226"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/113413.113435"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.14778\/2556549.2556572"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-32925-8_17"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.14778\/2536274.2536290"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/2612669.2612687"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.14778\/3282495.3282500"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1007\/11575467_8"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/971701.50242"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00778-016-0448-z"}],"event":{"name":"PPoPP '19: 24th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming","location":"Washington DC USA","acronym":"PPoPP '19","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","SIGHPC ACM Special Interest Group on High Performance Computing, Special Interest Group on High Performance Computing"]},"container-title":["Proceedings of the 10th International Workshop on Programming Models and Applications for Multicores and Manycores"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3303084.3309490","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3303084.3309490","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T23:53:39Z","timestamp":1750204419000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3303084.3309490"}},"subtitle":["A Specialized Trie for Concurrent Datalog"],"short-title":[],"issued":{"date-parts":[[2019,2,17]]},"references-count":39,"alternative-id":["10.1145\/3303084.3309490","10.1145\/3303084"],"URL":"https:\/\/doi.org\/10.1145\/3303084.3309490","relation":{},"subject":[],"published":{"date-parts":[[2019,2,17]]},"assertion":[{"value":"2019-02-17","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}