Mayur Naik

128 papers A* 44A 10B 4Journal 46Unranked 19
YearRankTypeTitle / Venue / Authors
2026 J jnl
CAMEL: An ECG Language Model for Forecasting Cardiac Events.
CoRR
Neelay Velingker, Alaia Solko-Breslin, Mayank Keoliya, Seewon Choi, Jiayi Xin, Anika Marathe, Alireza Oraii, Rajat Deo, Sameed Ahmed M. Khatana, Rajeev Alur, Mayur Naik, Eric Wong
2026 — conf
Lobster: A GPU-Accelerated Framework for Neurosymbolic Programming.
ASPLOS (1)
Paul Biberstein, Ziyang Li, Joseph Devietti, Mayur Naik
2026 J jnl
On Improving Neurosymbolic Learning by Exploiting the Representation Space.
CoRR
Aaditya Naik, Efthymia Tsamoura, Shibo Jin, Mayur Naik, Dan Roth
2025 A* conf
DOLPHIN: A Programmable Framework for Scalable Neurosymbolic Learning.
ICML
Aaditya Naik, Jason Liu, Claire Wang, Amish Sethi, Saikat Dutta, Mayur Naik, Eric Wong
2025 J jnl
Delta Activations: A Representation for Finetuned Large Language Models.
CoRR
Zhiqiu Xu, Amish Sethi, Mayur Naik, Ser-Nam Lim
2025 J jnl
ESCA: Contextualizing Embodied Agents via Scene-Graph Generation.
CoRR
Jiani Huang, Amish Sethi, Matthew Kuo, Mayank Keoliya, Neelay Velingker, JungHo Jung, Ser-Nam Lim, Ziyang Li, Mayur Naik
2025 A* conf
IRIS: LLM-Assisted Static Analysis for Detecting Security Vulnerabilities.
ICLR
Ziyang Li, Saikat Dutta, Mayur Naik
2025 A* conf
LASER: A Neuro-Symbolic Framework for Learning Spatio-Temporal Scene Graphs with Weak Supervision.
ICLR
Jiani Huang, Ziyang Li, Mayur Naik, Ser-Nam Lim
2025 J jnl
Lobster: A GPU-Accelerated Framework for Neurosymbolic Programming.
CoRR
Paul Biberstein, Ziyang Li, Joseph Devietti, Mayur Naik
2025 J jnl
Once Upon an Input: Reasoning via Per-Instance Program Synthesis.
CoRR
Adam Stein, Neelay Velingker, Mayur Naik, Eric Wong
2025 J jnl
QLCoder: A Query Synthesizer For Static Analysis of Security Vulnerabilities.
CoRR
Claire Wang, Ziyang Li, Saikat Dutta, Mayur Naik
2025 J jnl
Stable Prediction of Adverse Events in Medical Time-Series Data.
CoRR
Mayank Keoliya, Seewon Choi, Rajeev Alur, Mayur Naik, Eric Wong
2025 J jnl
The Road to Generalizable Neuro-Symbolic Learning Should be Paved with Foundation Models.
CoRR
Adam Stein, Aaditya Naik, Neelay Velingker, Mayur Naik, Eric Wong
2025 A conf
Understanding the Effectiveness of Large Language Models in Detecting Security Vulnerabilities.
ICST
Avishree Khare, Saikat Dutta, Ziyang Li, Alaia Solko-Breslin, Rajeev Alur, Mayur Naik
2025 J jnl
Where's the Bug? Attention Probing for Scalable Fault Localization.
CoRR
Adam Stein, Arthur Wayne, Aaditya Naik, Mayur Naik, Eric Wong
2024 A* conf
DISCRET: Synthesizing Faithful Explanations For Treatment Effect Estimation.
ICML
Yinjun Wu, Mayank Keoliya, Kan Chen, Neelay Velingker, Ziyang Li, Emily J. Getzen, Qi Long, Mayur Naik, Ravi B. Parikh, Eric Wong
2024 J jnl
DISCRET: Synthesizing Faithful Explanations For Treatment Effect Estimation.
CoRR
Yinjun Wu, Mayank Keoliya, Kan Chen, Neelay Velingker, Ziyang Li, Emily J. Getzen, Qi Long, Mayur Naik, Ravi B. Parikh, Eric Wong
2024 A* conf
Data-Efficient Learning with Neural Programs.
NeurIPS
Alaia Solko-Breslin, Seewon Choi, Ziyang Li, Neelay Velingker, Rajeev Alur, Mayur Naik, Eric Wong
2024 J jnl
Data-Efficient Learning with Neural Programs.
CoRR
Alaia Solko-Breslin, Seewon Choi, Ziyang Li, Neelay Velingker, Rajeev Alur, Mayur Naik, Eric Wong
2024 J jnl
Dolphin: A Programmable Framework for Scalable Neurosymbolic Learning.
CoRR
Aaditya Naik, Jason Liu, Claire Wang, Saikat Dutta, Mayur Naik, Eric Wong
2024 — conf
Inferring Natural Preconditions via Program Transformation.
SIGSOFT FSE Companion
Elizabeth Dinella, Shuvendu K. Lahiri, Mayur Naik
2024 J jnl
LLM-Assisted Static Analysis for Detecting Security Vulnerabilities.
CoRR
Ziyang Li, Saikat Dutta, Mayur Naik
2024 J jnl
Neurosymbolic Programming in Scallop: Principles and Practice.
Found. Trends Program. Lang.
Ziyang Li, Jiani Huang, Jason Liu, Mayur Naik
2024 — ed.
Proceedings of the Workshop Dedicated to Jens Palsberg on the Occasion of His 60th Birthday, JENSFEST 2024, Pasadena, CA, USA, 22 October 2024
JENSFEST
Mayur Naik, Fernando Magno Quintão Pereira, Ben L. Titzer
2024 J jnl
Relational Programming with Foundation Models.
CoRR
Ziyang Li, Jiani Huang, Jason Liu, Felix Zhu, Eric Zhao, William Dodds, Neelay Velingker, Rajeev Alur, Mayur Naik
2024 A* conf
Relational Programming with Foundational Models.
AAAI
Ziyang Li, Jiani Huang, Jason Liu, Felix Zhu, Eric Zhao, William Dodds, Neelay Velingker, Rajeev Alur, Mayur Naik
2024 A* conf
TYGR: Type Inference on Stripped Binaries using Graph Neural Networks.
USENIX Security Symposium
Chang Zhu, Ziyang Li, Anton Xue, Ati Priya Bajaj, Wil Gibbs, Yibo Liu, Rajeev Alur, Tiffany Bao, Hanjun Dai, Adam Doupé, Mayur Naik, Yan Shoshitaishvili, Ruoyu Wang, Aravind Machiry
2024 J jnl
TorchQL: A Programming Framework for Integrity Constraints in Machine Learning.
Proc. ACM Program. Lang.
Aaditya Naik, Adam Stein, Yinjun Wu, Mayur Naik, Eric Wong
2024 A* conf
Towards Compositionality in Concept Learning.
ICML
Adam Stein, Aaditya Naik, Yinjun Wu, Mayur Naik, Eric Wong
2024 J jnl
Towards Compositionality in Concept Learning.
CoRR
Adam Stein, Aaditya Naik, Yinjun Wu, Mayur Naik, Eric Wong
2023 J jnl
DeepMerge: Learning to Merge Programs.
IEEE Trans. Software Eng.
Elizabeth Dinella, Todd Mytkowicz, Alexey Svyatkovskiy, Christian Bird, Mayur Naik, Shuvendu K. Lahiri
2023 J jnl
Do Machine Learning Models Learn Common Sense?
CoRR
Aaditya Naik, Yinjun Wu, Mayur Naik, Eric Wong
2023 A* conf
Do Machine Learning Models Learn Statistical Rules Inferred from Data?
ICML
Aaditya Naik, Yinjun Wu, Mayur Naik, Eric Wong
2023 — conf
Improved Logical Reasoning of Language Models via Differentiable Symbolic Programming.
ACL (Findings)
Hanlin Zhang, Jiani Huang, Ziyang Li, Mayur Naik, Eric P. Xing
2023 J jnl
Improved Logical Reasoning of Language Models via Differentiable Symbolic Programming.
CoRR
Hanlin Zhang, Jiani Huang, Ziyang Li, Mayur Naik, Eric P. Xing
2023 J jnl
LASER: Neuro-Symbolic Learning of Semantic Video Representations.
CoRR
Jiani Huang, Ziyang Li, David Jacobs, Mayur Naik, Ser-Nam Lim
2023 A* conf
Learning to Select Pivotal Samples for Meta Re-weighting.
AAAI
Yinjun Wu, Adam Stein, Jacob R. Gardner, Mayur Naik
2023 J jnl
Learning to Select Pivotal Samples for Meta Re-weighting.
CoRR
Yinjun Wu, Adam Stein, Jacob R. Gardner, Mayur Naik
2023 J jnl
MDB: Interactively Querying Datasets and Models.
CoRR
Aaditya Naik, Adam Stein, Yinjun Wu, Eric Wong, Mayur Naik
2023 J jnl
Mobius: Synthesizing Relational Queries with Recursive and Invented Predicates.
Proc. ACM Program. Lang.
Aalok Thakkar, Nathaniel Sands, George Petrou, Rajeev Alur, Mayur Naik, Mukund Raghothaman
2023 J jnl
Program Structure Aware Precondition Generation.
CoRR
Elizabeth Dinella, Shuvendu K. Lahiri, Mayur Naik
2023 J jnl
Rectifying Group Irregularities in Explanations for Distribution Shift.
CoRR
Adam Stein, Yinjun Wu, Eric Wong, Mayur Naik
2023 J jnl
Relational Query Synthesis ⋈ Decision Tree Learning.
Proc. VLDB Endow.
Aaditya Naik, Aalok Thakkar, Adam Stein, Rajeev Alur, Mayur Naik
2023 J jnl
Scallop: A Language for Neurosymbolic Programming.
CoRR
Ziyang Li, Jiani Huang, Mayur Naik
2023 J jnl
Scallop: A Language for Neurosymbolic Programming.
Proc. ACM Program. Lang.
Ziyang Li, Jiani Huang, Mayur Naik
2023 J jnl
Synthesizing Formal Network Specifications From Input-Output Examples.
IEEE/ACM Trans. Netw.
Haoxian Chen, Chenyuan Wu, Andrew Zhao, Mukund Raghothaman, Mayur Naik, Boon Thau Loo
2023 J jnl
Understanding the Effectiveness of Large Language Models in Detecting Security Vulnerabilities.
CoRR
Avishree Khare, Saikat Dutta, Ziyang Li, Alaia Solko-Breslin, Rajeev Alur, Mayur Naik
2022 A* conf
CodeTrek: Flexible Modeling of Code using an Extensible Relational Representation.
ICLR
Pardis Pashakhanloo, Aaditya Naik, Yuepeng Wang, Hanjun Dai, Petros Maniatis, Mayur Naik
2022 A conf
PacJam: Securing Dependencies Continuously via Package-Oriented Debloating.
AsiaCCS
Pardis Pashakhanloo, Aravind Machiry, Hyon-Young Choi, Anthony Canino, Kihong Heo, Insup Lee, Mayur Naik
2021 A* conf
ARBITRAR: User-Guided API Misuse Detection.
SP
Ziyang Li, Aravind Machiry, Binghong Chen, Mayur Naik, Ke Wang, Le Song
2021 J jnl
DeepMerge: Learning to Merge Programs.
CoRR
Elizabeth Dinella, Todd Mytkowicz, Alexey Svyatkovskiy, Christian Bird, Mayur Naik, Shuvendu K. Lahiri
2021 A* conf
Example-guided synthesis of relational queries.
PLDI
Aalok Thakkar, Aaditya Naik, Nathaniel Sands, Rajeev Alur, Mayur Naik, Mukund Raghothaman
2021 A* conf
GENSYNTH: Synthesizing Datalog Programs without Language Bias.
AAAI
Jonathan Mendelson, Aaditya Naik, Mukund Raghothaman, Mayur Naik
2021 A* conf
Scallop: From Probabilistic Deductive Databases to Scalable Differentiable Reasoning.
NeurIPS
Jiani Huang, Ziyang Li, Binghong Chen, Karan Samel, Mayur Naik, Le Song, Xujie Si
2021 A* conf
Sporq: An Interactive Environment for Exploring Code using Query-by-Example.
UIST
Aaditya Naik, Jonathan Mendelson, Nathaniel Sands, Yuepeng Wang, Mayur Naik, Mukund Raghothaman
2020 — conf
Code2Inv: A Deep Learning Framework for Program Verification.
CAV (2)
Xujie Si, Aaditya Naik, Hanjun Dai, Mayur Naik, Le Song
2020 A* conf
Generating Programmatic Referring Expressions via Program Synthesis.
ICML
Jiani Huang, Calvin Smith, Osbert Bastani, Rishabh Singh, Aws Albarghouthi, Mayur Naik
2020 A* conf
Hoppity: Learning Graph Transformations to Detect and Fix Bugs in Programs.
ICLR
Elizabeth Dinella, Hanjun Dai, Ziyang Li, Mayur Naik, Le Song, Ke Wang
2020 — ed.
Proceedings of the 4th ACM SIGPLAN International Workshop on Machine Learning and Programming Languages, MAPL@PLDI 2020, London, UK, June 15, 2020
MAPL@PLDI
Koushik Sen, Mayur Naik
2020 J jnl
Provenance-guided synthesis of Datalog programs.
Proc. ACM Program. Lang.
Mukund Raghothaman, Jonathan Mendelson, David Zhao, Mayur Naik, Bernhard Scholz
2019 A* conf
Continuously reasoning about programs using differential Bayesian inference.
PLDI
Kihong Heo, Mukund Raghothaman, Xujie Si, Mayur Naik
2019 A* conf
Learning Neurosymbolic Generative Models via Program Synthesis.
ICML
Halley Young, Osbert Bastani, Mayur Naik
2019 J jnl
Learning Neurosymbolic Generative Models via Program Synthesis.
CoRR
Halley Young, Osbert Bastani, Mayur Naik
2019 — conf
Learning Neurosymbolic Generative Models via Program synthesis.
DeepRLStructPred@ICLR
Halley Young, Osbert Bastani, Mayur Naik
2019 — conf
Learning a Meta-Solver for Syntax-Guided Program Synthesis.
ICLR (Poster)
Xujie Si, Yuan Yang, Hanjun Dai, Mayur Naik, Le Song
2019 J jnl
PolyDroid: Learning-Driven Specialization of Mobile Applications.
CoRR
Brian Heath, Neelay Velingker, Osbert Bastani, Mayur Naik
2019 B ed.
Proceedings of the 15th ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments, VEE 2019, Providence, RI, USA, April 14, 2019.
VEE
Jennifer B. Sartor, Mayur Naik, Christopher J. Rossbach
2019 B conf
Rethinking Static Analysis by Combining Discrete and Continuous Reasoning.
SAS
Mayur Naik
2019 J jnl
Synthesizing Datalog Programs Using Numerical Relaxation.
CoRR
Xujie Si, Mukund Raghothaman, Kihong Heo, Mayur Naik
2019 A* conf
Synthesizing Datalog Programs using Numerical Relaxation.
IJCAI
Xujie Si, Mukund Raghothaman, Kihong Heo, Mayur Naik
2018 A* conf
Accelerating search-based program synthesis using learned probabilistic models.
PLDI
Woosuk Lee, Kihong Heo, Rajeev Alur, Mayur Naik
2018 A* conf
Effective Program Debloating via Reinforcement Learning.
CCS
Kihong Heo, Woosuk Lee, Pardis Pashakhanloo, Mayur Naik
2018 A* conf
FEAST'18 - 2018 Workshop on Forming an Ecosystem around Software Transformation.
CCS
Yan Shoshitaishvili, Mayur Naik
2018 A* conf
Learning Loop Invariants for Program Verification.
NeurIPS
Xujie Si, Hanjun Dai, Mukund Raghothaman, Mayur Naik, Le Song
2018 — ed.
Proceedings of the 2018 Workshop on Forming an Ecosystem Around Software Transformation, FEAST@CCS 2018, Toronto, ON, Canada, October 15-19, 2018
FEAST@CCS
Yan Shoshitaishvili, Mayur Naik
2018 — conf
Syntax-guided synthesis of Datalog programs.
ESEC/SIGSOFT FSE
Xujie Si, Woosuk Lee, Richard Zhang, Aws Albarghouthi, Paraschos Koutris, Mayur Naik
2018 A* conf
User-guided program reasoning using Bayesian inference.
PLDI
Mukund Raghothaman, Sulekha Kulkarni, Kihong Heo, Mayur Naik
2017 — conf
Combining the logical and the probabilistic in program analysis.
MAPL@PLDI
Xin Zhang, Xujie Si, Mayur Naik
2017 A conf
Constraint-Based Synthesis of Datalog Programs.
CP
Aws Albarghouthi, Paraschos Koutris, Mayur Naik, Calvin Smith
2017 J jnl
Effective interactive resolution of static analysis alarms.
Proc. ACM Program. Lang.
Xin Zhang, Radu Grigore, Xujie Si, Mayur Naik
2017 — conf
Maximum Satisfiability in Software Analysis: Applications and Techniques.
CAV (1)
Xujie Si, Xin Zhang, Radu Grigore, Mayur Naik
2016 A* conf
APISan: Sanitizing API Usages through Semantic Cross-Checking.
USENIX Security Symposium
Insu Yun, Changwoo Min, Xujie Si, Yeongjin Jang, Taesoo Kim, Mayur Naik
2016 A conf
Accelerating program analyses by cross-program training.
OOPSLA
Sulekha Kulkarni, Ravi Mangal, Xin Zhang, Mayur Naik
2016 A conf
On Incremental Core-Guided MaxSAT Solving.
CP
Xujie Si, Xin Zhang, Vasco Manquinho, Mikolás Janota, Alexey Ignatiev, Mayur Naik
2016 A* conf
Query-guided maximum satisfiability.
POPL
Xin Zhang, Ravi Mangal, Aditya V. Nori, Mayur Naik
2016 A* conf
Scaling Relational Inference Using Proofs and Refutations.
AAAI
Ravi Mangal, Xin Zhang, Aditya Kamath, Aditya V. Nori, Mayur Naik
2015 — conf
A user-guided approach to program analysis.
ESEC/SIGSOFT FSE
Ravi Mangal, Xin Zhang, Aditya V. Nori, Mayur Naik
2015 — conf
FlexJava: language support for safe and modular approximate programming.
ESEC/SIGSOFT FSE
Jongse Park, Hadi Esmaeilzadeh, Xin Zhang, Mayur Naik, William Harris
2015 J jnl
Mantis: Efficient Predictions of Execution Time, Energy Usage, Memory Usage and Network Usage on Smart Mobile Devices.
IEEE Trans. Mob. Comput.
Yongin Kwon, Sangmin Lee, Hayoon Yi, Donghyun Kwon, Seungjun Yang, Byung-Gon Chun, Ling Huang, Petros Maniatis, Mayur Naik, Yunheung Paek
2015 B conf
Modularity in Lattices: A Case Study on the Correspondence Between Top-Down and Bottom-Up Analysis.
SAS
Ghila Castelnuovo, Mayur Naik, Noam Rinetzky, Mooly Sagiv, Hongseok Yang
2015 — ed.
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
SOAP@PLDI
Anders Møller, Mayur Naik
2015 A conf
Volt: A Lazy Grounding Framework for Solving Very Large MaxSAT Instances.
SAT
Ravi Mangal, Xin Zhang, Aditya V. Nori, Mayur Naik
2014 A conf
A Correspondence between Two Approaches to Interprocedural Analysis in the Presence of Join.
ESOP
Ravi Mangal, Mayur Naik, Hongseok Yang
2014 B conf
COSMOS: computation offloading as a service for mobile devices.
MobiHoc
Cong Shi, Karim Habak, Pranesh Pandurangan, Mostafa H. Ammar, Mayur Naik, Ellen W. Zegura
2014 A* conf
Hybrid top-down and bottom-up interprocedural analysis.
PLDI
Xin Zhang, Ravi Mangal, Mayur Naik, Hongseok Yang
2014 — conf
Large-scale configurable static analysis.
SOAP@PLDI
Mayur Naik
2014 A* conf
On abstraction refinement for program analyses in Datalog.
PLDI
Xin Zhang, Ravi Mangal, Radu Grigore, Mayur Naik, Hongseok Yang
2013 — conf
Dynodroid: an input generation system for Android apps.
ESEC/SIGSOFT FSE
Aravind Machiry, Rohan Tahiliani, Mayur Naik
2013 A* conf
Finding optimum abstractions in parametric dataflow analysis.
PLDI
Xin Zhang, Mayur Naik, Hongseok Yang
2013 — conf
Mantis: Automatic Performance Prediction for Smartphone Applications.
USENIX ATC
Yongin Kwon, Sangmin Lee, Hayoon Yi, Donghyun Kwon, Seungjun Yang, Byung-Gon Chun, Ling Huang, Petros Maniatis, Mayur Naik, Yunheung Paek
2012 A* conf
Abstractions from tests.
POPL
Mayur Naik, Hongseok Yang, Ghila Castelnuovo, Mooly Sagiv
2012 — conf
Automated concolic testing of smartphone apps.
SIGSOFT FSE
Saswat Anand, Mayur Naik, Mary Jean Harrold, Hongseok Yang
2012 — conf
Computing in cirrus clouds: the challenge of intermittent connectivity.
MCC@SIGCOMM
Cong Shi, Mostafa H. Ammar, Ellen W. Zegura, Mayur Naik
2011 A conf
CloneCloud: elastic execution between mobile device and cloud.
EuroSys
Byung-Gon Chun, Sunghwan Ihm, Petros Maniatis, Mayur Naik, Ashwin Patti
2011 A* conf
Learning minimal abstractions.
POPL
Percy Liang, Omer Tripp, Mayur Naik
2011 A* conf
Scaling abstraction refinement via pruning.
PLDI
Percy Liang, Mayur Naik
2011 J jnl
Yada: Straightforward parallel programming.
Parallel Comput.
David Gay, Joel Galenson, Mayur Naik, Kathy Yelick
2010 A conf
A dynamic evaluation of the precision of static heap abstractions.
OOPSLA
Percy Liang, Omer Tripp, Mayur Naik, Mooly Sagiv
2010 — conf
An effective dynamic analysis for detecting generalized deadlocks.
SIGSOFT FSE
Pallavi Joshi, Mayur Naik, Koushik Sen, David Gay
2010 J jnl
CloneCloud: Boosting Mobile Device Applications Through Cloud Clone Execution
CoRR
Byung-Gon Chun, Sunghwan Ihm, Petros Maniatis, Mayur Naik
2010 J jnl
Mantis: Predicting System Performance through Program Analysis and Modeling
CoRR
Byung-Gon Chun, Ling Huang, Sangmin Lee, Petros Maniatis, Mayur Naik
2010 — conf
Predicting Execution Time of Computer Programs Using Sparse Polynomial Regression.
NIPS
Ling Huang, Jinzhu Jia, Bin Yu, Byung-Gon Chun, Petros Maniatis, Mayur Naik
2009 A* conf
A randomized dynamic program analysis technique for detecting real deadlocks.
PLDI
Pallavi Joshi, Chang-Seo Park, Koushik Sen, Mayur Naik
2009 A* conf
CalFuzzer: An Extensible Active Testing Framework for Concurrent Programs.
CAV
Pallavi Joshi, Mayur Naik, Chang-Seo Park, Koushik Sen
2009 A* conf
Effective static deadlock detection.
ICSE
Mayur Naik, Chang-Seo Park, Koushik Sen, David Gay
2009 A* conf
Lightweight annotations for controlling sharing in concurrent data structures.
PLDI
Zachary R. Anderson, David Gay, Mayur Naik
2008 J jnl
A type system equivalent to a model checker.
ACM Trans. Program. Lang. Syst.
Mayur Naik, Jens Palsberg
2008 — —
Effective static race detection for Java.
Mayur Naik
2007 A* conf
Conditional must not aliasing for static race detection.
POPL
Mayur Naik, Alex Aiken
2006 A* conf
Effective static race detection for Java.
PLDI
Mayur Naik, Alex Aiken, John Whaley
2006 A* conf
Statistical debugging: simultaneous identification of multiple bugs.
ICML
Alice X. Zheng, Michael I. Jordan, Ben Liblit, Mayur Naik, Alex Aiken
2005 A conf
A Type System Equivalent to a Model Checker.
ESOP
Mayur Naik, Jens Palsberg
2005 A* conf
Scalable statistical bug isolation.
PLDI
Ben Liblit, Mayur Naik, Alice X. Zheng, Alex Aiken, Michael I. Jordan
2004 J jnl
Compiling with code-size constraints.
ACM Trans. Embed. Comput. Syst.
Mayur Naik, Jens Palsberg
2003 A* conf
From symptom to cause: localizing errors in counterexample traces.
POPL
Thomas Ball, Mayur Naik, Sriram K. Rajamani
2002 — conf
Compiling with code-size constraints.
LCTES-SCOPES
Mayur Naik, Jens Palsberg
2000 J jnl
Efficient Message Dispatch in Object-Oriented Systems.
ACM SIGPLAN Notices
Mayur Naik, Rajeev Kumar
1999 J jnl
Object-Oriented Symbol Management in Syntax-Directed Compiler Systems.
ACM SIGPLAN Notices
Mayur Naik, Rajeev Kumar