Lobster: A GPU-Accelerated Framework for Neurosymbolic Programming.

Mayur Naik University of Pennsylvania, Philadelphia, USA Georgia Institute of Technology, Atlanta GA, USA https://www.cis.upenn.edu/~mhnaik/ https://openreview.net/profile?id=~Mayur_Naik1 https://orcid.org/0000-0003-1348-8618 https://www.wikidata.org/entity/Q130819435 Paul Biberstein Ziyang Li 0002 Joseph Devietti Mayur Naik Lobster: A GPU-Accelerated Framework for Neurosymbolic Programming. 147-162 2026 ASPLOS (1) https://doi.org/10.1145/3760250.3762232 conf/asplos/2026-1 db/conf/asplos/asplos2026-1.html#Biberstein0DN26

Aaditya Naik Efthymia Tsamoura Shibo Jin Mayur Naik Dan Roth 0001 On Improving Neurosymbolic Learning by Exploiting the Representation Space. 2026 February abs/2602.07973 CoRR https://doi.org/10.48550/arXiv.2602.07973 db/journals/corr/corr2602.html#abs-2602-07973 streams/journals/corr

Neelay Velingker Alaia Solko-Breslin Mayank Keoliya Seewon Choi Jiayi Xin Anika Marathe Alireza Oraii Rajat Deo Sameed Ahmed M. Khatana Rajeev Alur Mayur Naik Eric Wong 0001 CAMEL: An ECG Language Model for Forecasting Cardiac Events. 2026 February abs/2602.15677 CoRR https://doi.org/10.48550/arXiv.2602.15677 db/journals/corr/corr2602.html#abs-2602-15677 streams/journals/corr

Aaditya Naik Guruprerana Shabadi Rajeev Alur Mayur Naik Do We Need Frontier Models to Verify Mathematical Proofs? 2026 April abs/2604.02450 CoRR https://doi.org/10.48550/arXiv.2604.02450 db/journals/corr/corr2604.html#abs-2604-02450 streams/journals/corr

Adam Stein Davis Brown Hamed Hassani Mayur Naik Eric Wong 0001 Detecting Safety Violations Across Many Agent Traces. 2026 April abs/2604.11806 CoRR https://doi.org/10.48550/arXiv.2604.11806 db/journals/corr/corr2604.html#abs-2604-11806 streams/journals/corr

Zhiqiu Xu Shibo Jin Shreya Arya Mayur Naik MathDuels: Evaluating LLMs as Problem Posers and Solvers. 2026 April abs/2604.21916 CoRR https://doi.org/10.48550/arXiv.2604.21916 db/journals/corr/corr2604.html#abs-2604-21916 streams/journals/corr

Jiani Huang Ziyang Li 0002 Mayur Naik Ser-Nam Lim LASER: A Neuro-Symbolic Framework for Learning Spatio-Temporal Scene Graphs with Weak Supervision. 2025 ICLR https://openreview.net/forum?id=HEXtydywnE conf/iclr/2025 db/conf/iclr/iclr2025.html#HuangLNL25 Ziyang Li 0002 Saikat Dutta 0001 Mayur Naik IRIS: LLM-Assisted Static Analysis for Detecting Security Vulnerabilities. 2025 ICLR https://openreview.net/forum?id=9LdJDU7E91 conf/iclr/2025 db/conf/iclr/iclr2025.html#Li0N25 Aaditya Naik Jason Liu Claire Wang Amish Sethi Saikat Dutta 0001 Mayur Naik Eric Wong 0001 DOLPHIN: A Programmable Framework for Scalable Neurosymbolic Learning. 2025 ICML https://proceedings.mlr.press/v267/naik25a.html https://openreview.net/forum?id=0VSDl40xMv conf/icml/2025 db/conf/icml/icml2025.html#NaikLWS0N025 Avishree Khare Saikat Dutta 0001 Ziyang Li 0002 Alaia Solko-Breslin Rajeev Alur Mayur Naik Understanding the Effectiveness of Large Language Models in Detecting Security Vulnerabilities. 103-114 2025 ICST https://doi.org/10.1109/ICST62969.2025.10988968 conf/icst/2025 db/conf/icst/icst2025.html#Khare0LSAN25 Adam Stein Neelay Velingker Mayur Naik Eric Wong 0001 Once Upon an Input: Reasoning via Per-Instance Program Synthesis. 2025 NeurIPS http://papers.nips.cc/paper_files/paper/2025/hash/c828f33af3c3f669690c2e28ae7af5e2-Abstract-Conference.html conf/nips/2025 db/conf/nips/neurips2025.html#SteinVNW25

Adam Stein Arthur Wayne Aaditya Naik Mayur Naik Eric Wong 0001 Where's the Bug? Attention Probing for Scalable Fault Localization. 2025 February abs/2502.13966 CoRR https://doi.org/10.48550/arXiv.2502.13966 db/journals/corr/corr2502.html#abs-2502-13966 streams/journals/corr

Paul Biberstein Ziyang Li 0002 Joseph Devietti Mayur Naik Lobster: A GPU-Accelerated Framework for Neurosymbolic Programming. 2025 March abs/2503.21937 CoRR https://doi.org/10.48550/arXiv.2503.21937 db/journals/corr/corr2503.html#abs-2503-21937 streams/journals/corr

Adam Stein Aaditya Naik Neelay Velingker Mayur Naik Eric Wong 0001 The Road to Generalizable Neuro-Symbolic Learning Should be Paved with Foundation Models. 2025 May abs/2505.24874 CoRR https://doi.org/10.48550/arXiv.2505.24874 db/journals/corr/corr2505.html#abs-2505-24874 streams/journals/corr

Zhiqiu Xu Amish Sethi Mayur Naik Ser-Nam Lim Delta Activations: A Representation for Finetuned Large Language Models. 2025 September abs/2509.04442 CoRR https://doi.org/10.48550/arXiv.2509.04442 db/journals/corr/corr2509.html#abs-2509-04442 streams/journals/corr

Mayank Keoliya Seewon Choi Rajeev Alur Mayur Naik Eric Wong 0001 Stable Prediction of Adverse Events in Medical Time-Series Data. 2025 October abs/2510.14286 CoRR https://doi.org/10.48550/arXiv.2510.14286 db/journals/corr/corr2510.html#abs-2510-14286 streams/journals/corr

