[Workshop Papers]   [Conference Papers]   [Book Chapters]   [Journal Articles]   [Tutorials]



  1. Effective Interactive Resolution of Static Analysis Alarms. Xin Zhang, Radu Grigore, Xujie Si, Mayur Naik. OOPSLA 2017. To appear.

  2. Maximum Satisfiability in Software Analysis: Applications and Techniques. Xujie Si, Xin Zhang, Radu Grigore, Mayur Naik. CAV 2017. Invited Tutorial.

  3. Accelerating Program Analyses by Cross-Program Training. Sulekha Kulkarni, Ravi Mangal, Xin Zhang, Mayur Naik. OOPSLA 2016.

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

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

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

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

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

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

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

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

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

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

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

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

  16. Dynodroid: An Input Generation System for Android Apps. Aravind Machiry, Rohan Tahiliani, Mayur Naik. FSE 2013. Distinguished Artifact Award. [slides] [project webpage] [source code] [evaluation data]

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

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

  19. Automated Concolic Testing of Smartphone Apps. Saswat Anand, Mayur Naik, Hongseok Yang, Mary Jean Harrold. FSE 2012. [long version] [slides] [source code]

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

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

  22. CloneCloud: Elastic Execution between Mobile Device and Cloud. Byung-Gon Chun, Sunghwan Ihm, Petros Maniatis, Mayur Naik, Ashwin Patti. EuroSys 2011.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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