Mayur Naik

According to our database, Mayur Naik authored at least 94 papers between 1999 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

TorchQL: A Programming Framework for Integrity Constraints in Machine Learning.

Aaditya Naik, Adam Stein, Yinjun Wu, Mayur Naik, Eric Wong

Proc. ACM Program. Lang., 2024

Dolphin: A Programmable Framework for Scalable Neurosymbolic Learning.

Aaditya Naik, Jason Liu, Claire Wang, Saikat Dutta, Mayur Naik, Eric Wong

CoRR, 2024

Data-Efficient Learning with Neural Programs.

Alaia Solko-Breslin, Seewon Choi, Ziyang Li, Neelay Velingker, Rajeev Alur, Mayur Naik, Eric Wong

CoRR, 2024

LLM-Assisted Static Analysis for Detecting Security Vulnerabilities.

Ziyang Li, Saikat Dutta, Mayur Naik

CoRR, 2024

TYGR: Type Inference on Stripped Binaries using Graph Neural Networks.

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

Proceedings of the 33rd USENIX Security Symposium, 2024

Inferring Natural Preconditions via Program Transformation.

Elizabeth Dinella, Shuvendu K. Lahiri, Mayur Naik

Proceedings of the Companion Proceedings of the 32nd ACM International Conference on the Foundations of Software Engineering, 2024

DISCRET: Synthesizing Faithful Explanations For Treatment Effect Estimation.

Yinjun Wu, Mayank Keoliya, Kan Chen, Neelay Velingker, Ziyang Li, Emily J. Getzen, Qi Long, Mayur Naik, Ravi B. Parikh, Eric Wong

Proceedings of the Forty-first International Conference on Machine Learning, 2024

Towards Compositionality in Concept Learning.

Adam Stein, Aaditya Naik, Yinjun Wu, Mayur Naik, Eric Wong

Proceedings of the Forty-first International Conference on Machine Learning, 2024

Relational Programming with Foundational Models.

Ziyang Li, Jiani Huang, Jason Liu, Felix Zhu, Eric Zhao, William Dodds, Neelay Velingker, Rajeev Alur, Mayur Naik

Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024

2023

Mobius: Synthesizing Relational Queries with Recursive and Invented Predicates.

Aalok Thakkar, Nathaniel Sands, George Petrou, Rajeev Alur, Mayur Naik, Mukund Raghothaman

Proc. ACM Program. Lang., October, 2023

Synthesizing Formal Network Specifications From Input-Output Examples.

Haoxian Chen, Chenyuan Wu, Andrew Zhao, Mukund Raghothaman, Mayur Naik, Boon Thau Loo

IEEE/ACM Trans. Netw., June, 2023

DeepMerge: Learning to Merge Programs.

Elizabeth Dinella, Todd Mytkowicz, Alexey Svyatkovskiy, Christian Bird, Mayur Naik, Shuvendu K. Lahiri

IEEE Trans. Software Eng., April, 2023

Relational Query Synthesis ⋈ Decision Tree Learning.

Aaditya Naik, Aalok Thakkar, Adam Stein, Rajeev Alur, Mayur Naik

Proc. VLDB Endow., 2023

Scallop: A Language for Neurosymbolic Programming.

Ziyang Li, Jiani Huang, Mayur Naik

Proc. ACM Program. Lang., 2023

Understanding the Effectiveness of Large Language Models in Detecting Security Vulnerabilities.

Avishree Khare, Saikat Dutta, Ziyang Li, Alaia Solko-Breslin, Rajeev Alur, Mayur Naik

CoRR, 2023

Program Structure Aware Precondition Generation.

Elizabeth Dinella, Shuvendu K. Lahiri, Mayur Naik

CoRR, 2023

MDB: Interactively Querying Datasets and Models.

Aaditya Naik, Adam Stein, Yinjun Wu, Eric Wong, Mayur Naik

CoRR, 2023

Rectifying Group Irregularities in Explanations for Distribution Shift.

Adam Stein, Yinjun Wu, Eric Wong, Mayur Naik