Jiani Huang Amish Sethi Matthew Kuo Mayank Keoliya Neelay Velingker JungHo Jung Ser-Nam Lim Ziyang Li 0002 Mayur Naik ESCA: Contextualizing Embodied Agents via Scene-Graph Generation. 2025 October abs/2510.15963 CoRR https://doi.org/10.48550/arXiv.2510.15963 db/journals/corr/corr2510.html#abs-2510-15963 streams/journals/corr

Adam Stein Neelay Velingker Mayur Naik Eric Wong 0001 Once Upon an Input: Reasoning via Per-Instance Program Synthesis. 2025 October abs/2510.22849 CoRR https://doi.org/10.48550/arXiv.2510.22849 db/journals/corr/corr2510.html#abs-2510-22849 streams/journals/corr

Claire Wang Ziyang Li 0002 Saikat Dutta 0001 Mayur Naik QLCoder: A Query Synthesizer For Static Analysis of Security Vulnerabilities. 2025 November abs/2511.08462 CoRR https://doi.org/10.48550/arXiv.2511.08462 db/journals/corr/corr2511.html#abs-2511-08462 streams/journals/corr

Ziyang Li 0002 Jiani Huang Jason Liu Mayur Naik Neurosymbolic Programming in Scallop: Principles and Practice. 118-249 2024 8 Found. Trends Program. Lang. 2 https://doi.org/10.1561/2500000059 db/journals/ftpl/ftpl8.html#LiHLN24 streams/journals/ftpl

Aaditya Naik Adam Stein Yinjun Wu Mayur Naik Eric Wong 0001 TorchQL: A Programming Framework for Integrity Constraints in Machine Learning. 833-863 2024 8 Proc. ACM Program. Lang. OOPSLA1 https://doi.org/10.1145/3649841 https://www.wikidata.org/entity/Q130819437 db/journals/pacmpl/pacmpl8.html#NaikSWNW24 streams/journals/pacmpl

Ziyang Li 0002 Jiani Huang Jason Liu Felix Zhu Eric Zhao 0007 William Dodds Neelay Velingker Rajeev Alur Mayur Naik Relational Programming with Foundational Models. 10635-10644 2024 AAAI https://doi.org/10.1609/aaai.v38i9.28934 conf/aaai/2024 db/conf/aaai/aaai2024.html#LiHLZZDVAN24 Adam Stein Aaditya Naik Yinjun Wu Mayur Naik Eric Wong 0001 Towards Compositionality in Concept Learning. 2024 ICML https://proceedings.mlr.press/v235/stein24b.html https://openreview.net/forum?id=upO8FUwf92 conf/icml/2024 db/conf/icml/icml2024.html#SteinNWN024 46530-46555 Yinjun Wu Mayank Keoliya Kan Chen Neelay Velingker Ziyang Li 0002 Emily J. Getzen Qi Long Mayur Naik Ravi B. Parikh Eric Wong 0001 DISCRET: Synthesizing Faithful Explanations For Treatment Effect Estimation. 2024 ICML https://proceedings.mlr.press/v235/wu24n.html https://openreview.net/forum?id=B0xmynxt4f conf/icml/2024 db/conf/icml/icml2024.html#WuKCVLGLNP024 53597-53618 Alaia Solko-Breslin Seewon Choi Ziyang Li 0002 Neelay Velingker Rajeev Alur Mayur Naik Eric Wong 0001 Data-Efficient Learning with Neural Programs. 2024 NeurIPS http://papers.nips.cc/paper_files/paper/2024/hash/1a958c6e813989a0d4b677e6a6f3339a-Abstract-Conference.html conf/nips/2024 db/conf/nips/neurips2024.html#Solko-BreslinCL24 Elizabeth Dinella Shuvendu K. Lahiri Mayur Naik Inferring Natural Preconditions via Program Transformation. 2024 SIGSOFT FSE Companion https://doi.org/10.1145/3663529.3663865 conf/sigsoft/2024c db/conf/sigsoft/fse2024c.html#DinellaLN24 657-658 Chang Zhu Ziyang Li 0002 Anton Xue Ati Priya Bajaj Wil Gibbs Yibo Liu Rajeev Alur Tiffany Bao Hanjun Dai Adam Doupé Mayur Naik Yan Shoshitaishvili Ruoyu Wang 0001 Aravind Machiry TYGR: Type Inference on Stripped Binaries using Graph Neural Networks. 2024 USENIX Security Symposium https://www.usenix.org/conference/usenixsecurity24/presentation/zhu-chang conf/uss/2024 db/conf/uss/uss2024.html#ZhuLXBGLABDDNS024 Mayur Naik Fernando Magno Quintão Pereira Ben L. Titzer Proceedings of the Workshop Dedicated to Jens Palsberg on the Occasion of His 60th Birthday, JENSFEST 2024, Pasadena, CA, USA, 22 October 2024 JENSFEST ACM 2024 979-8-4007-1257-9 https://doi.org/10.1145/3694848 db/conf/birthday/palsberg2024.html

Ziyang Li 0002 Saikat Dutta 0001 Mayur Naik LLM-Assisted Static Analysis for Detecting Security Vulnerabilities. 2024 abs/2405.17238 CoRR https://doi.org/10.48550/arXiv.2405.17238 db/journals/corr/corr2405.html#abs-2405-17238

Yinjun Wu Mayank Keoliya Kan Chen Neelay Velingker Ziyang Li 0002 Emily J. Getzen Qi Long Mayur Naik Ravi B. Parikh Eric Wong 0001 DISCRET: Synthesizing Faithful Explanations For Treatment Effect Estimation. 2024 abs/2406.00611 CoRR https://doi.org/10.48550/arXiv.2406.00611 db/journals/corr/corr2406.html#abs-2406-00611

Alaia Solko-Breslin Seewon Choi Ziyang Li 0002 Neelay Velingker Rajeev Alur Mayur Naik Eric Wong 0001 Data-Efficient Learning with Neural Programs. 2024 abs/2406.06246 CoRR https://doi.org/10.48550/arXiv.2406.06246 db/journals/corr/corr2406.html#abs-2406-06246

Adam Stein Aaditya Naik Yinjun Wu Mayur Naik Eric Wong 0001 Towards Compositionality in Concept Learning. 2024 abs/2406.18534 CoRR https://doi.org/10.48550/arXiv.2406.18534 db/journals/corr/corr2406.html#abs-2406-18534 streams/journals/corr

