|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 28 occurrences of 20 keywords
|
|
|
|
|
Results
Found 25 publication records. Showing 25 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Mayur Naik, Hongseok Yang, Ghila Castelnuovo, Mooly Sagiv |
Abstractions from tests.  |
POPL  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | David Gay, Joel Galenson, Mayur Naik, Kathy Yelick |
Yada: Straightforward parallel programming. |
Parallel Computing |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Percy Liang, Mayur Naik |
Scaling abstraction refinement via pruning. |
PLDI |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Percy Liang, Omer Tripp, Mayur Naik |
Learning minimal abstractions. |
POPL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Byung-Gon Chun, Sunghwan Ihm, Petros Maniatis, Mayur Naik, Ashwin Patti |
CloneCloud: elastic execution between mobile device and cloud. |
EuroSys |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Byung-Gon Chun, Ling Huang, Sangmin Lee, Petros Maniatis, Mayur Naik |
Mantis: Predicting System Performance through Program Analysis and Modeling |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Byung-Gon Chun, Sunghwan Ihm, Petros Maniatis, Mayur Naik |
CloneCloud: Boosting Mobile Device Applications Through Cloud Clone Execution |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Percy Liang, Omer Tripp, Mayur Naik, Mooly Sagiv |
A dynamic evaluation of the precision of static heap abstractions. |
OOPSLA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Pallavi Joshi, Mayur Naik, Koushik Sen, David Gay |
An effective dynamic analysis for detecting generalized deadlocks. |
SIGSOFT FSE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Ling Huang, Jinzhu Jia, Bin Yu, Byung-Gon Chun, Petros Maniatis, Mayur Naik |
Predicting Execution Time of Computer Programs Using Sparse Polynomial Regression. |
NIPS |
2010 |
DBLP BibTeX RDF |
|
| 1 | Zachary R. Anderson, David Gay, Mayur Naik |
Lightweight annotations for controlling sharing in concurrent data structures. |
PLDI |
2009 |
DBLP DOI BibTeX RDF |
concurrent programming, data races, multithreaded programming |
| 1 | Pallavi Joshi, Chang-Seo Park, Koushik Sen, Mayur Naik |
A randomized dynamic program analysis technique for detecting real deadlocks. |
PLDI |
2009 |
DBLP DOI BibTeX RDF |
active testing, concurrency, deadlock detection, dynamic program analysis |
| 1 | Pallavi Joshi, Mayur Naik, Chang-Seo Park, Koushik Sen |
CalFuzzer: An Extensible Active Testing Framework for Concurrent Programs. |
CAV |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Mayur Naik, Chang-Seo Park, Koushik Sen, David Gay |
Effective static deadlock detection. |
ICSE |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Mayur Naik, Jens Palsberg |
A type system equivalent to a model checker. |
ACM Trans. Program. Lang. Syst. |
2008 |
DBLP DOI BibTeX RDF |
Model checking, type systems |
| 1 | Mayur Naik, Alex Aiken |
Conditional must not aliasing for static race detection. |
POPL |
2007 |
DBLP DOI BibTeX RDF |
static race detection, Java, concurrency, synchronization, multi-threading |
| 1 | Mayur Naik, Alex Aiken, John Whaley |
Effective static race detection for Java. |
PLDI |
2006 |
DBLP DOI BibTeX RDF |
static race detection, Java, concurrency, synchronization, multi-threading |
| 1 | Alice X. Zheng, Michael I. Jordan, Ben Liblit, Mayur Naik, Alex Aiken |
Statistical debugging: simultaneous identification of multiple bugs. |
ICML |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Ben Liblit, Mayur Naik, Alice X. Zheng, Alexander Aiken, Michael I. Jordan |
Scalable statistical bug isolation. |
PLDI |
2005 |
DBLP DOI BibTeX RDF |
bug isolation, feature selection, invariants, random sampling, statistical debugging |
| 1 | Mayur Naik, Jens Palsberg |
A Type System Equivalent to a Model Checker. |
ESOP |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Mayur Naik, Jens Palsberg |
Compiling with code-size constraints. |
ACM Trans. Embedded Comput. Syst. |
2004 |
DBLP DOI BibTeX RDF |
Banked architecture, register allocation, integer linear programming, space optimization |
| 1 | Thomas Ball, Mayur Naik, Sriram K. Rajamani |
From symptom to cause: localizing errors in counterexample traces. |
POPL |
2003 |
DBLP DOI BibTeX RDF |
debugging, software model checking |
| 1 | Mayur Naik, Jens Palsberg |
Compiling with code-size constraints. |
LCTES-SCOPES |
2002 |
DBLP DOI BibTeX RDF |
banked architecture, register allocation, integer linear programming, space optimization |
| 1 | Mayur Naik, Rajeev Kumar |
Efficient Message Dispatch in Object-Oriented Systems. |
SIGPLAN Notices |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Mayur Naik, Rajeev Kumar |
Object-Oriented Symbol Management in Syntax-Directed Compiler Systems. |
SIGPLAN Notices |
1999 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #25 of 25 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")