CoRR, 2023

LASER: Neuro-Symbolic Learning of Semantic Video Representations.

Jiani Huang, Ziyang Li, David Jacobs, Mayur Naik, Ser-Nam Lim

CoRR, 2023

Do Machine Learning Models Learn Common Sense?

Aaditya Naik, Yinjun Wu, Mayur Naik, Eric Wong

CoRR, 2023

Do Machine Learning Models Learn Statistical Rules Inferred from Data?

Aaditya Naik, Yinjun Wu, Mayur Naik, Eric Wong

Proceedings of the International Conference on Machine Learning, 2023

Improved Logical Reasoning of Language Models via Differentiable Symbolic Programming.

Hanlin Zhang, Jiani Huang, Ziyang Li, Mayur Naik, Eric P. Xing

Proceedings of the Findings of the Association for Computational Linguistics: ACL 2023, 2023

Learning to Select Pivotal Samples for Meta Re-weighting.

Yinjun Wu, Adam Stein, Jacob Gardner, Mayur Naik

Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence, 2023

2022

CodeTrek: Flexible Modeling of Code using an Extensible Relational Representation.

Pardis Pashakhanloo, Aaditya Naik, Yuepeng Wang, Hanjun Dai, Petros Maniatis, Mayur Naik

Proceedings of the Tenth International Conference on Learning Representations, 2022

PacJam: Securing Dependencies Continuously via Package-Oriented Debloating.

Pardis Pashakhanloo, Aravind Machiry, Hyon-Young Choi, Anthony Canino, Kihong Heo, Insup Lee, Mayur Naik

Proceedings of the ASIA CCS '22: ACM Asia Conference on Computer and Communications Security, Nagasaki, Japan, 30 May 2022, 2022

2021

Sporq: An Interactive Environment for Exploring Code using Query-by-Example.

Aaditya Naik, Jonathan Mendelson, Nathaniel Sands, Yuepeng Wang, Mayur Naik, Mukund Raghothaman

Proceedings of the UIST '21: The 34th Annual ACM Symposium on User Interface Software and Technology, 2021

ARBITRAR: User-Guided API Misuse Detection.

Ziyang Li, Aravind Machiry, Binghong Chen, Mayur Naik, Ke Wang, Le Song

Proceedings of the 42nd IEEE Symposium on Security and Privacy, 2021

Example-guided synthesis of relational queries.

Aalok Thakkar, Aaditya Naik, Nathaniel Sands, Rajeev Alur, Mayur Naik, Mukund Raghothaman

Proceedings of the PLDI '21: 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2021

Scallop: From Probabilistic Deductive Databases to Scalable Differentiable Reasoning.

Jiani Huang, Ziyang Li, Binghong Chen, Karan Samel, Mayur Naik, Le Song, Xujie Si

Proceedings of the Advances in Neural Information Processing Systems 34: Annual Conference on Neural Information Processing Systems 2021, 2021

GENSYNTH: Synthesizing Datalog Programs without Language Bias.

Jonathan Mendelson, Aaditya Naik, Mukund Raghothaman, Mayur Naik

Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021

2020

Provenance-guided synthesis of Datalog programs.

Mukund Raghothaman, Jonathan Mendelson, David Zhao, Mayur Naik, Bernhard Scholz

Proc. ACM Program. Lang., 2020

Generating Programmatic Referring Expressions via Program Synthesis.

Jiani Huang, Calvin Smith, Osbert Bastani, Rishabh Singh, Aws Albarghouthi, Mayur Naik

Proceedings of the 37th International Conference on Machine Learning, 2020

Hoppity: Learning Graph Transformations to Detect and Fix Bugs in Programs.

Elizabeth Dinella, Hanjun Dai, Ziyang Li, Mayur Naik, Le Song, Ke Wang

Proceedings of the 8th International Conference on Learning Representations, 2020

Code2Inv: A Deep Learning Framework for Program Verification.

Xujie Si, Aaditya Naik, Hanjun Dai, Mayur Naik, Le Song

