Mayur Naik

  1. TorchQL: A Programming Framework for Integrity Constraints in Machine Learning. Aaditya Naik, Adam Stein, Yinjun Wu, Mayur Naik, Eric Wong. OOPSLA 2024. [code] To Appear.

  2. Relational Programming with Foundation Models. Ziyang Li, Jiani Huang, Jason Liu, Felix Zhu, Eric Zhao, William Dodds, Neelay Velingker, Rajeev Alur, Mayur Naik. AAAI 2024.

  3. Relational Query Synthesis ⋈ Decision Tree Learning. Aaditya Naik, Aalok Thakkar, Adam Stein, Rajeev Alur, Mayur Naik. VLDB 2024. To Appear.

  4. Mobius: Synthesizing Relational Queries with Recursive and Invented Predicates. Aalok Thakkar, Nathaniel Sands, George Petrou, Rajeev Alur, Mayur Naik, Mukund Raghothaman. OOPSLA 2023.

  5. Improved Logical Reasoning of Language Models via Differentiable Symbolic Programming. Hanlin Zhang*, Jiani Huang*, Ziyang Li, Mayur Naik, Eric Xing. Findings of ACL 2023.

  6. Do Machine Learning Models Learn Statistical Rules Inferred from Data? Aaditya Naik, Yinjun Wu, Mayur Naik, Eric Wong. ICML 2023.

  7. Scallop: A Language for Neurosymbolic Programming. Ziyang Li*, Jiani Huang*, Mayur Naik. PLDI 2023. [long version] [code] [artifact]

  8. Learning to Select Pivotal Samples for Meta Re-weighting. Yinjun Wu, Adam Stein, Jacob Gardner, Mayur Naik. AAAI 2023. Oral Presentation.

  9. Synthesizing Formal Network Specifications from Input-Output Examples. Haoxian Chen, Chenyuan Wu, Andrew Zhao, Mukund Raghothaman, Mayur Naik, Boon Thau Loo. IEEE/ACM ToN 2022.

  10. DeepMerge: Learning to Merge Programs. Elizabeth Dinella, Todd Mytkowicz, Alexey Svyatkovskiy, Christian Bird, Mayur Naik, Shuvendu Lahiri. IEEE TSE 2022 and FSE 2022 (Journal-First Track).

  11. CodeTrek: Flexible Modeling of Code using an Extensible Relational Representation. Pardis Pashakhanloo, Aaditya Naik, Yuepeng Wang, Hanjun Dai, Petros Maniatis, Mayur Naik. ICLR 2022. [code]

  12. PacJam: Securing Dependencies Continuously via Package-Oriented Debloating. Pardis Pashakhanloo, Aravind Machiry, Hyonyoung Choi, Anthony Canino, Kihong Heo, Insup Lee, Mayur Naik. Asia CCS 2022. [code]

  13. Scallop: From Probabilistic Deductive Databases to Scalable Differentiable Reasoning. Jiani Huang*, Ziyang Li*, Binghong Chen, Karan Samel, Mayur Naik, Le Song, Xujie Si. NeurIPS 2021. [code]

  14. Sporq: An Interactive Environment for Exploring Code Using Query-by-Example. Aaditya Naik, Jonathan Mendelson, Nate Sands, Yuepeng Wang, Mayur Naik, Mukund Raghothaman. UIST 2021.

  15. Example-Guided Synthesis of Relational Queries. Aalok Thakkar, Aaditya Naik, Nate Sands, Rajeev Alur, Mayur Naik, Mukund Raghothaman. PLDI 2021.

  16. Arbitrar: User-Guided API Misuse Detection. Ziyang Li, Aravind Machiry, Binghong Chen, Ke Wang, Mayur Naik, Le Song. S&P 2021. [code] [demo video] [talk video]

  17. GenSynth: Synthesizing Datalog Programs without Language Bias. Jonathan Mendelson, Aaditya Naik, Mukund Raghothaman, Mayur Naik. AAAI 2021. [code] [demo] [talk video]

  18. Generating Programmatic Referring Expressions via Program Synthesis. Jiani Huang, Calvin Smith, Osbert Bastani, Rishabh Singh, Aws Albarghouthi, Mayur Naik. ICML 2020.

  19. Code2Inv: A Deep Learning Framework for Program Verification. Xujie Si*, Aaditya Naik*, Hanjun Dai, Mayur Naik, Le Song. CAV 2020. [website] [demo] [code]

  20. Hoppity: Learning Graph Transformations to Detect and Fix Bugs in Programs. Elizabeth Dinella*, Hanjun Dai*, Ziyang Li, Mayur Naik, Le Song, Ke Wang. ICLR 2020. Spotlight Paper. [website] [demo] [slides] [video] [code]

  21. Provenance-Guided Synthesis of Datalog Programs. Mukund Raghothaman, Jonathan Mendelson, David Zhao, Mayur Naik, Bernhard Scholz. POPL 2020. [slides] [video] [code] [data]

  22. Rethinking Static Analysis by Combining Discrete and Continuous Reasoning. Mayur Naik. SAS 2019. Invited Contribution.

  23. Synthesizing Datalog Programs using Numerical Relaxation. Xujie Si*, Mukund Raghothaman*, Kihong Heo, Mayur Naik. IJCAI 2019. [slides] [code] [data]

  24. Continuously Reasoning about Programs using Differential Bayesian Inference. Kihong Heo*, Mukund Raghothaman*, Xujie Si, Mayur Naik. PLDI 2019. Distinguished Paper Award. [slides]

  25. Learning Neurosymbolic Generative Models via Program Synthesis. Halley Young, Osbert Bastani, Mayur Naik. ICML 2019. [slides]

  26. Learning a Meta-Solver for Syntax-Guided Program Synthesis. Xujie Si*, Yuan Yang*, Hanjun Dai, Mayur Naik, Le Song. ICLR 2019. [poster] [code]

  27. Learning Loop Invariants for Program Verification. Xujie Si*, Hanjun Dai*, Mukund Raghothaman, Mayur Naik, Le Song. NeurIPS 2018. Spotlight Paper. [poster] [video] [code]

  28. Syntax-Guided Synthesis of Datalog Programs. Xujie Si*, Woosuk Lee*, Richard Zhang, Aws Albarghouthi, Paris Koutris, Mayur Naik. FSE 2018. [slides] [code]

  29. Effective Program Debloating via Reinforcement Learning. Kihong Heo*, Woosuk Lee*, Pardis Pashakhanloo, Mayur Naik. CCS 2018. [slides] [video] [code]

  30. User-Guided Program Reasoning Using Bayesian Inference. Mukund Raghothaman*, Sulekha Kulkarni*, Kihong Heo, Mayur Naik. PLDI 2018. [slides] [video]

  31. Accelerating Search-Based Program Synthesis Using Learned Probabilistic Models. Woosuk Lee, Kihong Heo, Rajeev Alur, Mayur Naik. PLDI 2018. [slides] [video]

  32. Maximum Satisfiability in Program Analysis: Applications and Techniques. Mayur Naik, Xujie Si, Xin Zhang, Radu Grigore. Invited Contribution. VMCAI 2018. [long version]

  33. Effective Interactive Resolution of Static Analysis Alarms. Xin Zhang, Radu Grigore, Xujie Si, Mayur Naik. OOPSLA 2017. [slides]

  34. Constraint-Based Synthesis of Datalog Programs. Aws Albarghouthi, Paraschos Koutris, Mayur Naik, Calvin Smith. CP 2017.

  35. Maximum Satisfiability in Software Analysis: Applications and Techniques. Xujie Si, Xin Zhang, Radu Grigore, Mayur Naik. CAV 2017. Invited Contribution. [slides] [video]

  36. Accelerating Program Analyses by Cross-Program Training. Sulekha Kulkarni, Ravi Mangal, Xin Zhang, Mayur Naik. OOPSLA 2016. [slides]

  37. On Incremental Core-Guided MaxSAT Solving. Xujie Si, Xin Zhang, Vasco Manquinho, Mikolas Janota, Alexey Ignatiev, Mayur Naik. CP 2016. [slides]

  38. APISan: Sanitizing API Usages through Semantic Cross-checking. Insu Yun, Changwoo Min, Xujie Si, Yeongjin Jang, Taesoo Kim, Mayur Naik. USENIX Security 2016. [slides]

  39. Scaling Relational Inference Using Proofs and Refutations. Ravi Mangal, Xin Zhang, Aditya Kamath, Aditya Nori, Mayur Naik. AAAI 2016. [poster]

  40. Query-Guided Maximum Satisfiability. Xin Zhang, Ravi Mangal, Aditya Nori, Mayur Naik. POPL 2016. [slides]

  41. 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, and Yunheung Paek. IEEE TMC 2015.

  42. Volt: A Lazy Grounding Framework for Solving Very Large MaxSAT Instances. Ravi Mangal, Xin Zhang, Aditya Nori, Mayur Naik. SAT 2015. [slides]

  43. A User-Guided Approach to Program Analysis. Ravi Mangal, Xin Zhang, Aditya Nori, Mayur Naik. FSE 2015. Distinguished Paper Award. [slides]

  44. FlexJava: Language Support for Safe and Modular Approximate Programming. Jongse Park, Hadi Esmaeilzadeh, Xin Zhang, Mayur Naik, William Harris. FSE 2015. [slides]

  45. 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. SAS 2015.

  46. COSMOS: Computation Offloading as a Service for Mobile Devices. Cong Shi, Karim Habak, Pranesh Pandurangan, Mostafa Ammar, Mayur Naik, Ellen Zegura. MobiHoc 2014.

  47. On Abstraction Refinement for Program Analyses in Datalog. Xin Zhang, Ravi Mangal, Radu Grigore, Mayur Naik, Hongseok Yang. PLDI 2014. Distinguished Paper Award. [long version] [slides]

  48. Hybrid Top-Down and Bottom-Up Interprocedural Analysis. Xin Zhang, Ravi Mangal, Mayur Naik, Hongseok Yang. PLDI 2014. [long version] [slides]

  49. A Correspondence between Two Approaches to Interprocedural Analysis in the Presence of Join. Ravi Mangal, Mayur Naik, Hongseok Yang. ESOP 2014. Best Paper Award Nominee. [long version] [slides]

  50. Dynodroid: An Input Generation System for Android Apps. Aravind Machiry, Rohan Tahiliani, Mayur Naik. FSE 2013. Test-of-Time Paper Award and Distinguished Artifact Award. [slides]

  51. 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. USENIX ATC 2013. [slides]

  52. Finding Optimum Abstractions in Parametric Dataflow Analysis. Xin Zhang, Mayur Naik, Hongseok Yang. PLDI 2013. [long version] [slides]

  53. Automated Concolic Testing of Smartphone Apps. Saswat Anand, Mayur Naik, Hongseok Yang, Mary Jean Harrold. FSE 2012. Test-of-Time Paper Award. [long version] [slides] [source code]

  54. Abstractions from Tests. Mayur Naik, Hongseok Yang, Ghila Castelnuovo, Mooly Sagiv. POPL 2012. [long version] [slides]

  55. Yada: Straightforward Parallel Programming. David Gay, Joel Galenson, Mayur Naik, Kathy Yelick. Parallel Computing, Elsevier, 2011.

  56. Scaling Abstraction Refinement via Pruning. Percy Liang and Mayur Naik. PLDI 2011. [slides]

  57. CloneCloud: Elastic Execution between Mobile Device and Cloud. Byung-Gon Chun, Sunghwan Ihm, Petros Maniatis, Mayur Naik, Ashwin Patti. EuroSys 2011. Test-of-Time Paper Award.

  58. Learning Minimal Abstractions. Percy Liang, Omer Tripp, Mayur Naik. POPL 2011. [slides]

  59. Predicting Execution Time of Computer Programs Using Sparse Polynomial Regression. Ling Huang, Jinzhu Jia, Bin Yu, Byung-Gon Chun, Petros Maniatis, Mayur Naik. NIPS 2010. [supplement]

  60. An Effective Dynamic Analysis for Detecting Generalized Deadlocks. Pallavi Joshi, Mayur Naik, Koushik Sen, David Gay. FSE 2010.

  61. A Dynamic Evaluation of the Precision of Static Heap Abstractions. Percy Liang, Omer Tripp, Mayur Naik, Mooly Sagiv. OOPSLA 2010. [slides]

  62. CalFuzzer: An Extensible Active Testing Framework for Concurrent Programs. Pallavi Joshi, Mayur Naik, Chang-Seo Park, Koushik Sen. CAV 2009. [tool website]

  63. Lightweight Annotations for Controlling Sharing in Concurrent Data Structures. Zachary Anderson, David Gay, Mayur Naik. PLDI 2009. [slides]

  64. A Randomized Dynamic Program Analysis Technique for Detecting Real Deadlocks. Pallavi Joshi, Chang-Seo Park, Koushik Sen, Mayur Naik. PLDI 2009. [slides]

  65. Effective Static Deadlock Detection. Mayur Naik, Chang-Seo Park, Koushik Sen, David Gay. ICSE 2009. Distinguished Paper Award. [slides] [extended slides] [experiment results]

  66. A Type System Equivalent to a Model Checker. Mayur Naik and Jens Palsberg. ACM TOPLAS 2008.

  67. Conditional Must Not Aliasing for Static Race Detection. Mayur Naik and Alex Aiken. POPL 2007. [slides] [extended slides]

  68. Effective Static Race Detection for Java. Mayur Naik, Alex Aiken, John Whaley. PLDI 2006. [slides] [extended slides] [experiment results]

  69. Statistical Debugging: Simultaneous Isolation of Multiple Bugs. Alice Zheng, Michael Jordan, Ben Liblit, Mayur Naik, Alex Aiken. ICML 2006.

  70. Scalable Statistical Bug Isolation. Ben Liblit, Mayur Naik, Alice Zheng, Alex Aiken, Michael Jordan. PLDI 2005. [slides]

  71. A Type System Equivalent to a Model Checker. Mayur Naik and Jens Palsberg. ESOP 2005. [slides]

  72. ILP-based Resource-aware Compilation. Jens Palsberg and Mayur Naik. Multiprocessor Systems-on-Chips, Elsevier, 2004. Book Chapter. [book website]

  73. Compiling with Code-Size Constraints. Mayur Naik and Jens Palsberg. ACM TECS 2004.

  74. From Symptom to Cause: Localizing Errors in Counterexample Traces. Thomas Ball, Mayur Naik, Sriram Rajamani. POPL 2003. [slides]

  75. Compiling with Code-Size Constraints. Mayur Naik and Jens Palsberg. LCTES 2002.