[Invited Contributions]   [Conference Papers]   [Book Chapters]   [Journal Articles]


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

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

  3. 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] [open review]

  4. 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]

  5. 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] [open review]

  6. 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.

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

  8. 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]

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

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

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

  12. 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]

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  33. 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.

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

  35. 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]

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

  37. 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]

  38. Dynodroid: An Input Generation System for Android Apps. Aravind Machiry, Rohan Tahiliani, Mayur Naik. FSE 2013. Distinguished Artifact Award. [slides]

  39. 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]

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

  41. 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]

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

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

  44. 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.

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

  46. 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]

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

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

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

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

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

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

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

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

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

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

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

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

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