Aaditya Naik Jason Liu Claire Wang Saikat Dutta 0001 Mayur Naik Eric Wong 0001 Dolphin: A Programmable Framework for Scalable Neurosymbolic Learning. 2024 abs/2410.03348 CoRR https://doi.org/10.48550/arXiv.2410.03348 db/journals/corr/corr2410.html#abs-2410-03348 streams/journals/corr

Ziyang Li 0002 Jiani Huang Jason Liu Felix Zhu Eric Zhao 0007 William Dodds Neelay Velingker Rajeev Alur Mayur Naik Relational Programming with Foundation Models. 2024 abs/2412.14515 CoRR https://doi.org/10.48550/arXiv.2412.14515 db/journals/corr/corr2412.html#abs-2412-14515 streams/journals/corr

Aalok Thakkar Nathaniel Sands George Petrou Rajeev Alur Mayur Naik Mukund Raghothaman Mobius: Synthesizing Relational Queries with Recursive and Invented Predicates. 1394-1417 2023 October 7 Proc. ACM Program. Lang. OOPSLA2 https://doi.org/10.1145/3622847 db/journals/pacmpl/pacmpl7.html#ThakkarSPANR23

Ziyang Li 0002 Jiani Huang Mayur Naik Scallop: A Language for Neurosymbolic Programming. 1463-1487 2023 7 Proc. ACM Program. Lang. PLDI https://doi.org/10.1145/3591280 https://www.wikidata.org/entity/Q130828135 db/journals/pacmpl/pacmpl7.html#LiHN23

Aaditya Naik Aalok Thakkar Adam Stein Rajeev Alur Mayur Naik Relational Query Synthesis ⋈ Decision Tree Learning. 250-263 2023 17 Proc. VLDB Endow. 2 https://www.vldb.org/pvldb/vol17/p250-naik.pdf https://doi.org/10.14778/3626292.3626306 https://www.wikidata.org/entity/Q130987781 db/journals/pvldb/pvldb17.html#NaikTSAN23

Haoxian Chen 0001 Chenyuan Wu Andrew Zhao Mukund Raghothaman Mayur Naik Boon Thau Loo Synthesizing Formal Network Specifications From Input-Output Examples. 994-1009 2023 June 31 IEEE/ACM Trans. Netw. 3 https://doi.org/10.1109/TNET.2022.3208551 db/journals/ton/ton31.html#ChenWZRNL23

Elizabeth Dinella Todd Mytkowicz Alexey Svyatkovskiy Christian Bird Mayur Naik Shuvendu K. Lahiri DeepMerge: Learning to Merge Programs. 1599-1614 2023 April 49 IEEE Trans. Software Eng. 4 https://doi.org/10.1109/TSE.2022.3183955 db/journals/tse/tse49.html#DinellaMSBNL23

Yinjun Wu Adam Stein Jacob R. Gardner Mayur Naik Learning to Select Pivotal Samples for Meta Re-weighting. 6128-6136 2023 AAAI https://doi.org/10.1609/aaai.v37i5.25756 conf/aaai/2023 db/conf/aaai/aaai2023.html#WuSGN23 Hanlin Zhang 0002 Jiani Huang Ziyang Li 0002 Mayur Naik Eric P. Xing Improved Logical Reasoning of Language Models via Differentiable Symbolic Programming. 3062-3077 2023 ACL (Findings) https://doi.org/10.18653/v1/2023.findings-acl.191 https://aclanthology.org/2023.findings-acl.191 conf/acl/2023f db/conf/acl/acl2023f.html#ZhangHLNX23 Aaditya Naik Yinjun Wu Mayur Naik Eric Wong 0001 Do Machine Learning Models Learn Statistical Rules Inferred from Data? 25677-25693 2023 ICML https://proceedings.mlr.press/v202/naik23a.html conf/icml/2023 db/conf/icml/icml2023.html#NaikWN023

Yinjun Wu Adam Stein Jacob R. Gardner Mayur Naik Learning to Select Pivotal Samples for Meta Re-weighting. 2023 abs/2302.04418 CoRR https://doi.org/10.48550/arXiv.2302.04418 db/journals/corr/corr2302.html#abs-2302-04418

Aaditya Naik Yinjun Wu Mayur Naik Eric Wong 0001 Do Machine Learning Models Learn Common Sense? 2023 abs/2303.01433 CoRR https://doi.org/10.48550/arXiv.2303.01433 db/journals/corr/corr2303.html#abs-2303-01433

Ziyang Li 0002 Jiani Huang Mayur Naik Scallop: A Language for Neurosymbolic Programming. 2023 abs/2304.04812 CoRR https://doi.org/10.48550/arXiv.2304.04812 db/journals/corr/corr2304.html#abs-2304-04812

Jiani Huang Ziyang Li 0002 David Jacobs Mayur Naik Ser-Nam Lim LASER: Neuro-Symbolic Learning of Semantic Video Representations. 2023 abs/2304.07647 CoRR https://doi.org/10.48550/arXiv.2304.07647 db/journals/corr/corr2304.html#abs-2304-07647

Hanlin Zhang 0002 Jiani Huang Ziyang Li 0002 Mayur Naik Eric P. Xing Improved Logical Reasoning of Language Models via Differentiable Symbolic Programming. 2023 abs/2305.03742 CoRR https://doi.org/10.48550/arXiv.2305.03742 db/journals/corr/corr2305.html#abs-2305-03742

Adam Stein Yinjun Wu Eric Wong 0001 Mayur Naik Rectifying Group Irregularities in Explanations for Distribution Shift. 2023 abs/2305.16308 CoRR https://doi.org/10.48550/arXiv.2305.16308 db/journals/corr/corr2305.html#abs-2305-16308

Aaditya Naik Adam Stein Yinjun Wu Eric Wong 0001 Mayur Naik MDB: Interactively Querying Datasets and Models. 2023 abs/2308.06686 CoRR https://doi.org/10.48550/arXiv.2308.06686 db/journals/corr/corr2308.html#abs-2308-06686

Elizabeth Dinella Shuvendu K. Lahiri Mayur Naik Program Structure Aware Precondition Generation. 2023 abs/2310.02154 CoRR https://doi.org/10.48550/arXiv.2310.02154 db/journals/corr/corr2310.html#abs-2310-02154

