{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,21]],"date-time":"2025-08-21T15:10:20Z","timestamp":1755789020287,"version":"3.44.0"},"publisher-location":"New York, NY, USA","reference-count":57,"publisher":"ACM","license":[{"start":{"date-parts":[[2025,3,30]],"date-time":"2025-03-30T00:00:00Z","timestamp":1743292800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"funder":[{"DOI":"10.13039\/501100006374","name":"Defense Advanced Research Projects Agency","doi-asserted-by":"publisher","award":["N66001-21-C-4023"],"award-info":[{"award-number":["N66001-21-C-4023"]}],"id":[{"id":"10.13039\/501100006374","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100006374","name":"National Science Foundation","doi-asserted-by":"publisher","award":["2316157"],"award-info":[{"award-number":["2316157"]}],"id":[{"id":"10.13039\/501100006374","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2025,3,30]]},"DOI":"10.1145\/3669940.3707274","type":"proceedings-article","created":{"date-parts":[[2025,2,6]],"date-time":"2025-02-06T12:28:01Z","timestamp":1738844881000},"page":"762-776","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Optimizing Datalog for the GPU"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-0946-2511","authenticated-orcid":false,"given":"Yihao","family":"Sun","sequence":"first","affiliation":[{"name":"Syracuse University, Syracuse, New York, USA"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5718-4977","authenticated-orcid":false,"given":"Ahmedur Rahman","family":"Shovon","sequence":"additional","affiliation":[{"name":"University of Illinois, Chicago, Chicago, Illinois, USA"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-0393-8542","authenticated-orcid":false,"given":"Thomas","family":"Gilray","sequence":"additional","affiliation":[{"name":"Washington State University, Pullman, Washington, USA"}]},{"ORCID":"https:\/\/orcid.org\/0009-0007-0418-9962","authenticated-orcid":false,"given":"Sidharth","family":"Kumar","sequence":"additional","affiliation":[{"name":"University of Illinois, Chicago, Chicago, Illinois, USA"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-8650-0991","authenticated-orcid":false,"given":"Kristopher","family":"Micinski","sequence":"additional","affiliation":[{"name":"Syracuse University, Syracuse, New York, USA"}]}],"member":"320","published-online":{"date-parts":[[2025,3,30]]},"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","unstructured":"AMD. Hip documentation 2024."},{"key":"e_1_3_2_1_3_1","volume-title":"Aurora supercomputer","author":"Computing Facility Argonne Leadership","year":"2024","unstructured":"Argonne Leadership Computing Facility. Aurora supercomputer, 2024."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/3293883.3295706"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-53413-7_5"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/1640089.1640108"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/1640089.1640108"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.14778\/3587136.3587137"},{"key":"e_1_3_2_1_9_1","volume-title":"Davis and Yifan Hu. The university of florida sparse matrix collection. ACM Trans. Math. Softw., 38(1), dec","author":"Timothy","year":"2011","unstructured":"Timothy A. Davis and Yifan Hu. The university of florida sparse matrix collection. ACM Trans. Math. Softw., 38(1), dec 2011."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/3502181.3531468"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.23919\/ISC.2024.10528936"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.14778\/3311880.3311886"},{"key":"e_1_3_2_1_13_1","first-page":"1075","volume-title":"29th USENIX Security Symposium (USENIX Security 20)","author":"Flores-Montoya Antonio","year":"2020","unstructured":"Antonio Flores-Montoya and Eric Schulte. Datalog disassembly. In 29th USENIX Security Symposium (USENIX Security 20), pages 1075--1092, 2020."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/3446804.3446855"},{"key":"e_1_3_2_1_15_1","volume-title":"Hashgraph-scalable hash tables using a sparse graph data structure. ACM Trans. Parallel Comput., 8(2), jul","author":"Green Oded","year":"2021","unstructured":"Oded Green. Hashgraph-scalable hash tables using a sparse graph data structure. ACM Trans. Parallel Comput., 8(2), jul 2021."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/2304576.2304621"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1561\/1900000017"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/3299869.3324959"},{"volume-title":"oneAPI Threading Building Blocks (oneTBB). https:\/\/github.com\/oneapi-src\/oneTBB","year":"2024","key":"e_1_3_2_1_19_1","unstructured":"Intel. oneAPI Threading Building Blocks (oneTBB). https:\/\/github.com\/oneapi-src\/oneTBB, 2024."},{"key":"e_1_3_2_1_20_1","volume-title":"High Bandwidth Memory (HBM) DRAM. https:\/\/www.jedec.org\/document_search?search_api_views_fulltext=jesd235","author":"JEDEC.","year":"2021","unstructured":"JEDEC. High Bandwidth Memory (HBM) DRAM. https:\/\/www.jedec.org\/document_search?search_api_views_fulltext=jesd235, 2021."},{"key":"e_1_3_2_1_21_1","first-page":"422","volume-title":"Computer Aided Verification: 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part II 28","author":"Jordan Herbert","year":"2016","unstructured":"Herbert Jordan, Bernhard Scholz, and Pavle Suboti\u0107. Souffl\u00e9: On synthesis of program analyzers. In Computer Aided Verification: 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part II 28, pages 422--430. Springer, 2016."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/3303084.3309490"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/3293883.3295719"},{"key":"e_1_3_2_1_24_1","volume-title":"International Conference on High Performance Computing, Data, and Analytics (HiPC). IEEE","volume":"1","author":"Kumar Sidharth","year":"2019","unstructured":"Sidharth Kumar and Thomas Gilray. Distributed relational algebra at scale. In International Conference on High Performance Computing, Data, and Analytics (HiPC). IEEE, volume 1, 2019."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-50743-5_15"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/1065167.1065169"},{"key":"e_1_3_2_1_27_1","unstructured":"Jure Leskovec and Andrej Krevl. SNAP Datasets: Stanford large network dataset collection. http:\/\/snap.stanford.edu\/data June 2014."},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1007\/11535331_16"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICDE51399.2021.00070"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/3191315.3191317"},{"key":"e_1_3_2_1_31_1","first-page":"152","volume-title":"International Conference on Applications of Declarative Programming and Knowledge Management","author":"Mart\u00ednez-Angeles Carlos Alberto","year":"2013","unstructured":"Carlos Alberto Mart\u00ednez-Angeles, In\u00eas Dutra, V\u00edtor Santos Costa, and Jorge Buenabad-Ch\u00e1vez. A datalog engine for gpus. In International Conference on Applications of Declarative Programming and Knowledge Management, pages 152--168. Springer, 2013."},{"key":"e_1_3_2_1_32_1","volume-title":"CIDR","author":"McSherry Frank","year":"2013","unstructured":"Frank McSherry, Derek Gordon Murray, Rebecca Isaacs, and Michael Isard. Differential dataflow. In CIDR, 2013."},{"key":"e_1_3_2_1_33_1","first-page":"1","volume-title":"International conference on inductive logic programming","author":"Mooney Raymond J","year":"1996","unstructured":"Raymond J Mooney. Inductive logic programming for natural language processing. In International conference on inductive logic programming, pages 1--22. Springer, 1996."},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/2517349.2522738"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1109\/HiPCW57629.2022.00008"},{"volume-title":"Thrust: The C++ Parallel Algorithms Library. https:\/\/nvidia.github.io\/cccl\/thrust\/","year":"2024","key":"e_1_3_2_1_36_1","unstructured":"Nvida. Thrust: The C++ Parallel Algorithms Library. https:\/\/nvidia.github.io\/cccl\/thrust\/, 2024."},{"key":"e_1_3_2_1_37_1","volume-title":"CUDA C Programming Guide: SIMT. https:\/\/docs.nvidia.com\/cuda\/cuda-c-programming-guide\/#simt-architecture","author":"NVIDIA.","year":"2024","unstructured":"NVIDIA. CUDA C Programming Guide: SIMT. https:\/\/docs.nvidia.com\/cuda\/cuda-c-programming-guide\/#simt-architecture, 2024."},{"key":"e_1_3_2_1_38_1","volume-title":"Aurora supercomputer","author":"Oak Ridge National Laboratory.","year":"2024","unstructured":"Oak Ridge National Laboratory. Aurora supercomputer, 2024."},{"key":"e_1_3_2_1_39_1","volume-title":"RMM: RAPIDS Memory Manager. https:\/\/github.com\/rapidsai\/rmm","author":"RAPIDS.","year":"2024","unstructured":"RAPIDS. RMM: RAPIDS Memory Manager. https:\/\/github.com\/rapidsai\/rmm, 2024."},{"key":"e_1_3_2_1_40_1","volume-title":"cuDF: Gpu dataframe library. https:\/\/github.com\/rapidsai\/cudf","author":"Development Team RAPIDS","year":"2021","unstructured":"RAPIDS Development Team. cuDF: Gpu dataframe library. https:\/\/github.com\/rapidsai\/cudf, 2021."},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-32925-8_15"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1145\/3622840"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1145\/2892208.2892226"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"crossref","first-page":"278","DOI":"10.1109\/ICDE.2013.6544832","volume-title":"2013 IEEE 29th International Conference on Data Engineering (ICDE)","author":"Seo Jiwon","year":"2013","unstructured":"Jiwon Seo, Stephen Guo, and Monica S Lam. Socialite: Datalog extensions for efficient social network analysis. In 2013 IEEE 29th International Conference on Data Engineering (ICDE), pages 278--289. IEEE, 2013."},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1145\/2882903.2915229"},{"key":"e_1_3_2_1_46_1","volume-title":"Public github repository of GPUJoin. https:\/\/github.com\/harp-lab\/usenixATC23","author":"Shovon Ahmedur Rahman","year":"2023","unstructured":"Ahmedur Rahman Shovon. Public github repository of GPUJoin. https:\/\/github.com\/harp-lab\/usenixATC23, 2023."},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1109\/IA356718.2022.00012"},{"key":"e_1_3_2_1_48_1","first-page":"1009","volume-title":"2023 USENIX Annual Technical Conference (USENIX ATC 23)","author":"Shovon Ahmedur Rahman","year":"2023","unstructured":"Ahmedur Rahman Shovon, Thomas Gilray, Kristopher Micinski, and Sidharth Kumar. Towards iterative relational algebra on the {GPU}. In 2023 USENIX Annual Technical Conference (USENIX ATC 23), pages 1009--1016, 2023."},{"key":"e_1_3_2_1_49_1","first-page":"842","volume-title":"EDBT","author":"Skvortsov Evgeny","year":"2024","unstructured":"Evgeny Skvortsov, Yilin Xia, and Bertram Lud\u00e4scher. Logica: Declarative data science for mere mortals. In EDBT, pages 842--845, 2024."},{"key":"e_1_3_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.14778\/3282495.3282500"},{"key":"e_1_3_2_1_51_1","doi-asserted-by":"publisher","DOI":"10.1109\/CLUSTER52292.2023.00024"},{"key":"e_1_3_2_1_52_1","volume-title":"Proc. International Conference on Database Theory","author":"Veldhuizen Todd L","year":"2014","unstructured":"Todd L Veldhuizen. Leapfrog triejoin: A simple, worst-case optimal join algorithm. In Proc. International Conference on Database Theory, 2014."},{"key":"e_1_3_2_1_53_1","doi-asserted-by":"publisher","DOI":"10.1145\/3037697.3037744"},{"key":"e_1_3_2_1_54_1","doi-asserted-by":"publisher","DOI":"10.1145\/3589295"},{"key":"e_1_3_2_1_55_1","doi-asserted-by":"publisher","DOI":"10.1145\/2581122.2544166"},{"key":"e_1_3_2_1_56_1","doi-asserted-by":"publisher","DOI":"10.1145\/3514221.3517853"},{"key":"e_1_3_2_1_57_1","doi-asserted-by":"publisher","DOI":"10.1145\/3651591"}],"event":{"name":"ASPLOS '25: 30th ACM International Conference on Architectural Support for Programming Languages and Operating Systems","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","SIGOPS ACM Special Interest Group on Operating Systems","SIGARCH ACM Special Interest Group on Computer Architecture"],"location":"Rotterdam Netherlands","acronym":"ASPLOS '25"},"container-title":["Proceedings of the 30th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 1"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3669940.3707274","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3669940.3707274","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,21]],"date-time":"2025-08-21T14:48:03Z","timestamp":1755787683000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3669940.3707274"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,3,30]]},"references-count":57,"alternative-id":["10.1145\/3669940.3707274","10.1145\/3669940"],"URL":"https:\/\/doi.org\/10.1145\/3669940.3707274","relation":{},"subject":[],"published":{"date-parts":[[2025,3,30]]},"assertion":[{"value":"2025-03-30","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}