The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Mayur Naik" ( http://dblp.L3S.de/Authors/Mayur_Naik )

  Author page on DBLP  Author page in RDF  Community of Mayur Naik in ASPL-2

Publication years (Num. hits)
1999-2009 (15) 2010-2013 (15) 2014-2016 (16) 2017-2019 (20)
Publication types (Num. hits)
article(12) inproceedings(52) proceedings(2)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 28 occurrences of 20 keywords

Results
Found 67 publication records. Showing 66 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Xujie Si, Mukund Raghothaman, Kihong Heo, Mayur Naik Synthesizing Datalog Programs Using Numerical Relaxation. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Brian Heath, Neelay Velingker, Osbert Bastani, Mayur Naik PolyDroid: Learning-Driven Specialization of Mobile Applications. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Halley Young, Osbert Bastani, Mayur Naik Learning Neurosymbolic Generative Models via Program Synthesis. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Kihong Heo, Mukund Raghothaman, Xujie Si, Mayur Naik Continuously reasoning about programs using differential Bayesian inference. Search on Bibsonomy PLDI The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Mayur Naik Rethinking Static Analysis by Combining Discrete and Continuous Reasoning. Search on Bibsonomy SAS The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Halley Young, Osbert Bastani, Mayur Naik Learning Neurosymbolic Generative Models via Program synthesis. Search on Bibsonomy DeepRLStructPred@ICLR The full citation details ... 2019 DBLP  BibTeX  RDF
1Xujie Si, Yuan Yang, Hanjun Dai, Mayur Naik, Le Song Learning a Meta-Solver for Syntax-Guided Program Synthesis. Search on Bibsonomy ICLR (Poster) The full citation details ... 2019 DBLP  BibTeX  RDF
1Halley Young, Osbert Bastani, Mayur Naik Learning Neurosymbolic Generative Models via Program Synthesis. Search on Bibsonomy ICML The full citation details ... 2019 DBLP  BibTeX  RDF
1Xujie Si, Mukund Raghothaman, Kihong Heo, Mayur Naik Synthesizing Datalog Programs using Numerical Relaxation. Search on Bibsonomy IJCAI The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Jennifer B. Sartor, Mayur Naik, Chris Rossbach (eds.) Proceedings of the 15th ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments, VEE 2019, Providence, RI, USA, April 14, 2019. Search on Bibsonomy VEE The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Kihong Heo, Woosuk Lee, Pardis Pashakhanloo, Mayur Naik Effective Program Debloating via Reinforcement Learning. Search on Bibsonomy ACM Conference on Computer and Communications Security The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Yan Shoshitaishvili, Mayur Naik FEAST'18 - 2018 Workshop on Forming an Ecosystem around Software Transformation. Search on Bibsonomy ACM Conference on Computer and Communications Security The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Xujie Si, Woosuk Lee, Richard Zhang, Aws Albarghouthi, Paraschos Koutris, Mayur Naik Syntax-guided synthesis of Datalog programs. Search on Bibsonomy ESEC/SIGSOFT FSE The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Mukund Raghothaman, Sulekha Kulkarni, Kihong Heo, Mayur Naik User-guided program reasoning using Bayesian inference. Search on Bibsonomy PLDI The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Woosuk Lee, Kihong Heo, Rajeev Alur, Mayur Naik Accelerating search-based program synthesis using learned probabilistic models. Search on Bibsonomy PLDI The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Xujie Si, Hanjun Dai, Mukund Raghothaman, Mayur Naik, Le Song Learning Loop Invariants for Program Verification. Search on Bibsonomy NeurIPS The full citation details ... 2018 DBLP  BibTeX  RDF
1Xin Zhang, Radu Grigore, Xujie Si, Mayur Naik Effective interactive resolution of static analysis alarms. Search on Bibsonomy PACMPL The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Xujie Si, Xin Zhang, Radu Grigore, Mayur Naik Maximum Satisfiability in Software Analysis: Applications and Techniques. Search on Bibsonomy CAV (1) The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Xin Zhang, Xujie Si, Mayur Naik Combining the logical and the probabilistic in program analysis. Search on Bibsonomy MAPL@PLDI The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Aws Albarghouthi, Paraschos Koutris, Mayur Naik, Calvin Smith Constraint-Based Synthesis of Datalog Programs. Search on Bibsonomy CP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Sulekha Kulkarni, Ravi Mangal, Xin Zhang, Mayur Naik Accelerating program analyses by cross-program training. Search on Bibsonomy OOPSLA The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Xin Zhang, Ravi Mangal, Aditya V. Nori, Mayur Naik Query-guided maximum satisfiability. Search on Bibsonomy POPL The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Insu Yun, Changwoo Min, Xujie Si, Yeongjin Jang, Taesoo Kim, Mayur Naik APISan: Sanitizing API Usages through Semantic Cross-Checking. Search on Bibsonomy USENIX Security Symposium The full citation details ... 2016 DBLP  BibTeX  RDF
1Ravi Mangal, Xin Zhang, Aditya Kamath, Aditya V. Nori, Mayur Naik Scaling Relational Inference Using Proofs and Refutations. Search on Bibsonomy AAAI The full citation details ... 2016 DBLP  BibTeX  RDF
1Xujie Si, Xin Zhang, Vasco M. Manquinho, Mikolás Janota, Alexey Ignatiev, Mayur Naik On Incremental Core-Guided MaxSAT Solving. Search on Bibsonomy CP The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Yongin Kwon, Sangmin Lee, Hayoon Yi, Donghyun Kwon, Seungjun Yang, Byung-Gon Chun, Ling Huang, Petros Maniatis, Mayur Naik, Yunheung Paek Mantis: Efficient Predictions of Execution Time, Energy Usage, Memory Usage and Network Usage on Smart Mobile Devices. Search on Bibsonomy IEEE Trans. Mob. Comput. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Jongse Park, Hadi Esmaeilzadeh, Xin Zhang, Mayur Naik, William Harris FlexJava: language support for safe and modular approximate programming. Search on Bibsonomy ESEC/SIGSOFT FSE The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Ravi Mangal, Xin Zhang, Aditya V. Nori, Mayur Naik A user-guided approach to program analysis. Search on Bibsonomy ESEC/SIGSOFT FSE The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Anders Møller, Mayur Naik (eds.) Proceedings of the 4th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis, SOAP@PLDI 2015, Portland, OR, USA, June 15 - 17, 2015 Search on Bibsonomy SOAP@PLDI The full citation details ... 2015 DBLP  BibTeX  RDF
1Ravi Mangal, Xin Zhang, Aditya V. Nori, Mayur Naik Volt: A Lazy Grounding Framework for Solving Very Large MaxSAT Instances. Search on Bibsonomy SAT The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Ghila Castelnuovo, Mayur Naik, Noam Rinetzky, Mooly Sagiv, Hongseok Yang Modularity in Lattices: A Case Study on the Correspondence Between Top-Down and Bottom-Up Analysis. Search on Bibsonomy SAS The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Cong Shi, Karim Habak, Pranesh Pandurangan, Mostafa H. Ammar, Mayur Naik, Ellen W. Zegura COSMOS: computation offloading as a service for mobile devices. Search on Bibsonomy MobiHoc The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Ravi Mangal, Mayur Naik, Hongseok Yang A Correspondence between Two Approaches to Interprocedural Analysis in the Presence of Join. Search on Bibsonomy ESOP The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Xin Zhang, Ravi Mangal, Mayur Naik, Hongseok Yang Hybrid top-down and bottom-up interprocedural analysis. Search on Bibsonomy PLDI The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Xin Zhang, Ravi Mangal, Radu Grigore, Mayur Naik, Hongseok Yang On abstraction refinement for program analyses in Datalog. Search on Bibsonomy PLDI The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Mayur Naik Large-scale configurable static analysis. Search on Bibsonomy SOAP@PLDI The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Aravind Machiry, Rohan Tahiliani, Mayur Naik Dynodroid: an input generation system for Android apps. Search on Bibsonomy ESEC/SIGSOFT FSE The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Xin Zhang, Mayur Naik, Hongseok Yang Finding optimum abstractions in parametric dataflow analysis. Search on Bibsonomy PLDI The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Yongin Kwon, Sangmin Lee, Hayoon Yi, Donghyun Kwon, Seungjun Yang, Byung-Gon Chun, Ling Huang, Petros Maniatis, Mayur Naik, Yunheung Paek Mantis: Automatic Performance Prediction for Smartphone Applications. Search on Bibsonomy USENIX Annual Technical Conference The full citation details ... 2013 DBLP  BibTeX  RDF
1Mayur Naik, Hongseok Yang, Ghila Castelnuovo, Mooly Sagiv Abstractions from tests. Search on Bibsonomy POPL The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Cong Shi, Mostafa H. Ammar, Ellen W. Zegura, Mayur Naik Computing in cirrus clouds: the challenge of intermittent connectivity. Search on Bibsonomy MCC@SIGCOMM The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Saswat Anand, Mayur Naik, Mary Jean Harrold, Hongseok Yang Automated concolic testing of smartphone apps. Search on Bibsonomy SIGSOFT FSE The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1David Gay, Joel Galenson, Mayur Naik, Kathy Yelick Yada: Straightforward parallel programming. Search on Bibsonomy Parallel Computing The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Percy Liang, Omer Tripp, Mayur Naik Learning minimal abstractions. Search on Bibsonomy POPL The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Percy Liang, Mayur Naik Scaling abstraction refinement via pruning. Search on Bibsonomy PLDI The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Byung-Gon Chun, Sunghwan Ihm, Petros Maniatis, Mayur Naik, Ashwin Patti CloneCloud: elastic execution between mobile device and cloud. Search on Bibsonomy EuroSys The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Byung-Gon Chun, Ling Huang, Sangmin Lee, Petros Maniatis, Mayur Naik Mantis: Predicting System Performance through Program Analysis and Modeling Search on Bibsonomy CoRR The full citation details ... 2010 DBLP  BibTeX  RDF
1Byung-Gon Chun, Sunghwan Ihm, Petros Maniatis, Mayur Naik CloneCloud: Boosting Mobile Device Applications Through Cloud Clone Execution Search on Bibsonomy CoRR The full citation details ... 2010 DBLP  BibTeX  RDF
1Percy Liang, Omer Tripp, Mayur Naik, Mooly Sagiv A dynamic evaluation of the precision of static heap abstractions. Search on Bibsonomy OOPSLA The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Pallavi Joshi, Mayur Naik, Koushik Sen, David Gay An effective dynamic analysis for detecting generalized deadlocks. Search on Bibsonomy SIGSOFT FSE The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Ling Huang, Jinzhu Jia, Bin Yu 0001, Byung-Gon Chun, Petros Maniatis, Mayur Naik Predicting Execution Time of Computer Programs Using Sparse Polynomial Regression. Search on Bibsonomy NIPS The full citation details ... 2010 DBLP  BibTeX  RDF
1Pallavi Joshi, Mayur Naik, Chang-Seo Park, Koushik Sen CalFuzzer: An Extensible Active Testing Framework for Concurrent Programs. Search on Bibsonomy CAV The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Zachary R. Anderson, David Gay, Mayur Naik Lightweight annotations for controlling sharing in concurrent data structures. Search on Bibsonomy PLDI The full citation details ... 2009 DBLP  DOI  BibTeX  RDF concurrent programming, data races, multithreaded programming
1Pallavi Joshi, Chang-Seo Park, Koushik Sen, Mayur Naik A randomized dynamic program analysis technique for detecting real deadlocks. Search on Bibsonomy PLDI The full citation details ... 2009 DBLP  DOI  BibTeX  RDF active testing, concurrency, deadlock detection, dynamic program analysis
1Mayur Naik, Chang-Seo Park, Koushik Sen, David Gay Effective static deadlock detection. Search on Bibsonomy ICSE The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Mayur Naik, Jens Palsberg A type system equivalent to a model checker. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Model checking, type systems
1Mayur Naik, Alex Aiken Conditional must not aliasing for static race detection. Search on Bibsonomy POPL The full citation details ... 2007 DBLP  DOI  BibTeX  RDF static race detection, Java, concurrency, synchronization, multi-threading
1Mayur Naik, Alex Aiken, John Whaley Effective static race detection for Java. Search on Bibsonomy PLDI The full citation details ... 2006 DBLP  DOI  BibTeX  RDF static race detection, Java, concurrency, synchronization, multi-threading
1Alice X. Zheng, Michael I. Jordan, Ben Liblit, Mayur Naik, Alex Aiken Statistical debugging: simultaneous identification of multiple bugs. Search on Bibsonomy ICML The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Mayur Naik, Jens Palsberg A Type System Equivalent to a Model Checker. Search on Bibsonomy ESOP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Ben Liblit, Mayur Naik, Alice X. Zheng, Alexander Aiken, Michael I. Jordan Scalable statistical bug isolation. Search on Bibsonomy PLDI The full citation details ... 2005 DBLP  DOI  BibTeX  RDF bug isolation, feature selection, invariants, random sampling, statistical debugging
1Mayur Naik, Jens Palsberg Compiling with code-size constraints. Search on Bibsonomy ACM Trans. Embedded Comput. Syst. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Banked architecture, register allocation, integer linear programming, space optimization
1Thomas Ball, Mayur Naik, Sriram K. Rajamani From symptom to cause: localizing errors in counterexample traces. Search on Bibsonomy POPL The full citation details ... 2003 DBLP  DOI  BibTeX  RDF debugging, software model checking
1Mayur Naik, Jens Palsberg Compiling with code-size constraints. Search on Bibsonomy LCTES-SCOPES The full citation details ... 2002 DBLP  DOI  BibTeX  RDF banked architecture, register allocation, integer linear programming, space optimization
1Mayur Naik, Rajeev Kumar Efficient Message Dispatch in Object-Oriented Systems. Search on Bibsonomy SIGPLAN Notices The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Mayur Naik, Rajeev Kumar Object-Oriented Symbol Management in Syntax-Directed Compiler Systems. Search on Bibsonomy SIGPLAN Notices The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #66 of 66 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license