Mayur Naik's Publications

Book Chapters

• ILP-based Resource-aware Compilation.
  Jens Palsberg and Mayur Naik.
  Multiprocessor Systems-on-Chips.
  Elsevier, 2004.

Journal Articles

• A Type System Equivalent to a Model Checker.
  Mayur Naik and Jens Palsberg.
  ACM Transactions on Programming Languages and Systems.
  (to appear)
  [Abstract] [PDF] [PS]
• Compiling with Code-Size Constraints.
  Mayur Naik and Jens Palsberg.
  ACM Transactions on Embedded Computing Systems.
  February 2004.
  [Abstract] [PDF] [PS]

Refereed Conference Papers

• Conditional Must Not Aliasing for Static Race Detection.
  Mayur Naik and Alex Aiken.
  34th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL'07).
  Nice, France, January 2007.
  [Abstract] [PDF] [PS]
• Effective Static Race Detection for Java.
  Mayur Naik, Alex Aiken, and John Whaley.
  ACM SIGPLAN 2006 Conference on Programming Language Design and Implementation (PLDI'06).
  Ottawa, Canada, June 2006.
  [Abstract] [PDF] [PS]
• Statistical Debugging: Simultaneous Isolation of Multiple Bugs.
  Alice X. Zheng, Michael I. Jordan, Ben Liblit, Mayur Naik, and Alex Aiken.
  23rd International Conference on Machine Learning (ICML'06).
  Pittsburgh, Pennsylvania, USA, June 2006.
  [Abstract] [PDF] [PS]
• Scalable Statistical Bug Isolation.
  Ben Liblit, Mayur Naik, Alice X. Zheng, Alex Aiken, and Michael I. Jordan.
  ACM SIGPLAN 2005 Conference on Programming Language Design and Implementation (PLDI'05).
  Chicago, Illinois, USA, June 2005.
  [Abstract] [PDF] [PS]
• A Type System Equivalent to a Model Checker.
  Mayur Naik and Jens Palsberg.
  14th European Symposium on Programming (ESOP'05).
  Edinburgh, Scotland, April 2005.
  [Abstract] [PDF] [PS]
• From Symptom to Cause: Localizing Errors in Counterexample Traces.
  Thomas Ball, Mayur Naik, and Sriram K. Rajamani.
  30th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL'03).
  New Orleans, Louisiana, USA, January 2003.
  [Abstract] [PDF] [PS]
• Compiling with Code-Size Constraints.
  Mayur Naik and Jens Palsberg.
  ACM SIGPLAN Conference on Languages, Compilers, and Tools for Embedded Systems joint with Software and Compilers for Embedded Systems (LCTES/SCOPES'02).
  Berlin, Germany, June 2002.
  [Abstract] [PDF] [PS]

Refereed Workshop Papers

• Public Deployment of Cooperative Bug Isolation.
  Ben Liblit, Mayur Naik, Alice X. Zheng, Alex Aiken, and Michael I. Jordan.
  2nd International Workshop on Remote Analysis and Measurement of Software Systems (RAMSS'04).
  Edinburgh, Scotland, May 2004.
  [Abstract] [PDF] [PS]

Other Papers

• A Type System Equivalent to Model Checking.
  Mayur Naik.
  M.S. thesis, Purdue University.
  August 2003.
  [PDF] [PS]
• Efficient Message Dispatch in Object-Oriented Systems.
  Mayur Naik and Rajeev Kumar.
  ACM SIGPLAN Notices.
  March 2000.
  [PDF] [PS]
• Object-Oriented Symbol Management in Syntax-Directed Compiler Systems.
  Mayur Naik and Rajeev Kumar.
  ACM SIGPLAN Notices.
  June 1999.
  [PDF] [PS]