Mayur Naik

ORCID

Publication Activity (10 Years)

Years Active: 1999-2024
Publications (10 Years): 61

Top Venues

CoRR

PLDI

Proc. ACM Program. Lang.

AAAI

Publications

Elizabeth Dinella, Shuvendu K. Lahiri, Mayur Naik
Inferring Natural Preconditions via Program Transformation. SIGSOFT FSE Companion (2024)
Adam Stein, Aaditya Naik, Yinjun Wu, Mayur Naik, Eric Wong
Towards Compositionality in Concept Learning. CoRR (2024)
Ziyang Li, Saikat Dutta, Mayur Naik
LLM-Assisted Static Analysis for Detecting Security Vulnerabilities. CoRR (2024)
Yinjun Wu, Mayank Keoliya, Kan Chen, Neelay Velingker, Ziyang Li, Emily J. Getzen, Qi Long, Mayur Naik, Ravi B. Parikh, Eric Wong
DISCRET: Synthesizing Faithful Explanations For Treatment Effect Estimation. CoRR (2024)
Aaditya Naik, Adam Stein, Yinjun Wu, Mayur Naik, Eric Wong
TorchQL: A Programming Framework for Integrity Constraints in Machine Learning. Proc. ACM Program. Lang. 8 (OOPSLA1) (2024)
Chang Zhu, Ziyang Li, Anton Xue, Ati Priya Bajaj, Wil Gibbs, Yibo Liu, Rajeev Alur, Tiffany Bao, Hanjun Dai, Adam Doupé, Mayur Naik, Yan Shoshitaishvili, Ruoyu Wang, Aravind Machiry
TYGR: Type Inference on Stripped Binaries using Graph Neural Networks. USENIX Security Symposium (2024)
Alaia Solko-Breslin, Seewon Choi, Ziyang Li, Neelay Velingker, Rajeev Alur, Mayur Naik, Eric Wong
Data-Efficient Learning with Neural Programs. CoRR (2024)
Ziyang Li, Jiani Huang, Jason Liu, Felix Zhu, Eric Zhao, William Dodds, Neelay Velingker, Rajeev Alur, Mayur Naik
Relational Programming with Foundational Models. AAAI (2024)
Aaditya Naik, Aalok Thakkar, Adam Stein, Rajeev Alur, Mayur Naik
Relational Query Synthesis ⋈ Decision Tree Learning. Proc. VLDB Endow. 17 (2) (2023)
Jiani Huang, Ziyang Li, David Jacobs, Mayur Naik, Ser-Nam Lim
LASER: Neuro-Symbolic Learning of Semantic Video Representations. CoRR (2023)
Ziyang Li, Jiani Huang, Mayur Naik
Scallop: A Language for Neurosymbolic Programming. Proc. ACM Program. Lang. 7 (PLDI) (2023)
Adam Stein, Yinjun Wu, Eric Wong, Mayur Naik
Rectifying Group Irregularities in Explanations for Distribution Shift. CoRR (2023)
Ziyang Li, Jiani Huang, Mayur Naik
Scallop: A Language for Neurosymbolic Programming. CoRR (2023)
Aaditya Naik, Yinjun Wu, Mayur Naik, Eric Wong
Do Machine Learning Models Learn Statistical Rules Inferred from Data? ICML (2023)
Aaditya Naik, Adam Stein, Yinjun Wu, Eric Wong, Mayur Naik
MDB: Interactively Querying Datasets and Models. CoRR (2023)
Yinjun Wu, Adam Stein, Jacob Gardner, Mayur Naik
Learning to Select Pivotal Samples for Meta Re-weighting. AAAI (2023)
Elizabeth Dinella, Shuvendu K. Lahiri, Mayur Naik
Program Structure Aware Precondition Generation. CoRR (2023)
Aaditya Naik, Yinjun Wu, Mayur Naik, Eric Wong
Do Machine Learning Models Learn Common Sense? CoRR (2023)
Elizabeth Dinella, Todd Mytkowicz, Alexey Svyatkovskiy, Christian Bird, Mayur Naik, Shuvendu K. Lahiri
DeepMerge: Learning to Merge Programs. IEEE Trans. Software Eng. 49 (4) (2023)
Yinjun Wu, Adam Stein, Jacob Gardner, Mayur Naik
Learning to Select Pivotal Samples for Meta Re-weighting. CoRR (2023)
Haoxian Chen, Chenyuan Wu, Andrew Zhao, Mukund Raghothaman, Mayur Naik, Boon Thau Loo
Synthesizing Formal Network Specifications From Input-Output Examples. IEEE/ACM Trans. Netw. 31 (3) (2023)
Hanlin Zhang, Jiani Huang, Ziyang Li, Mayur Naik, Eric P. Xing
Improved Logical Reasoning of Language Models via Differentiable Symbolic Programming. CoRR (2023)
Hanlin Zhang, Jiani Huang, Ziyang Li, Mayur Naik, Eric P. Xing
Improved Logical Reasoning of Language Models via Differentiable Symbolic Programming. ACL (Findings) (2023)
Avishree Khare, Saikat Dutta, Ziyang Li, Alaia Solko-Breslin, Rajeev Alur, Mayur Naik
Understanding the Effectiveness of Large Language Models in Detecting Security Vulnerabilities. CoRR (2023)
Aalok Thakkar, Nathaniel Sands, George Petrou, Rajeev Alur, Mayur Naik, Mukund Raghothaman
Mobius: Synthesizing Relational Queries with Recursive and Invented Predicates. Proc. ACM Program. Lang. 7 (OOPSLA2) (2023)
Pardis Pashakhanloo, Aravind Machiry, Hyon-Young Choi, Anthony Canino, Kihong Heo, Insup Lee, Mayur Naik
PacJam: Securing Dependencies Continuously via Package-Oriented Debloating. AsiaCCS (2022)
Pardis Pashakhanloo, Aaditya Naik, Yuepeng Wang, Hanjun Dai, Petros Maniatis, Mayur Naik
CodeTrek: Flexible Modeling of Code using an Extensible Relational Representation. ICLR (2022)
Ziyang Li, Aravind Machiry, Binghong Chen, Mayur Naik, Ke Wang, Le Song
ARBITRAR: User-Guided API Misuse Detection. IEEE Symposium on Security and Privacy (2021)
Jiani Huang, Ziyang Li, Binghong Chen, Karan Samel, Mayur Naik, Le Song, Xujie Si
Scallop: From Probabilistic Deductive Databases to Scalable Differentiable Reasoning. NeurIPS (2021)
Aaditya Naik, Jonathan Mendelson, Nathaniel Sands, Yuepeng Wang, Mayur Naik, Mukund Raghothaman
Sporq: An Interactive Environment for Exploring Code using Query-by-Example. UIST (2021)
Jonathan Mendelson, Aaditya Naik, Mukund Raghothaman, Mayur Naik
GENSYNTH: Synthesizing Datalog Programs without Language Bias. AAAI (2021)
Elizabeth Dinella, Todd Mytkowicz, Alexey Svyatkovskiy, Christian Bird, Mayur Naik, Shuvendu K. Lahiri
DeepMerge: Learning to Merge Programs. CoRR (2021)
Aalok Thakkar, Aaditya Naik, Nathaniel Sands, Rajeev Alur, Mayur Naik, Mukund Raghothaman
Example-guided synthesis of relational queries. PLDI (2021)
Mukund Raghothaman, Jonathan Mendelson, David Zhao, Mayur Naik, Bernhard Scholz
Provenance-guided synthesis of Datalog programs. Proc. ACM Program. Lang. 4 (POPL) (2020)
Elizabeth Dinella, Hanjun Dai, Ziyang Li, Mayur Naik, Le Song, Ke Wang
Hoppity: Learning Graph Transformations to Detect and Fix Bugs in Programs. ICLR (2020)
Jiani Huang, Calvin Smith, Osbert Bastani, Rishabh Singh, Aws Albarghouthi, Mayur Naik
Generating Programmatic Referring Expressions via Program Synthesis. ICML (2020)
Xujie Si, Aaditya Naik, Hanjun Dai, Mayur Naik, Le Song
Code2Inv: A Deep Learning Framework for Program Verification. CAV (2) (2020)
Halley Young, Osbert Bastani, Mayur Naik
Learning Neurosymbolic Generative Models via Program synthesis. DeepRLStructPred@ICLR (2019)
Brian Heath, Neelay Velingker, Osbert Bastani, Mayur Naik
PolyDroid: Learning-Driven Specialization of Mobile Applications. CoRR (2019)
Halley Young, Osbert Bastani, Mayur Naik
Learning Neurosymbolic Generative Models via Program Synthesis. ICML (2019)
Xujie Si, Mukund Raghothaman, Kihong Heo, Mayur Naik
Synthesizing Datalog Programs using Numerical Relaxation. IJCAI (2019)
Xujie Si, Mukund Raghothaman, Kihong Heo, Mayur Naik
Synthesizing Datalog Programs Using Numerical Relaxation. CoRR (2019)
Mayur Naik
Rethinking Static Analysis by Combining Discrete and Continuous Reasoning. SAS (2019)
Kihong Heo, Mukund Raghothaman, Xujie Si, Mayur Naik
Continuously reasoning about programs using differential Bayesian inference. PLDI (2019)
Halley Young, Osbert Bastani, Mayur Naik
Learning Neurosymbolic Generative Models via Program Synthesis. CoRR (2019)
Xujie Si, Yuan Yang, Hanjun Dai, Mayur Naik, Le Song
Learning a Meta-Solver for Syntax-Guided Program Synthesis. ICLR (Poster) (2019)
Yan Shoshitaishvili, Mayur Naik
FEAST'18 - 2018 Workshop on Forming an Ecosystem around Software Transformation. CCS (2018)
Xujie Si, Hanjun Dai, Mukund Raghothaman, Mayur Naik, Le Song
Learning Loop Invariants for Program Verification. NeurIPS (2018)
Kihong Heo, Woosuk Lee, Pardis Pashakhanloo, Mayur Naik
Effective Program Debloating via Reinforcement Learning. CCS (2018)
Woosuk Lee, Kihong Heo, Rajeev Alur, Mayur Naik
Accelerating search-based program synthesis using learned probabilistic models. PLDI (2018)
Mukund Raghothaman, Sulekha Kulkarni, Kihong Heo, Mayur Naik
User-guided program reasoning using Bayesian inference. PLDI (2018)
Xujie Si, Woosuk Lee, Richard Zhang, Aws Albarghouthi, Paraschos Koutris, Mayur Naik
Syntax-guided synthesis of Datalog programs. ESEC/SIGSOFT FSE (2018)
Xin Zhang, Xujie Si, Mayur Naik
Combining the logical and the probabilistic in program analysis. MAPL@PLDI (2017)
Xujie Si, Xin Zhang, Radu Grigore, Mayur Naik
Maximum Satisfiability in Software Analysis: Applications and Techniques. CAV (1) (2017)
Xin Zhang, Radu Grigore, Xujie Si, Mayur Naik
Effective interactive resolution of static analysis alarms. Proc. ACM Program. Lang. 1 (OOPSLA) (2017)
Aws Albarghouthi, Paraschos Koutris, Mayur Naik, Calvin Smith
Constraint-Based Synthesis of Datalog Programs. CP (2017)
Insu Yun, Changwoo Min, Xujie Si, Yeongjin Jang, Taesoo Kim, Mayur Naik
APISan: Sanitizing API Usages through Semantic Cross-Checking. USENIX Security Symposium (2016)
Xin Zhang, Ravi Mangal, Aditya V. Nori, Mayur Naik
Query-guided maximum satisfiability. POPL (2016)
Xujie Si, Xin Zhang, Vasco M. Manquinho, Mikolás Janota, Alexey Ignatiev, Mayur Naik
On Incremental Core-Guided MaxSAT Solving. CP (2016)
Sulekha Kulkarni, Ravi Mangal, Xin Zhang, Mayur Naik
Accelerating program analyses by cross-program training. OOPSLA (2016)
Ravi Mangal, Xin Zhang, Aditya Kamath, Aditya V. Nori, Mayur Naik
Scaling Relational Inference Using Proofs and Refutations. AAAI (2016)
Jongse Park, Hadi Esmaeilzadeh, Xin Zhang, Mayur Naik, William Harris
FlexJava: language support for safe and modular approximate programming. ESEC/SIGSOFT FSE (2015)
Yongin Kwon, Sangmin Lee, Hayoon Yi, Donghyun Kwon, Seungjun Yang, Byung-Gon Chun, Ling Huang, Petros Maniatis, Mayur Naik, Yunheung Paek
Mantis: Efficient Predictions of Execution Time, Energy Usage, Memory Usage and Network Usage on Smart Mobile Devices. IEEE Trans. Mob. Comput. 14 (10) (2015)
Ravi Mangal, Xin Zhang, Aditya V. Nori, Mayur Naik
A user-guided approach to program analysis. ESEC/SIGSOFT FSE (2015)
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. SAS (2015)
Ravi Mangal, Xin Zhang, Aditya V. Nori, Mayur Naik
Volt: A Lazy Grounding Framework for Solving Very Large MaxSAT Instances. SAT (2015)
Cong Shi, Karim Habak, Pranesh Pandurangan, Mostafa H. Ammar, Mayur Naik, Ellen W. Zegura
COSMOS: computation offloading as a service for mobile devices. MobiHoc (2014)
Xin Zhang, Ravi Mangal, Mayur Naik, Hongseok Yang
Hybrid top-down and bottom-up interprocedural analysis. PLDI (2014)
Ravi Mangal, Mayur Naik, Hongseok Yang
A Correspondence between Two Approaches to Interprocedural Analysis in the Presence of Join. ESOP (2014)
Xin Zhang, Ravi Mangal, Radu Grigore, Mayur Naik, Hongseok Yang
On abstraction refinement for program analyses in Datalog. PLDI (2014)
Mayur Naik
Large-scale configurable static analysis. SOAP@PLDI (2014)
Xin Zhang, Mayur Naik, Hongseok Yang
Finding optimum abstractions in parametric dataflow analysis. PLDI (2013)
Aravind Machiry, Rohan Tahiliani, Mayur Naik
Dynodroid: an input generation system for Android apps. ESEC/SIGSOFT FSE (2013)
Yongin Kwon, Sangmin Lee, Hayoon Yi, Donghyun Kwon, Seungjun Yang, Byung-Gon Chun, Ling Huang, Petros Maniatis, Mayur Naik, Yunheung Paek
Mantis: Automatic Performance Prediction for Smartphone Applications. USENIX Annual Technical Conference (2013)
Mayur Naik, Hongseok Yang, Ghila Castelnuovo, Mooly Sagiv
Abstractions from tests. POPL (2012)
Saswat Anand, Mayur Naik, Mary Jean Harrold, Hongseok Yang
Automated concolic testing of smartphone apps. SIGSOFT FSE (2012)
Cong Shi, Mostafa H. Ammar, Ellen W. Zegura, Mayur Naik
Computing in cirrus clouds: the challenge of intermittent connectivity. MCC@SIGCOMM (2012)
Percy Liang, Mayur Naik
Scaling abstraction refinement via pruning. PLDI (2011)
Percy Liang, Omer Tripp, Mayur Naik
Learning minimal abstractions. POPL (2011)
Byung-Gon Chun, Sunghwan Ihm, Petros Maniatis, Mayur Naik, Ashwin Patti
CloneCloud: elastic execution between mobile device and cloud. EuroSys (2011)
David Gay, Joel Galenson, Mayur Naik, Kathy Yelick
Yada: Straightforward parallel programming. Parallel Comput. 37 (9) (2011)
Percy Liang, Omer Tripp, Mayur Naik, Mooly Sagiv
A dynamic evaluation of the precision of static heap abstractions. OOPSLA (2010)
Byung-Gon Chun, Sunghwan Ihm, Petros Maniatis, Mayur Naik
CloneCloud: Boosting Mobile Device Applications Through Cloud Clone Execution CoRR (2010)
Pallavi Joshi, Mayur Naik, Koushik Sen, David Gay
An effective dynamic analysis for detecting generalized deadlocks. SIGSOFT FSE (2010)
Ling Huang, Jinzhu Jia, Bin Yu, Byung-Gon Chun, Petros Maniatis, Mayur Naik
Predicting Execution Time of Computer Programs Using Sparse Polynomial Regression. NIPS (2010)
Byung-Gon Chun, Ling Huang, Sangmin Lee, Petros Maniatis, Mayur Naik
Mantis: Predicting System Performance through Program Analysis and Modeling CoRR (2010)
Mayur Naik, Chang-Seo Park, Koushik Sen, David Gay
Effective static deadlock detection. ICSE (2009)
Pallavi Joshi, Mayur Naik, Chang-Seo Park, Koushik Sen
CalFuzzer: An Extensible Active Testing Framework for Concurrent Programs. CAV (2009)
Pallavi Joshi, Chang-Seo Park, Koushik Sen, Mayur Naik
A randomized dynamic program analysis technique for detecting real deadlocks. PLDI (2009)
Zachary R. Anderson, David Gay, Mayur Naik
Lightweight annotations for controlling sharing in concurrent data structures. PLDI (2009)
Mayur Naik, Jens Palsberg
A type system equivalent to a model checker. ACM Trans. Program. Lang. Syst. 30 (5) (2008)
Mayur Naik, Alex Aiken
Conditional must not aliasing for static race detection. POPL (2007)
Mayur Naik, Alex Aiken, John Whaley
Effective static race detection for Java. PLDI (2006)
Alice X. Zheng, Michael I. Jordan, Ben Liblit, Mayur Naik, Alex Aiken
Statistical debugging: simultaneous identification of multiple bugs. ICML (2006)
Mayur Naik, Jens Palsberg
A Type System Equivalent to a Model Checker. ESOP (2005)
Ben Liblit, Mayur Naik, Alice X. Zheng, Alexander Aiken, Michael I. Jordan
Scalable statistical bug isolation. PLDI (2005)
Mayur Naik, Jens Palsberg
Compiling with code-size constraints. ACM Trans. Embed. Comput. Syst. 3 (1) (2004)
Thomas Ball, Mayur Naik, Sriram K. Rajamani
From symptom to cause: localizing errors in counterexample traces. POPL (2003)
Mayur Naik, Jens Palsberg
Compiling with code-size constraints. LCTES-SCOPES (2002)
Mayur Naik, Rajeev Kumar
Efficient Message Dispatch in Object-Oriented Systems. ACM SIGPLAN Notices 35 (3) (2000)

Mayur Naik.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Mayur Naik