{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,5]],"date-time":"2026-03-05T15:43:28Z","timestamp":1772725408828,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":54,"publisher":"ACM","funder":[{"name":"National Science Foundation","award":["2313010"],"award-info":[{"award-number":["2313010"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2026,3,22]]},"DOI":"10.1145\/3760250.3762232","type":"proceedings-article","created":{"date-parts":[[2025,12,11]],"date-time":"2025-12-11T15:06:36Z","timestamp":1765465596000},"page":"147-162","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Lobster: A GPU-Accelerated Framework for Neurosymbolic Programming"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0009-0001-5637-5878","authenticated-orcid":false,"given":"Paul","family":"Biberstein","sequence":"first","affiliation":[{"name":"University of Pennsylvania, Philadelphia, Pennsylvania, USA"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3925-9549","authenticated-orcid":false,"given":"Ziyang","family":"Li","sequence":"additional","affiliation":[{"name":"Johns Hopkins University, Baltimore, Maryland, USA"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9330-7233","authenticated-orcid":false,"given":"Joseph","family":"Devietti","sequence":"additional","affiliation":[{"name":"University of Pennsylvania, Philadelphia, Pennsylvania, USA"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-1348-8618","authenticated-orcid":false,"given":"Mayur","family":"Naik","sequence":"additional","affiliation":[{"name":"University of Pennsylvania, Philadelphia, Pennsylvania, USA"}]}],"member":"320","published-online":{"date-parts":[[2025,12,11]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"Mart\u00edn Abadi Ashish Agarwal Paul Barham Eugene Brevdo Zhifeng Chen Craig Citro Greg S. Corrado Andy Davis Jeffrey Dean Matthieu Devin et al. 2015. TensorFlow: Large-Scale Machine Learning on Heterogeneous Distributed Systems. arXiv:1603.04467"},{"key":"e_1_3_2_1_2_1","volume-title":"Foundations of Databases: The Logical Level","author":"Abiteboul Serge","unstructured":"Serge Abiteboul, Richard Hull, and Victor Vianu. 1995. Foundations of Databases: The Logical Level. Addison-Wesley Longman Publishing Co., Inc."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/2723372.2742796"},{"key":"e_1_3_2_1_4_1","unstructured":"Atilim Gunes Baydin Barak A. Pearlmutter and Alexey Andreyevich Radul. 2015. Automatic Differentiation in Machine Learning: a Survey. (2015). arXiv:1502.05767"},{"key":"e_1_3_2_1_5_1","volume-title":"Goodman","author":"Bingham Eli","year":"2018","unstructured":"Eli Bingham, Jonathan P. Chen, Martin Jankowiak, Fritz Obermeyer, Neeraj Pradhan, Theofanis Karaletsos, Rohit Singh, Paul Szerlip, Paul Horsfall, and Noah D. Goodman. 2018. Pyro: Deep Universal Probabilistic Programming. Journal of Machine Learning Research (2018)."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","unstructured":"Swarat Chaudhuri Kevin Ellis Oleksandr Polozov Rishabh Singh Armando Solar-Lezama Yisong Yue et al. 2021. Neurosymbolic Programming. Foundations and Trends in Programming Languages 7 3 (2021). doi:10.1561\/2500000049","DOI":"10.1561\/2500000049"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/3453483.3454047"},{"key":"e_1_3_2_1_8_1","volume-title":"Neural Symbolic Reader: Scalable Integration of Distributed and Symbolic Representations for Reading Comprehension. In International Conference on Learning Representations (ICLR).","author":"Chen Xinyun","unstructured":"Xinyun Chen, Chen Liang, Adams Wei Yu, Denny Zhou, Dawn Song, and Quoc V. Le. 2020. Neural Symbolic Reader: Scalable Integration of Distributed and Symbolic Representations for Reading Comprehension. In International Conference on Learning Representations (ICLR)."},{"key":"e_1_3_2_1_9_1","volume-title":"NeuralLog: Natural language inference with joint neural and logical reasoning. arXiv preprint arXiv:2105.14167","author":"Chen Zeming","year":"2021","unstructured":"Zeming Chen, Qiyue Gao, and Lawrence S Moss. 2021. NeuralLog: Natural language inference with joint neural and logical reasoning. arXiv preprint arXiv:2105.14167 (2021)."},{"key":"e_1_3_2_1_10_1","unstructured":"Zhoujun Cheng Tianbao Xie Peng Shi Chengzu Li Rahul Nadkarni Yushi Hu Caiming Xiong Dragomir Radev Mari Ostendorf Luke Zettlemoyer et al. 2022. Binding Language Models in Symbolic Languages. (2022). arXiv:2210.02875"},{"key":"e_1_3_2_1_11_1","unstructured":"William W. Cohen Fan Yang and Kathryn Rivard Mazaitis. 2017. TensorLog: Deep Learning Meets Probabilistic DBs. arXiv:1707.05390"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/115372.115320"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1007\/978--3--319--23461--8_37"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.14778\/3311880.3311886"},{"key":"e_1_3_2_1_15_1","unstructured":"Roy Frostig Matthew Johnson and Chris Leary. 2018. Compiling machine learning programs via high-level tracing. In SysML. https: \/\/mlsys.org\/Conferences\/doc\/2018\/146.pdf"},{"key":"e_1_3_2_1_16_1","volume-title":"International Conference on Artificial Intelligence and Statistics (AISTATS).","author":"Ge Hong","year":"2018","unstructured":"Hong Ge, Kai Xu, and Zoubin Ghahramani. 2018. Turing: a Language for Flexible Probabilistic Inference. In International Conference on Artificial Intelligence and Statistics (AISTATS)."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/1265530.1265535"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1002\/spe.4380200104"},{"key":"e_1_3_2_1_19_1","unstructured":"heavydb 2024. Heavy.AI. https:\/\/www.heavy.ai."},{"key":"e_1_3_2_1_20_1","volume-title":"Conference on Neural Information Processing Systems (NeurIPS).","author":"Huang Jiani","year":"2021","unstructured":"Jiani Huang, Ziyang Li, Binghong Chen, Karan Samel, Mayur Naik, Le Song, and Xujie Si. 2021. Scallop: From Probabilistic Deductive Databases to Scalable Differentiable Reasoning. In Conference on Neural Information Processing Systems (NeurIPS)."},{"key":"e_1_3_2_1_21_1","volume-title":"Souffl\u00e9: On Synthesis of Program Analyzers","author":"Jordan Herbert","year":"2016","unstructured":"Herbert Jordan, Bernhard Scholz, and Pavle Suboti?. 2016. Souffl\u00e9: On Synthesis of Program Analyzers. In Computer Aided Verification, Swarat Chaudhuri and Azadeh Farzan (Eds.). Springer International Publishing, Cham, 422--430."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1162\/neco.1989.1.4.541"},{"key":"e_1_3_2_1_23_1","unstructured":"Jure Leskovec and Andrej Krevl. 2014. SNAP Datasets: Stanford Large Network Dataset Collection. http:\/\/snap.stanford.edu\/data."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.48550\/arXiv.2006.06649"},{"key":"e_1_3_2_1_25_1","volume-title":"IRIS: LLMAssisted Static Analysis for Detecting Security Vulnerabilities. arXiv:2405.17238 [cs.CR] https:\/\/arxiv.org\/abs\/2405.17238","author":"Li Ziyang","year":"2025","unstructured":"Ziyang Li, Saikat Dutta, and Mayur Naik. 2025. IRIS: LLMAssisted Static Analysis for Detecting Security Vulnerabilities. arXiv:2405.17238 [cs.CR] https:\/\/arxiv.org\/abs\/2405.17238"},{"key":"e_1_3_2_1_26_1","volume-title":"Proceedings of the ACM on Programming Languages 7, PLDI","author":"Li Ziyang","year":"2023","unstructured":"Ziyang Li, Jiani Huang, and Mayur Naik. 2023. Scallop: A language for neurosymbolic programming. Proceedings of the ACM on Programming Languages 7, PLDI (2023), 1463--1487."},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/3591280"},{"key":"e_1_3_2_1_28_1","volume-title":"Deepproblog: Neural Probabilistic Logic Programming. In Conference on Neural Information Processing Systems (NeurIPS).","author":"Manhaeve Robin","year":"2018","unstructured":"Robin Manhaeve, Sebastijan Dumancic, Angelika Kimmig, Thomas Demeester, and Luc De Raedt. 2018. Deepproblog: Neural Probabilistic Logic Programming. In Conference on Neural Information Processing Systems (NeurIPS)."},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2021.103504"},{"key":"e_1_3_2_1_30_1","unstructured":"Jiayuan Mao Chuang Gan Pushmeet Kohli Joshua B Tenenbaum and Jiajun Wu. 2019. The Neuro-Symbolic Concept Learner: Interpreting Scenes Words and Sentences From Natural Supervision. (2019). arXiv:1904.12584"},{"key":"e_1_3_2_1_31_1","volume-title":"The neuro-symbolic concept learner: Interpreting scenes, words, and sentences from natural supervision. arXiv preprint arXiv:1904.12584","author":"Mao Jiayuan","year":"2019","unstructured":"Jiayuan Mao, Chuang Gan, Pushmeet Kohli, Joshua B Tenenbaum, and Jiajun Wu. 2019. The neuro-symbolic concept learner: Interpreting scenes, words, and sentences from natural supervision. arXiv preprint arXiv:1904.12584 (2019)."},{"key":"e_1_3_2_1_32_1","volume-title":"Learning Reasoning Strategies in End-to-End Differentiable Proving. In International Conference on Machine Learning (ICML). arXiv:2007","author":"Minervini Pasquale","year":"2020","unstructured":"Pasquale Minervini, Sebastian Riedel, Pontus Stenetorp, Edward Grefenstette, and Tim Rockt\u00e4schel. 2020. Learning Reasoning Strategies in End-to-End Differentiable Proving. In International Conference on Machine Learning (ICML). arXiv:2007.06477"},{"key":"e_1_3_2_1_33_1","volume-title":"High- Performance Deep Learning Library. In Conference on Neural Information Processing Systems (NeurIPS). arXiv:1912","author":"Paszke Adam","year":"2019","unstructured":"Adam Paszke, Sam Gross, Francisco Massa, Adam Lerer, James Bradbury, Gregory Chanan, Trevor Killeen, Zeming Lin, Natalia Gimelshein, Luca Antiga, et al. 2019. PyTorch: An Imperative Style, High- Performance Deep Learning Library. In Conference on Neural Information Processing Systems (NeurIPS). arXiv:1912.01703"},{"key":"e_1_3_2_1_34_1","unstructured":"pgstrom 2024. PG-Strom. https:\/\/github.com\/heterodb\/pg-strom."},{"key":"e_1_3_2_1_35_1","volume-title":"Guy Van den Broeck, and Siegfried Nijssen","author":"Renkens Joris","year":"2012","unstructured":"Joris Renkens, Guy Van den Broeck, and Siegfried Nijssen. 2012. k- Optimal: A Novel Approximate Inference Algorithm for ProbLog. In Inductive Logic Programming, Stephen H. Muggleton, Alireza Tamaddoni- Nezhad, and Francesca A. Lisi (Eds.). Springer Berlin Heidelberg, Berlin, Heidelberg, 33--38."},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/2892208"},{"key":"e_1_3_2_1_37_1","volume-title":"Learning Differentiable Programs with Admissible Neural Heuristics. In Conference on Neural Information Processing Systems (NeurIPS).","author":"Shah Ameesh","year":"2020","unstructured":"Ameesh Shah, Eric Zhan, Jennifer Sun, Abhinav Verma, Yisong Yue, and Swarat Chaudhuri. 2020. Learning Differentiable Programs with Admissible Neural Heuristics. In Conference on Neural Information Processing Systems (NeurIPS)."},{"key":"e_1_3_2_1_38_1","volume-title":"Towards Iterative Relational Algebra on the GPU. In 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. 2023. Towards Iterative Relational Algebra on the GPU. In 2023 USENIX Annual Technical Conference (USENIX ATC 23). USENIX Association, Boston, MA, 1009--1016. https:\/\/www.usenix.org\/conference\/atc23\/presentation\/shovon"},{"key":"e_1_3_2_1_39_1","volume-title":"Hamilton","author":"Sinha Koustuv","year":"2019","unstructured":"Koustuv Sinha, Shagun Sodhani, Jin Dong, Joelle Pineau, and William L. Hamilton. 2019. CLUTRR: A Diagnostic Benchmark for Inductive Reasoning from Text. (2019). arXiv:1908.06177"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"crossref","first-page":"1808","DOI":"10.1261\/rna.053694.115","article-title":"Exact calculation of loop formation probability identifies folding motifs in RNA secondary structures","volume":"22","author":"Sloma Michael F.","year":"2016","unstructured":"Michael F. Sloma and David H. Mathews. 2016. Exact calculation of loop formation probability identifies folding motifs in RNA secondary structures. RNA 22 (2016), 1808 -- 1818. https:\/\/api.semanticscholar.org\/CorpusID:365048","journal-title":"RNA"},{"key":"e_1_3_2_1_41_1","volume-title":"Data-Efficient Learning with Neural Programs. arXiv preprint arXiv:2406.06246","author":"Solko-Breslin Alaia","year":"2024","unstructured":"Alaia Solko-Breslin, Seewon Choi, Ziyang Li, Neelay Velingker, Rajeev Alur, Mayur Naik, and Eric Wong. 2024. Data-Efficient Learning with Neural Programs. arXiv preprint arXiv:2406.06246 (2024)."},{"key":"e_1_3_2_1_42_1","volume-title":"Proceedings of the 21st ACM SIGPLAN International Conference on Managed Programming Languages and Runtimes. 90--97","author":"St Leo","unstructured":"Leo St. Amour and Eli Tilevich. 2024. Toward Declarative Auditing of Java Software for Graceful Exception Handling. In Proceedings of the 21st ACM SIGPLAN International Conference on Managed Programming Languages and Runtimes. 90--97."},{"key":"e_1_3_2_1_43_1","unstructured":"Yihao Sun Sidharth Kumar Thomas Gilray and Kristopher Micinski. 2025. Column-Oriented Datalog on the GPU. arXiv:2501.13051 [cs.DB] https:\/\/arxiv.org\/abs\/2501.13051"},{"key":"e_1_3_2_1_44_1","volume-title":"Thomas Gilray, Kristopher Micinski, and Sidharth Kumar.","author":"Sun Yihao","year":"2024","unstructured":"Yihao Sun, Ahmedur Rahman Shovon, Thomas Gilray, Kristopher Micinski, and Sidharth Kumar. 2024. Modern Datalog on the GPU. arXiv:2311.02206 [cs.DB] https:\/\/arxiv.org\/abs\/2311.02206"},{"key":"e_1_3_2_1_45_1","unstructured":"Yi Tay Mostafa Dehghani Samira Abnar Yikang Shen Dara Bahri Philip Pham Jinfeng Rao Liu Yang Sebastian Ruder and Donald Metzler. 2020. Long Range Arena: A Benchmark for Efficient Transformers. (2020). arXiv:2011.04006"},{"key":"e_1_3_2_1_46_1","unstructured":"Jan-Willem van de Meent Brooks Paige Hongseok Yang and Frank Wood. 2018. An Introduction to Probabilistic Programming. arXiv:1809.10756"},{"key":"e_1_3_2_1_47_1","volume-title":"International Conference on Machine Learning (ICML). arXiv:1905","author":"Wang Po-Wei","year":"2019","unstructured":"Po-Wei Wang, Priya L. Donti, Bryan Wilder, and Zico Kolter. 2019. SATNet: Bridging Deep Learning and Logical Reasoning Using a Differentiable Satisfiability Solver. In International Conference on Machine Learning (ICML). arXiv:1905.12149"},{"key":"e_1_3_2_1_48_1","volume-title":"DISCRET: Synthesizing Faithful Explanations For Treatment Effect Estimation. In International Conference on Machine Learning (ICML).","author":"Wu Yinjun","year":"2024","unstructured":"Yinjun Wu, Mayank Keoliya, Kan Chen, Neelay Velingker, Ziyang Li, Emily J Getzen, Qi Long, Mayur Naik, Ravi B Parikh, and Eric Wong. 2024. DISCRET: Synthesizing Faithful Explanations For Treatment Effect Estimation. In International Conference on Machine Learning (ICML)."},{"key":"e_1_3_2_1_49_1","volume-title":"International Conference on Machine Learning (ICML). arXiv:1711","author":"Xu Jingyi","year":"2018","unstructured":"Jingyi Xu, Zilu Zhang, Tal Friedman, Yitao Liang, and Guy Van den Broeck. 2018. A Semantic Loss Function for Deep Learning with Symbolic Knowledge. In International Conference on Machine Learning (ICML). arXiv:1711.11157"},{"key":"e_1_3_2_1_50_1","volume-title":"Conference on Neural Information Processing Systems (NeurIPS).","author":"Xu Ziwei","year":"2022","unstructured":"Ziwei Xu, Yogesh S Rawat, Yongkang Wong, Mohan Kankanhalli, and Mubarak Shah. 2022. Don't Pour Cereal into Coffee: Differentiable Temporal Logic for Temporal Action Segmentation. In Conference on Neural Information Processing Systems (NeurIPS)."},{"key":"e_1_3_2_1_51_1","volume-title":"Neurasp: Embracing neural networks into answer set programming. arXiv preprint arXiv:2307.07700","author":"Yang Zhun","year":"2023","unstructured":"Zhun Yang, Adam Ishay, and Joohyung Lee. 2023. Neurasp: Embracing neural networks into answer set programming. arXiv preprint arXiv:2307.07700 (2023)."},{"key":"e_1_3_2_1_52_1","volume-title":"Conference on Neural Information Processing Systems (NeurIPS).","author":"Yi Kexin","year":"2018","unstructured":"Kexin Yi, Jiajun Wu, Chuang Gan, Antonio Torralba, Pushmeet Kohli, and Josh Tenenbaum. 2018. Neural-Symbolic VQA: Disentangling Reasoning from Vision and Language Understanding. In Conference on Neural Information Processing Systems (NeurIPS)."},{"key":"e_1_3_2_1_53_1","volume-title":"Parsel: A (De-)compositional Framework for Algorithmic Reasoning with Language Models. arXiv:2212.10561","author":"Zelikman Eric","year":"2023","unstructured":"Eric Zelikman, Qian Huang, Gabriel Poesia, Noah D. Goodman, and Nick Haber. 2023. Parsel: A (De-)compositional Framework for Algorithmic Reasoning with Language Models. arXiv:2212.10561"},{"key":"e_1_3_2_1_54_1","doi-asserted-by":"crossref","unstructured":"Xi Zheng Ziyang Li Ivan Ruchkin Ruzica Piskac and Miroslav Pajic. 2025. NeuroStrata: Harnessing Neurosymbolic Paradigms for Improved Design Testability and Verifiability of Autonomous CPS. arXiv:2502.12267 [cs.SE] https:\/\/arxiv.org\/abs\/2502.12267","DOI":"10.1145\/3696630.3728500"}],"event":{"name":"ASPLOS '26:31st ACM International Conference on Architectural Support for Programming Languages and Operating Systems","location":"Pittsburgh PA USA","sponsor":["SIGOPS ACM Special Interest Group on Operating Systems","SIGPLAN ACM Special Interest Group on Programming Languages","SIGARCH ACM Special Interest Group on Computer Architecture","SIGBED ACM Special Interest Group on Embedded Systems"]},"container-title":["Proceedings of the 31st ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 1"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3760250.3762232","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,12,11]],"date-time":"2025-12-11T15:08:14Z","timestamp":1765465694000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3760250.3762232"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,12,11]]},"references-count":54,"alternative-id":["10.1145\/3760250.3762232","10.1145\/3760250"],"URL":"https:\/\/doi.org\/10.1145\/3760250.3762232","relation":{},"subject":[],"published":{"date-parts":[[2025,12,11]]},"assertion":[{"value":"2025-12-11","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}