Avishree Khare Saikat Dutta 0001 Ziyang Li 0002 Alaia Solko-Breslin Rajeev Alur Mayur Naik Understanding the Effectiveness of Large Language Models in Detecting Security Vulnerabilities. 2023 abs/2311.16169 CoRR https://doi.org/10.48550/arXiv.2311.16169 db/journals/corr/corr2311.html#abs-2311-16169

Pardis Pashakhanloo Aravind Machiry Hyon-Young Choi Anthony Canino Kihong Heo Insup Lee 0001 Mayur Naik PacJam: Securing Dependencies Continuously via Package-Oriented Debloating. 903-916 2022 AsiaCCS https://doi.org/10.1145/3488932.3524054 https://www.wikidata.org/entity/Q130925692 conf/asiaccs/2022 db/conf/asiaccs/asiaccs2022.html#PashakhanlooMCC22 Pardis Pashakhanloo Aaditya Naik Yuepeng Wang 0001 Hanjun Dai Petros Maniatis Mayur Naik CodeTrek: Flexible Modeling of Code using an Extensible Relational Representation. 2022 ICLR https://openreview.net/forum?id=WQc075jmBmf conf/iclr/2022 db/conf/iclr/iclr2022.html#PashakhanlooN0D22 Jonathan Mendelson Aaditya Naik Mukund Raghothaman Mayur Naik GENSYNTH: Synthesizing Datalog Programs without Language Bias. 6444-6453 2021 AAAI https://doi.org/10.1609/aaai.v35i7.16799 conf/aaai/2021 db/conf/aaai/aaai2021.html#MendelsonNRN21 Jiani Huang Ziyang Li 0002 Binghong Chen Karan Samel Mayur Naik Le Song Xujie Si Scallop: From Probabilistic Deductive Databases to Scalable Differentiable Reasoning. 25134-25145 2021 NeurIPS https://proceedings.neurips.cc/paper/2021/hash/d367eef13f90793bd8121e2f675f0dc2-Abstract.html conf/nips/2021 db/conf/nips/neurips2021.html#HuangLCSNSS21 Aalok Thakkar Aaditya Naik Nathaniel Sands Rajeev Alur Mayur Naik Mukund Raghothaman Example-guided synthesis of relational queries. 1110-1125 2021 PLDI https://doi.org/10.1145/3453483.3454098 conf/pldi/2021 db/conf/pldi/pldi2021.html#ThakkarNSANR21 Ziyang Li 0002 Aravind Machiry Binghong Chen Mayur Naik Ke Wang 0022 Le Song ARBITRAR: User-Guided API Misuse Detection. 1400-1415 2021 SP https://doi.org/10.1109/SP40001.2021.00090 conf/sp/2021 db/conf/sp/sp2021.html#LiMCNWS21 Aaditya Naik Jonathan Mendelson Nathaniel Sands Yuepeng Wang 0001 Mayur Naik Mukund Raghothaman Sporq: An Interactive Environment for Exploring Code using Query-by-Example. 84-99 2021 UIST https://doi.org/10.1145/3472749.3474737 conf/uist/2021 db/conf/uist/uist2021.html#NaikMSWNR21

Elizabeth Dinella Todd Mytkowicz Alexey Svyatkovskiy Christian Bird Mayur Naik Shuvendu K. Lahiri DeepMerge: Learning to Merge Programs. 2021 abs/2105.07569 CoRR https://arxiv.org/abs/2105.07569 db/journals/corr/corr2105.html#abs-2105-07569

Mukund Raghothaman Jonathan Mendelson David Zhao 0001 Mayur Naik Bernhard Scholz Provenance-guided synthesis of Datalog programs. 62:1-62:27 2020 4 POPL Proc. ACM Program. Lang. https://doi.org/10.1145/3371130 db/journals/pacmpl/pacmpl4.html#RaghothamanMZNS20

Xujie Si Aaditya Naik Hanjun Dai Mayur Naik Le Song Code2Inv: A Deep Learning Framework for Program Verification. 151-164 2020 CAV (2) https://doi.org/10.1007/978-3-030-53291-8_9 conf/cav/2020-2 db/conf/cav/cav2020-2.html#SiNDNS20 Elizabeth Dinella Hanjun Dai Ziyang Li 0002 Mayur Naik Le Song Ke Wang 0022 Hoppity: Learning Graph Transformations to Detect and Fix Bugs in Programs. 2020 ICLR https://openreview.net/forum?id=SJeqs6EFvB conf/iclr/2020 db/conf/iclr/iclr2020.html#DinellaDLNSW20 Jiani Huang Calvin Smith Osbert Bastani Rishabh Singh Aws Albarghouthi Mayur Naik Generating Programmatic Referring Expressions via Program Synthesis. 4495-4506 2020 ICML http://proceedings.mlr.press/v119/huang20h.html conf/icml/2020 db/conf/icml/icml2020.html#HuangSBSAN20 Koushik Sen Mayur Naik Proceedings of the 4th ACM SIGPLAN International Workshop on Machine Learning and Programming Languages, MAPL@PLDI 2020, London, UK, June 15, 2020 ACM MAPL@PLDI 2020 978-1-4503-7996-0 https://doi.org/10.1145/3394450 db/conf/pldi/mapl2020.html Xujie Si Yuan Yang Hanjun Dai Mayur Naik Le Song Learning a Meta-Solver for Syntax-Guided Program Synthesis. 2019 ICLR (Poster) https://openreview.net/forum?id=Syl8Sn0cK7 conf/iclr/2019 db/conf/iclr/iclr2019.html#SiYDNS19 Halley Young Osbert Bastani Mayur Naik Learning Neurosymbolic Generative Models via Program synthesis. 2019 DeepRLStructPred@ICLR https://openreview.net/forum?id=S1gUCFx4dN conf/iclr/2019drlsp db/conf/iclr/drlsp2019.html#YoungBN19 Halley Young Osbert Bastani Mayur Naik Learning Neurosymbolic Generative Models via Program Synthesis. 7144-7153 2019 ICML http://proceedings.mlr.press/v97/young19a.html conf/icml/2019 db/conf/icml/icml2019.html#YoungBN19 Xujie Si Mukund Raghothaman Kihong Heo Mayur Naik Synthesizing Datalog Programs using Numerical Relaxation. 2019 IJCAI https://doi.org/10.24963/ijcai.2019/847 conf/ijcai/2019 db/conf/ijcai/ijcai2019.html#SiRHN19 6117-6124 Kihong Heo Mukund Raghothaman Xujie Si Mayur Naik Continuously reasoning about programs using differential Bayesian inference. 561-575 2019 PLDI https://doi.org/10.1145/3314221.3314616 https://www.wikidata.org/entity/Q131120397 conf/pldi/2019 db/conf/pldi/pldi2019.html#HeoRSN19 Mayur Naik Rethinking Static Analysis by Combining Discrete and Continuous Reasoning. 3-16 2019 SAS https://doi.org/10.1007/978-3-030-32304-2_1 conf/sas/2019 db/conf/sas/sas2019.html#Naik19 Jennifer B. Sartor Mayur Naik Christopher J. Rossbach Proceedings of the 15th ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments, VEE 2019, Providence, RI, USA, April 14, 2019. ACM VEE 2019 978-1-4503-6020-3 https://doi.org/10.1145/3313808 db/conf/vee/vee2019.html