Proceedings of the Computer Aided Verification - 32nd International Conference, 2020

2019

PolyDroid: Learning-Driven Specialization of Mobile Applications.

Brian Heath, Neelay Velingker, Osbert Bastani, Mayur Naik

CoRR, 2019

Rethinking Static Analysis by Combining Discrete and Continuous Reasoning.

Mayur Naik

Proceedings of the Static Analysis - 26th International Symposium, 2019

Continuously reasoning about programs using differential Bayesian inference.

Kihong Heo, Mukund Raghothaman, Xujie Si, Mayur Naik

Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2019

Synthesizing Datalog Programs using Numerical Relaxation.

Xujie Si, Mukund Raghothaman, Kihong Heo, Mayur Naik

Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019

Learning Neurosymbolic Generative Models via Program Synthesis.

Halley Young, Osbert Bastani, Mayur Naik

Proceedings of the 36th International Conference on Machine Learning, 2019

Learning a Meta-Solver for Syntax-Guided Program Synthesis.

Xujie Si, Yuan Yang, Hanjun Dai, Mayur Naik, Le Song

Proceedings of the 7th International Conference on Learning Representations, 2019

2018

Syntax-guided synthesis of Datalog programs.

Xujie Si, Woosuk Lee, Richard Zhang, Aws Albarghouthi, Paraschos Koutris, Mayur Naik

Proceedings of the 2018 ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2018

User-guided program reasoning using Bayesian inference.

Mukund Raghothaman, Sulekha Kulkarni, Kihong Heo, Mayur Naik

Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2018

Accelerating search-based program synthesis using learned probabilistic models.

Woosuk Lee, Kihong Heo, Rajeev Alur, Mayur Naik

Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2018

Learning Loop Invariants for Program Verification.

Xujie Si, Hanjun Dai, Mukund Raghothaman, Mayur Naik, Le Song

Proceedings of the Advances in Neural Information Processing Systems 31: Annual Conference on Neural Information Processing Systems 2018, 2018

FEAST'18 - 2018 Workshop on Forming an Ecosystem around Software Transformation.

Yan Shoshitaishvili, Mayur Naik

Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications Security, 2018

Effective Program Debloating via Reinforcement Learning.

Kihong Heo, Woosuk Lee, Pardis Pashakhanloo, Mayur Naik

Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications Security, 2018

2017

Effective interactive resolution of static analysis alarms.

Xin Zhang, Radu Grigore, Xujie Si, Mayur Naik

Proc. ACM Program. Lang., 2017

Combining the logical and the probabilistic in program analysis.

Xin Zhang, Xujie Si, Mayur Naik

Proceedings of the 1st ACM SIGPLAN International Workshop on Machine Learning and Programming Languages, 2017

Constraint-Based Synthesis of Datalog Programs.

Aws Albarghouthi, Paraschos Koutris, Mayur Naik, Calvin Smith

Proceedings of the Principles and Practice of Constraint Programming, 2017

Maximum Satisfiability in Software Analysis: Applications and Techniques.

Xujie Si, Xin Zhang, Radu Grigore, Mayur Naik

Proceedings of the Computer Aided Verification - 29th International Conference, 2017

2016

APISan: Sanitizing API Usages through Semantic Cross-Checking.

Insu Yun, Changwoo Min, Xujie Si, Yeongjin Jang, Taesoo Kim, Mayur Naik

Proceedings of the 25th USENIX Security Symposium, 2016

Query-guided maximum satisfiability.

Xin Zhang, Ravi Mangal, Aditya V. Nori, Mayur Naik

Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2016

Accelerating program analyses by cross-program training.

Sulekha Kulkarni, Ravi Mangal, Xin Zhang, Mayur Naik

Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, 2016

On Incremental Core-Guided MaxSAT Solving.

Xujie Si, Xin Zhang, Vasco Manquinho, Mikolás Janota, Alexey Ignatiev, Mayur Naik

Proceedings of the Principles and Practice of Constraint Programming, 2016

Scaling Relational Inference Using Proofs and Refutations.

