Tutorials
Conference Papers
- Yongin Kwon, Sangmin Lee, Hayoon Yi, Donghyun Kwon, Seungjun Yang, Byung-Gon Chun, Ling Huang, Petros Maniatis, Mayur Naik, and Yunheung Paek.
Automatic Performance Prediction for Smartphone Applications. USENIX'13. (To appear.)
- Xin Zhang, Mayur Naik, and Hongseok Yang. Finding Optimum Abstractions in Parametric Dataflow Analysis. PLDI'13. (To appear.)
- Saswat Anand, Mayur Naik, Hongseok Yang, and Mary Jean Harrold. Automated Concolic Testing of Smartphone Apps. FSE'12. [long version]
- Mayur Naik, Hongseok Yang, Ghila Castelnuovo, and Mooly Sagiv.
Abstractions from Tests. POPL'12. [slides]
- Percy Liang and Mayur Naik.
Scaling Abstraction Refinement via Pruning. PLDI'11.
[slides]
- Byung-Gon Chun, Sunghwan Ihm, Petros Maniatis, Mayur Naik, and Ashwin Patti.
CloneCloud: Elastic Execution between Mobile Device and Cloud. EuroSys'11.
- Percy Liang, Omer Tripp, and Mayur Naik.
Learning Minimal Abstractions. POPL'11.
[slides]
- Ling Huang, Jinzhu Jia, Bin Yu, Byung-Gon Chun, Petros Maniatis, and Mayur Naik.
Predicting Execution Time of Computer Programs Using Sparse Polynomial Regression. NIPS'10.
[supplement]
- Pallavi Joshi, Mayur Naik, Koushik Sen, and David Gay.
An Effective Dynamic Analysis for Detecting Generalized Deadlocks. FSE'10.
- Percy Liang, Omer Tripp, Mayur Naik, and Mooly Sagiv.
A Dynamic Evaluation of the Precision of Static Heap Abstractions. OOPSLA'10.
[slides]
- Pallavi Joshi, Mayur Naik, Chang-Seo Park, and Koushik Sen.
CalFuzzer: An Extensible Active Testing Framework for Concurrent Programs (Tool Paper). CAV'09.
[tool website]
- Zachary Anderson, David Gay, and Mayur Naik.
Lightweight Annotations for Controlling Sharing in Concurrent Data Structures. PLDI'09.
[slides]
- Pallavi Joshi, Chang-Seo Park, Koushik Sen, and Mayur Naik.
A Randomized Dynamic Program Analysis Technique for Detecting Real Deadlocks. PLDI'09.
[slides]
- Mayur Naik, Chang-Seo Park, Koushik Sen, and David Gay.
Effective Static Deadlock Detection. ICSE'09.
[slides] [extended slides] [experimental results]
ACM SIGSOFT Distinguished Paper Award.
- Mayur Naik and Alex Aiken.
Conditional Must Not Aliasing for Static Race Detection. POPL'07.
[slides] [extended slides]
- Mayur Naik, Alex Aiken, and John Whaley.
Effective Static Race Detection for Java. PLDI'06.
[slides] [extended slides] [experimental results]
- Alice X. Zheng, Michael I. Jordan, Ben Liblit, Mayur Naik, and Alex Aiken.
Statistical Debugging: Simultaneous Isolation of Multiple Bugs. ICML'06.
- Ben Liblit, Mayur Naik, Alice X. Zheng, Alex Aiken, and Michael I. Jordan.
Scalable Statistical Bug Isolation. PLDI'05.
[slides]
- Mayur Naik and Jens Palsberg.
A Type System Equivalent to a Model Checker. ESOP'05.
[slides]
- Thomas Ball, Mayur Naik, and Sriram K. Rajamani.
From Symptom to Cause: Localizing Errors in Counterexample Traces. POPL'03.
[slides]
- Mayur Naik and Jens Palsberg.
Compiling with Code-Size Constraints. LCTES'02.
Book Chapters
Journal Articles
Workshop Papers
Theses
|
|