Halley Young Osbert Bastani Mayur Naik Learning Neurosymbolic Generative Models via Program Synthesis. 2019 abs/1901.08565 CoRR http://arxiv.org/abs/1901.08565 db/journals/corr/corr1901.html#abs-1901-08565

Brian Heath Neelay Velingker Osbert Bastani Mayur Naik PolyDroid: Learning-Driven Specialization of Mobile Applications. 2019 abs/1902.09589 CoRR http://arxiv.org/abs/1902.09589 db/journals/corr/corr1902.html#abs-1902-09589

Xujie Si Mukund Raghothaman Kihong Heo Mayur Naik Synthesizing Datalog Programs Using Numerical Relaxation. 2019 abs/1906.00163 CoRR http://arxiv.org/abs/1906.00163 db/journals/corr/corr1906.html#abs-1906-00163

Kihong Heo Woosuk Lee Pardis Pashakhanloo Mayur Naik Effective Program Debloating via Reinforcement Learning. 380-394 2018 CCS https://doi.org/10.1145/3243734.3243838 conf/ccs/2018 db/conf/ccs/ccs2018.html#HeoLPN18 Yan Shoshitaishvili Mayur Naik FEAST'18 - 2018 Workshop on Forming an Ecosystem around Software Transformation. 2185-2186 2018 CCS https://doi.org/10.1145/3243734.3243875 conf/ccs/2018 db/conf/ccs/ccs2018.html#Shoshitaishvili18 Xujie Si Hanjun Dai Mukund Raghothaman Mayur Naik Le Song Learning Loop Invariants for Program Verification. 7762-7773 2018 NeurIPS https://proceedings.neurips.cc/paper/2018/hash/65b1e92c585fd4c2159d5f33b5030ff2-Abstract.html http://papers.nips.cc/paper/8001-learning-loop-invariants-for-program-verification conf/nips/2018 db/conf/nips/nips2018.html#SiDRNS18 Woosuk Lee Kihong Heo Rajeev Alur Mayur Naik Accelerating search-based program synthesis using learned probabilistic models. 436-449 2018 PLDI https://doi.org/10.1145/3192366.3192410 https://doi.org/10.1145/3296979.3192410 https://www.wikidata.org/entity/Q128824758 conf/pldi/2018 db/conf/pldi/pldi2018.html#LeeHAN18 Mukund Raghothaman Sulekha Kulkarni Kihong Heo Mayur Naik User-guided program reasoning using Bayesian inference. 722-735 2018 PLDI https://doi.org/10.1145/3192366.3192417 https://doi.org/10.1145/3296979.3192417 https://www.wikidata.org/entity/Q128825280 conf/pldi/2018 db/conf/pldi/pldi2018.html#RaghothamanKHN18 Xujie Si Woosuk Lee Richard Zhang 0004 Aws Albarghouthi Paraschos Koutris Mayur Naik Syntax-guided synthesis of Datalog programs. 515-527 2018 ESEC/SIGSOFT FSE https://doi.org/10.1145/3236024.3236034 conf/sigsoft/2018 db/conf/sigsoft/fse2018.html#SiLZAKN18 Yan Shoshitaishvili Mayur Naik Proceedings of the 2018 Workshop on Forming an Ecosystem Around Software Transformation, FEAST@CCS 2018, Toronto, ON, Canada, October 15-19, 2018 ACM FEAST@CCS 2018 978-1-4503-5997-9 http://dl.acm.org/citation.cfm?id=3273045 db/conf/feast/feast2018.html

Xin Zhang 0035 Radu Grigore Xujie Si Mayur Naik Effective interactive resolution of static analysis alarms. 57:1-57:30 2017 1 Proc. ACM Program. Lang. OOPSLA https://doi.org/10.1145/3133881 db/journals/pacmpl/pacmpl1.html#ZhangGSN17