Ravi Mangal, Xin Zhang, Aditya Kamath, Aditya V. Nori, Mayur Naik

Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, 2016

2015

Mantis: Efficient Predictions of Execution Time, Energy Usage, Memory Usage and Network Usage on Smart Mobile Devices.

Yongin Kwon, Sangmin Lee, Hayoon Yi, Donghyun Kwon, Seungjun Yang, Byung-Gon Chun, Ling Huang, Petros Maniatis, Mayur Naik, Yunheung Paek

IEEE Trans. Mob. Comput., 2015

FlexJava: language support for safe and modular approximate programming.

Jongse Park, Hadi Esmaeilzadeh, Xin Zhang, Mayur Naik, William Harris

Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering, 2015

A user-guided approach to program analysis.

Ravi Mangal, Xin Zhang, Aditya V. Nori, Mayur Naik

Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering, 2015

Volt: A Lazy Grounding Framework for Solving Very Large MaxSAT Instances.

Ravi Mangal, Xin Zhang, Aditya V. Nori, Mayur Naik

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2015, 2015

Modularity in Lattices: A Case Study on the Correspondence Between Top-Down and Bottom-Up Analysis.

Ghila Castelnuovo, Mayur Naik, Noam Rinetzky, Mooly Sagiv, Hongseok Yang

Proceedings of the Static Analysis - 22nd International Symposium, 2015

2014

Hybrid top-down and bottom-up interprocedural analysis.

Xin Zhang, Ravi Mangal, Mayur Naik, Hongseok Yang

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2014

On abstraction refinement for program analyses in Datalog.

Xin Zhang, Ravi Mangal, Radu Grigore, Mayur Naik, Hongseok Yang

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2014

Large-scale configurable static analysis.

Mayur Naik

Proceedings of the 3rd ACM SIGPLAN International Workshop on the State Of the Art in Java Program analysis, 2014

COSMOS: computation offloading as a service for mobile devices.

Cong Shi, Karim Habak, Pranesh Pandurangan, Mostafa H. Ammar, Mayur Naik, Ellen W. Zegura

Proceedings of the Fifteenth ACM International Symposium on Mobile Ad Hoc Networking and Computing, 2014

A Correspondence between Two Approaches to Interprocedural Analysis in the Presence of Join.

Ravi Mangal, Mayur Naik, Hongseok Yang

Proceedings of the Programming Languages and Systems, 2014

2013

Mantis: Automatic Performance Prediction for Smartphone Applications.

Yongin Kwon, Sangmin Lee, Hayoon Yi, Donghyun Kwon, Seungjun Yang, Byung-Gon Chun, Ling Huang, Petros Maniatis, Mayur Naik, Yunheung Paek

Proceedings of the 2013 USENIX Annual Technical Conference, 2013

Dynodroid: an input generation system for Android apps.

Aravind Machiry, Rohan Tahiliani, Mayur Naik

Proceedings of the Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, 2013

Finding optimum abstractions in parametric dataflow analysis.

Xin Zhang, Mayur Naik, Hongseok Yang

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2013

2012

Automated concolic testing of smartphone apps.

Saswat Anand, Mayur Naik, Mary Jean Harrold, Hongseok Yang

Proceedings of the 20th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-20), 2012

Computing in cirrus clouds: the challenge of intermittent connectivity.

Cong Shi, Mostafa H. Ammar, Ellen W. Zegura, Mayur Naik

Proceedings of the first edition of the MCC workshop on Mobile cloud computing, 2012

Abstractions from tests.

Mayur Naik, Hongseok Yang, Ghila Castelnuovo, Mooly Sagiv

Proceedings of the 39th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2012

2011

Yada: Straightforward parallel programming.

David Gay, Joel Galenson, Mayur Naik, Kathy Yelick

Parallel Comput., 2011

Learning minimal abstractions.

Percy Liang, Omer Tripp, Mayur Naik

Proceedings of the 38th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2011

Scaling abstraction refinement via pruning.

Percy Liang, Mayur Naik

Proceedings of the 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation, 2011