Xujie Si Xin Zhang 0035 Radu Grigore Mayur Naik Maximum Satisfiability in Software Analysis: Applications and Techniques. 68-94 2017 CAV (1) https://doi.org/10.1007/978-3-319-63387-9_4 conf/cav/2017-1 db/conf/cav/cav2017-1.html#SiZGN17 Aws Albarghouthi Paraschos Koutris Mayur Naik Calvin Smith Constraint-Based Synthesis of Datalog Programs. 689-706 2017 CP https://doi.org/10.1007/978-3-319-66158-2_44 conf/cp/2017 db/conf/cp/cp2017.html#AlbarghouthiKNS17 Xin Zhang 0035 Xujie Si Mayur Naik Combining the logical and the probabilistic in program analysis. 27-34 2017 MAPL@PLDI https://doi.org/10.1145/3088525.3088563 conf/pldi/2017mapl db/conf/pldi/mapl2017.html#ZhangSN17 Ravi Mangal Xin Zhang 0035 Aditya Kamath Aditya V. Nori Mayur Naik Scaling Relational Inference Using Proofs and Refutations. 3278-3286 2016 AAAI https://doi.org/10.1609/aaai.v30i1.10426 https://www.wikidata.org/entity/Q113739714 conf/aaai/2016 db/conf/aaai/aaai2016.html#MangalZKNN16 Xujie Si Xin Zhang 0035 Vasco Manquinho Mikolás Janota Alexey Ignatiev Mayur Naik On Incremental Core-Guided MaxSAT Solving. 473-482 2016 CP https://doi.org/10.1007/978-3-319-44953-1_30 conf/cp/2016 db/conf/cp/cp2016.html#SiZMJIN16 Sulekha Kulkarni Ravi Mangal Xin Zhang 0035 Mayur Naik Accelerating program analyses by cross-program training. 359-377 2016 OOPSLA https://doi.org/10.1145/2983990.2984023 https://doi.org/10.1145/3022671.2984023 conf/oopsla/2016 db/conf/oopsla/oopsla2016.html#KulkarniMZN16 Xin Zhang 0035 Ravi Mangal Aditya V. Nori Mayur Naik Query-guided maximum satisfiability. 109-122 2016 POPL https://doi.org/10.1145/2837614.2837658 https://doi.org/10.1145/2914770.2837658 conf/popl/2016 db/conf/popl/popl2016.html#ZhangMNN16 Insu Yun Changwoo Min Xujie Si Yeongjin Jang Taesoo Kim Mayur Naik APISan: Sanitizing API Usages through Semantic Cross-Checking. 363-378 2016 USENIX Security Symposium https://www.usenix.org/conference/usenixsecurity16/technical-sessions/presentation/yun conf/uss/2016 db/conf/uss/uss2016.html#YunMSJKN16

Yongin Kwon Sangmin Lee Hayoon Yi Donghyun Kwon Seungjun Yang Byung-Gon Chun Ling Huang 0001 Petros Maniatis Mayur Naik Yunheung Paek Mantis: Efficient Predictions of Execution Time, Energy Usage, Memory Usage and Network Usage on Smart Mobile Devices. 2059-2072 2015 14 IEEE Trans. Mob. Comput. 10 https://doi.org/10.1109/TMC.2014.2374153 http://doi.ieeecomputersociety.org/10.1109/TMC.2014.2374153 https://www.wikidata.org/entity/Q114628499 db/journals/tmc/tmc14.html#KwonLYKYCHMNP15

Ghila Castelnuovo Mayur Naik Noam Rinetzky Mooly Sagiv Hongseok Yang Modularity in Lattices: A Case Study on the Correspondence Between Top-Down and Bottom-Up Analysis. 252-274 2015 SAS https://doi.org/10.1007/978-3-662-48288-9_15 conf/sas/2015 db/conf/sas/sas2015.html#CastelnuovoNRSY15 Ravi Mangal Xin Zhang 0035 Aditya V. Nori Mayur Naik Volt: A Lazy Grounding Framework for Solving Very Large MaxSAT Instances. 299-306 2015 SAT https://doi.org/10.1007/978-3-319-24318-4_22 conf/sat/2015 db/conf/sat/sat2015.html#MangalZNN15 Ravi Mangal Xin Zhang 0035 Aditya V. Nori Mayur Naik A user-guided approach to program analysis. 462-473 2015 ESEC/SIGSOFT FSE https://doi.org/10.1145/2786805.2786851 conf/sigsoft/2015 db/conf/sigsoft/fse2015.html#MangalZNN15 Jongse Park Hadi Esmaeilzadeh Xin Zhang 0035 Mayur Naik William Harris FlexJava: language support for safe and modular approximate programming. 745-757 2015 ESEC/SIGSOFT FSE https://doi.org/10.1145/2786805.2786807 conf/sigsoft/2015 db/conf/sigsoft/fse2015.html#ParkEZNH15 Anders Møller Mayur Naik Proceedings of the 4th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis, SOAP@PLDI 2015, Portland, OR, USA, June 15 - 17, 2015 ACM SOAP@PLDI 2015 978-1-4503-3585-0 https://doi.org/10.1145/2771284 db/conf/pldi/soap2015.html Ravi Mangal Mayur Naik Hongseok Yang A Correspondence between Two Approaches to Interprocedural Analysis in the Presence of Join. 513-533 2014 ESOP https://doi.org/10.1007/978-3-642-54833-8_27 conf/esop/2014 db/conf/esop/esop2014.html#MangalNY14 Cong Shi Karim Habak Pranesh Pandurangan Mostafa H. Ammar Mayur Naik Ellen W. Zegura COSMOS: computation offloading as a service for mobile devices. 287-296 2014 MobiHoc https://doi.org/10.1145/2632951.2632958 conf/mobihoc/2014 db/conf/mobihoc/mobihoc2014.html#ShiHPANZ14 Mayur Naik Large-scale configurable static analysis. 7:1 2014 SOAP@PLDI https://doi.org/10.1145/2614628.2614635 conf/pldi/2014soap db/conf/pldi/soap2014.html#Naik14 Xin Zhang 0035 Ravi Mangal Radu Grigore Mayur Naik Hongseok Yang On abstraction refinement for program analyses in Datalog. 239-248 2014 PLDI https://doi.org/10.1145/2594291.2594327 https://doi.org/10.1145/2666356.2594327 conf/pldi/2014 db/conf/pldi/pldi2014.html#ZhangMGNY14 Xin Zhang 0035 Ravi Mangal Mayur Naik Hongseok Yang Hybrid top-down and bottom-up interprocedural analysis. 249-258 2014 PLDI https://doi.org/10.1145/2594291.2594328 https://doi.org/10.1145/2666356.2594328 conf/pldi/2014 db/conf/pldi/pldi2014.html#ZhangMNY14 Xin Zhang 0035 Mayur Naik Hongseok Yang Finding optimum abstractions in parametric dataflow analysis. 365-376 2013 PLDI https://doi.org/10.1145/2491956.2462185 https://doi.org/10.1145/2499370.2462185 conf/pldi/2013 db/conf/pldi/pldi2013.html#ZhangNY13 Aravind Machiry Rohan Tahiliani Mayur Naik Dynodroid: an input generation system for Android apps. 224-234 2013 ESEC/SIGSOFT FSE https://doi.org/10.1145/2491411.2491450 conf/sigsoft/2013 db/conf/sigsoft/fse2013.html#MachiryTN13 Yongin Kwon Sangmin Lee Hayoon Yi Donghyun Kwon Seungjun Yang Byung-Gon Chun Ling Huang 0001 Petros Maniatis Mayur Naik Yunheung Paek Mantis: Automatic Performance Prediction for Smartphone Applications. 297-308 2013 USENIX ATC https://www.usenix.org/conference/atc13/technical-sessions/presentation/kwon conf/usenix/2013 db/conf/usenix/usenix2013.html#KwonLYKYCHMNP13 Mayur Naik Hongseok Yang Ghila Castelnuovo Mooly Sagiv Abstractions from tests. 373-386 2012 POPL https://doi.org/10.1145/2103656.2103701 https://doi.org/10.1145/2103621.2103701 conf/popl/2012 db/conf/popl/popl2012.html#NaikYCS12 Cong Shi Mostafa H. Ammar Ellen W. Zegura Mayur Naik Computing in cirrus clouds: the challenge of intermittent connectivity. 23-28 2012 MCC@SIGCOMM https://doi.org/10.1145/2342509.2342515 conf/sigcomm/2012mcc db/conf/sigcomm/mcc2012.html#ShiAZN12 Saswat Anand Mayur Naik Mary Jean Harrold Hongseok Yang Automated concolic testing of smartphone apps. 59 2012 SIGSOFT FSE https://doi.org/10.1145/2393596.2393666 conf/sigsoft/2012 db/conf/sigsoft/fse2012.html#AnandNHY12

David Gay Joel Galenson Mayur Naik Kathy Yelick Yada: Straightforward parallel programming. 592-609 2011 37 Parallel Comput. 9 https://doi.org/10.1016/j.parco.2011.02.005 db/journals/pc/pc37.html#GayGNY11

Byung-Gon Chun Sunghwan Ihm Petros Maniatis Mayur Naik Ashwin Patti CloneCloud: elastic execution between mobile device and cloud. 301-314 2011 EuroSys https://doi.org/10.1145/1966445.1966473 conf/eurosys/2011 db/conf/eurosys/eurosys2011.html#ChunIMNP11 Percy Liang Mayur Naik Scaling abstraction refinement via pruning. 590-601 2011 PLDI https://doi.org/10.1145/1993498.1993567 https://doi.org/10.1145/1993316.1993567 conf/pldi/2011 db/conf/pldi/pldi2011.html#LiangN11 Percy Liang Omer Tripp Mayur Naik Learning minimal abstractions. 31-42 2011 POPL https://doi.org/10.1145/1926385.1926391 https://doi.org/10.1145/1925844.1926391 conf/popl/2011 db/conf/popl/popl2011.html#LiangTN11 Ling Huang 0001 Jinzhu Jia Bin Yu 0001 Byung-Gon Chun Petros Maniatis Mayur Naik Predicting Execution Time of Computer Programs Using Sparse Polynomial Regression. 883-891 2010 NIPS https://proceedings.neurips.cc/paper/2010/hash/995665640dc319973d3173a74a03860c-Abstract.html http://papers.nips.cc/paper/4145-predicting-execution-time-of-computer-programs-using-sparse-polynomial-regression conf/nips/2010 db/conf/nips/nips2010.html#HuangJYCMN10 Percy Liang Omer Tripp Mayur Naik Mooly Sagiv A dynamic evaluation of the precision of static heap abstractions. 411-427 2010 OOPSLA https://doi.org/10.1145/1869459.1869494 https://doi.org/10.1145/1932682.1869494 conf/oopsla/2010 db/conf/oopsla/oopsla2010.html#LiangTNS10 Pallavi Joshi Mayur Naik Koushik Sen David Gay An effective dynamic analysis for detecting generalized deadlocks. 327-336 2010 SIGSOFT FSE https://doi.org/10.1145/1882291.1882339 conf/sigsoft/2010 db/conf/sigsoft/fse2010.html#JoshiNSG10

Byung-Gon Chun Sunghwan Ihm Petros Maniatis Mayur Naik CloneCloud: Boosting Mobile Device Applications Through Cloud Clone Execution http://arxiv.org/abs/1009.3088 2010 CoRR abs/1009.3088 db/journals/corr/corr1009.html#abs-1009-3088

Byung-Gon Chun Ling Huang 0001 Sangmin Lee Petros Maniatis Mayur Naik Mantis: Predicting System Performance through Program Analysis and Modeling http://arxiv.org/abs/1010.0019 2010 CoRR abs/1010.0019 db/journals/corr/corr1010.html#abs-1010-0019

Pallavi Joshi Mayur Naik Chang-Seo Park Koushik Sen CalFuzzer: An Extensible Active Testing Framework for Concurrent Programs. 675-681 2009 CAV https://doi.org/10.1007/978-3-642-02658-4_54 conf/cav/2009 db/conf/cav/cav2009.html#JoshiNPS09 Mayur Naik Chang-Seo Park Koushik Sen David Gay Effective static deadlock detection. 386-396 2009 ICSE https://doi.org/10.1109/ICSE.2009.5070538 https://doi.ieeecomputersociety.org/10.1109/ICSE.2009.5070538 http://dl.acm.org/citation.cfm?id=1555052 conf/icse/2009 db/conf/icse/icse2009.html#NaikPSG09 Zachary R. Anderson David Gay Mayur Naik Lightweight annotations for controlling sharing in concurrent data structures. 98-109 2009 PLDI https://doi.org/10.1145/1542476.1542488 https://doi.org/10.1145/1543135.1542488 conf/pldi/2009 db/conf/pldi/pldi2009.html#AndersonGN09 Pallavi Joshi Chang-Seo Park Koushik Sen Mayur Naik A randomized dynamic program analysis technique for detecting real deadlocks. 110-120 2009 PLDI https://doi.org/10.1145/1542476.1542489 https://doi.org/10.1145/1543135.1542489 conf/pldi/2009 db/conf/pldi/pldi2009.html#JoshiPSN09 Mayur Naik Effective static race detection for Java. Stanford University, USA 2008 https://searchworks.stanford.edu/view/7754008

Mayur Naik Jens Palsberg A type system equivalent to a model checker. 2008 30 ACM Trans. Program. Lang. Syst. 5 https://doi.org/10.1145/1387673.1387678 db/journals/toplas/toplas30.html#NaikP08 29:1-29:24