CloneCloud: elastic execution between mobile device and cloud.

Byung-Gon Chun, Sunghwan Ihm, Petros Maniatis, Mayur Naik, Ashwin Patti

Proceedings of the European Conference on Computer Systems, 2011

2010

Mantis: Predicting System Performance through Program Analysis and Modeling

Byung-Gon Chun, Ling Huang, Sangmin Lee, Petros Maniatis, Mayur Naik

CoRR, 2010

CloneCloud: Boosting Mobile Device Applications Through Cloud Clone Execution

Byung-Gon Chun, Sunghwan Ihm, Petros Maniatis, Mayur Naik

CoRR, 2010

An effective dynamic analysis for detecting generalized deadlocks.

Pallavi Joshi, Mayur Naik, Koushik Sen, David Gay

Proceedings of the 18th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2010

A dynamic evaluation of the precision of static heap abstractions.

Percy Liang, Omer Tripp, Mayur Naik, Mooly Sagiv

Proceedings of the 25th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2010

Predicting Execution Time of Computer Programs Using Sparse Polynomial Regression.

Ling Huang, Jinzhu Jia, Bin Yu, Byung-Gon Chun, Petros Maniatis, Mayur Naik

Proceedings of the Advances in Neural Information Processing Systems 23: 24th Annual Conference on Neural Information Processing Systems 2010. Proceedings of a meeting held 6-9 December 2010, 2010

2009

A randomized dynamic program analysis technique for detecting real deadlocks.

Pallavi Joshi, Chang-Seo Park, Koushik Sen, Mayur Naik

Proceedings of the 2009 ACM SIGPLAN Conference on Programming Language Design and Implementation, 2009

Lightweight annotations for controlling sharing in concurrent data structures.

Zachary R. Anderson, David Gay, Mayur Naik

Proceedings of the 2009 ACM SIGPLAN Conference on Programming Language Design and Implementation, 2009

Effective static deadlock detection.

Mayur Naik, Chang-Seo Park, Koushik Sen, David Gay

Proceedings of the 31st International Conference on Software Engineering, 2009

CalFuzzer: An Extensible Active Testing Framework for Concurrent Programs.

Pallavi Joshi, Mayur Naik, Chang-Seo Park, Koushik Sen

Proceedings of the Computer Aided Verification, 21st International Conference, 2009

2008

Effective static race detection for Java.

Mayur Naik

PhD thesis, 2008

A type system equivalent to a model checker.

Mayur Naik, Jens Palsberg

ACM Trans. Program. Lang. Syst., 2008

2007

Conditional must not aliasing for static race detection.

Mayur Naik, Alex Aiken

Proceedings of the 34th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2007

2006

Effective static race detection for Java.

Mayur Naik, Alex Aiken, John Whaley

Proceedings of the ACM SIGPLAN 2006 Conference on Programming Language Design and Implementation, 2006

Statistical debugging: simultaneous identification of multiple bugs.

Alice X. Zheng, Michael I. Jordan, Ben Liblit, Mayur Naik, Alex Aiken

Proceedings of the Machine Learning, 2006

2005

Scalable statistical bug isolation.

Ben Liblit, Mayur Naik, Alice X. Zheng, Alex Aiken, Michael I. Jordan

Proceedings of the ACM SIGPLAN 2005 Conference on Programming Language Design and Implementation, 2005

2004

Compiling with code-size constraints.

Mayur Naik, Jens Palsberg

ACM Trans. Embed. Comput. Syst., 2004

2003

From symptom to cause: localizing errors in counterexample traces.

Thomas Ball, Mayur Naik, Sriram K. Rajamani

Proceedings of the Conference Record of POPL 2003: The 30th SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2003

2000

Efficient Message Dispatch in Object-Oriented Systems.

Mayur Naik, Rajeev Kumar

ACM SIGPLAN Notices, 2000

1999

Object-Oriented Symbol Management in Syntax-Directed Compiler Systems.

Mayur Naik, Rajeev Kumar

ACM SIGPLAN Notices, 1999