Mayur Naik Alex Aiken Conditional must not aliasing for static race detection. 327-338 2007 conf/popl/2007 POPL https://doi.org/10.1145/1190216.1190265 https://doi.org/10.1145/1190215.1190265 db/conf/popl/popl2007.html#NaikA07 Alice X. Zheng Michael I. Jordan Ben Liblit Mayur Naik Alex Aiken Statistical debugging: simultaneous identification of multiple bugs. 1105-1112 2006 conf/icml/2006 ICML https://doi.org/10.1145/1143844.1143983 db/conf/icml/icml2006.html#ZhengJLNA06 Mayur Naik Alex Aiken John Whaley Effective static race detection for Java. 308-319 2006 conf/pldi/2006 PLDI https://doi.org/10.1145/1133981.1134018 https://doi.org/10.1145/1133255.1134018 db/conf/pldi/pldi2006.html#NaikAW06 Mayur Naik Jens Palsberg A Type System Equivalent to a Model Checker. 374-388 https://doi.org/10.1007/978-3-540-31987-0_26 2005 conf/esop/2005 ESOP db/conf/esop/esop2005.html#NaikP05 Ben Liblit Mayur Naik Alice X. Zheng Alex Aiken Michael I. Jordan Scalable statistical bug isolation. 15-26 2005 conf/pldi/2005 PLDI https://doi.org/10.1145/1065010.1065014 https://doi.org/10.1145/1064978.1065014 db/conf/pldi/pldi2005.html#LiblitNZAJ05

Mayur Naik Jens Palsberg Compiling with code-size constraints. 163-181 2004 3 ACM Trans. Embed. Comput. Syst. 1 https://doi.org/10.1145/972627.972635 db/journals/tecs/tecs3.html#NaikP04

Thomas Ball 0001 Mayur Naik Sriram K. Rajamani From symptom to cause: localizing errors in counterexample traces. 97-105 2003 conf/popl/2003 POPL https://doi.org/10.1145/604131.604140 https://doi.org/10.1145/640128.604140 https://www.wikidata.org/entity/Q124879401 db/conf/popl/popl2003.html#BallNR03 Mayur Naik Jens Palsberg Compiling with code-size constraints. 120-129 2002 conf/lctrts/2002 LCTES-SCOPES https://doi.org/10.1145/513829.513851 https://doi.org/10.1145/566225.513851 db/conf/lctrts/lctes2002.html#NaikP02

Mayur Naik Rajeev Kumar Efficient Message Dispatch in Object-Oriented Systems. 49-58 2000 35 ACM SIGPLAN Notices 3 db/journals/sigplan/sigplan35.html#NaikK00 https://doi.org/10.1145/351159.351174 https://www.wikidata.org/entity/Q130965302

Mayur Naik Rajeev Kumar Object-Oriented Symbol Management in Syntax-Directed Compiler Systems. 58-67 1999 34 ACM SIGPLAN Notices 6 db/journals/sigplan/sigplan34.html#NaikK99 https://doi.org/10.1145/606666.606677 https://www.wikidata.org/entity/Q123195626

Alex Aiken Aws Albarghouthi Rajeev Alur Mostafa H. Ammar Saswat Anand Zachary R. Anderson Shreya Arya Ati Priya Bajaj Thomas Ball 0001 Tiffany Bao Osbert Bastani Paul Biberstein Christian Bird Davis Brown Anthony Canino Ghila Castelnuovo Binghong Chen Haoxian Chen 0001 Kan Chen Hyonyoung ChoiHyon-Young Choi Seewon Choi Byung-Gon Chun Hanjun Dai Rajat Deo Joseph Devietti Elizabeth Dinella William Dodds Adam Doupé Saikat Dutta 0001 Hadi Esmaeilzadeh Joel Galenson Jacob R. Gardner David Gay Emily J. Getzen Wil Gibbs Radu Grigore Karim Habak William Harris Mary Jean Harrold Seyed Hamed HassaniHamed Hassani Brian Heath Kihong Heo Jiani Huang Ling Huang 0001 Alexey Ignatiev Sunghwan Ihm David Jacobs Yeongjin Jang Mikolás Janota Jinzhu Jia Shibo Jin Michael I. Jordan Pallavi Joshi JungHo Jung Aditya Kamath Mayank Keoliya Avishree Khare Sameed Ahmed M. Khatana Taesoo Kim Paraschos Koutris Sulekha Kulkarni Rajeev Kumar Matthew Kuo Donghyun Kwon Yongin Kwon Shuvendu K. Lahiri Insup Lee 0001 Sangmin Lee Woosuk Lee Ziyang Li 0002 Percy Liang Ben Liblit Ser-Nam Lim Jason Liu Yibo Liu Qi Long Boon Thau Loo Aravind Machiry Ravi Mangal Petros Maniatis Vasco Manquinho Anika Marathe Jonathan Mendelson Changwoo Min Anders Møller Todd Mytkowicz Aaditya Naik Aditya V. Nori Alireza Oraii Yunheung Paek Jens Palsberg Pranesh Pandurangan Ravi B. Parikh Chang-Seo Park Jongse Park Pardis Pashakhanloo Ashwin Patti Fernando Magno Quintão Pereira George Petrou Mukund Raghothaman Sriram K. Rajamani Noam Rinetzky Christopher J. Rossbach Dan Roth 0001 Shmuel SagivMooly Sagiv Karan Samel Nathaniel Sands Jennifer B. Sartor Bernhard Scholz Koushik Sen Amish Sethi Guruprerana Shabadi Cong Shi Yan Shoshitaishvili Xujie Si Rishabh Singh Calvin Smith Alaia Solko-Breslin Le Song Adam Stein Alexey Svyatkovskiy Rohan Tahiliani Aalok Thakkar Ben L. Titzer Omer Tripp Efthymia Tsamoura Neelay Velingker Claire Wang Ke Wang 0022 Ruoyu Wang 0001 Yuepeng Wang 0001 Arthur Wayne John Whaley Eric Wong 0001 Chenyuan Wu Yinjun Wu Jiayi Xin Eric P. Xing Zhiqiu Xu Anton Xue Hongseok Yang Seungjun Yang Yuan Yang Katherine A. YelickKathy Yelick Hayoon Yi Halley Young Bin Yu 0001 Insu Yun Ellen ZeguraEllen W. Zegura Hanlin Zhang 0002 Richard Zhang 0004 Xin Zhang 0035 Andrew Zhao David Zhao 0001 Eric Zhao 0007 Alice X. Zheng Chang Zhu Felix Zhu