Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Mayur Naik
@inproceedings{DBLP:conf/aaai/LiHLZZDVAN24,
author = {Ziyang Li and
Jiani Huang and
Jason Liu and
Felix Zhu and
Eric Zhao and
William Dodds and
Neelay Velingker and
Rajeev Alur and
Mayur Naik},
editor = {Michael J. Wooldridge and
Jennifer G. Dy and
Sriraam Natarajan},
title = {Relational Programming with Foundational Models},
booktitle = {Thirty-Eighth {AAAI} Conference on Artificial Intelligence, {AAAI}
2024, Thirty-Sixth Conference on Innovative Applications of Artificial
Intelligence, {IAAI} 2024, Fourteenth Symposium on Educational Advances
in Artificial Intelligence, {EAAI} 2014, February 20-27, 2024, Vancouver,
Canada},
pages = {10635--10644},
publisher = {{AAAI} Press},
year = {2024},
url = {https://doi.org/10.1609/aaai.v38i9.28934},
doi = {10.1609/AAAI.V38I9.28934},
timestamp = {Wed, 10 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/LiHLZZDVAN24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/ThakkarSPANR23,
author = {Aalok Thakkar and
Nathaniel Sands and
George Petrou and
Rajeev Alur and
Mayur Naik and
Mukund Raghothaman},
title = {Mobius: Synthesizing Relational Queries with Recursive and Invented
Predicates},
journal = {Proc. {ACM} Program. Lang.},
volume = {7},
number = {{OOPSLA2}},
pages = {1394--1417},
year = {2023},
url = {https://doi.org/10.1145/3622847},
doi = {10.1145/3622847},
timestamp = {Sun, 10 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/ThakkarSPANR23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/LiHN23,
author = {Ziyang Li and
Jiani Huang and
Mayur Naik},
title = {Scallop: {A} Language for Neurosymbolic Programming},
journal = {Proc. {ACM} Program. Lang.},
volume = {7},
number = {{PLDI}},
pages = {1463--1487},
year = {2023},
url = {https://doi.org/10.1145/3591280},
doi = {10.1145/3591280},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pacmpl/LiHN23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pvldb/NaikTSAN23,
author = {Aaditya Naik and
Aalok Thakkar and
Adam Stein and
Rajeev Alur and
Mayur Naik},
title = {Relational Query Synthesis {\(\bowtie\)} Decision Tree Learning},
journal = {Proc. {VLDB} Endow.},
volume = {17},
number = {2},
pages = {250--263},
year = {2023},
url = {https://www.vldb.org/pvldb/vol17/p250-naik.pdf},
timestamp = {Mon, 27 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pvldb/NaikTSAN23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ton/ChenWZRNL23,
author = {Haoxian Chen and
Chenyuan Wu and
Andrew Zhao and
Mukund Raghothaman and
Mayur Naik and
Boon Thau Loo},
title = {Synthesizing Formal Network Specifications From Input-Output Examples},
journal = {{IEEE/ACM} Trans. Netw.},
volume = {31},
number = {3},
pages = {994--1009},
year = {2023},
url = {https://doi.org/10.1109/TNET.2022.3208551},
doi = {10.1109/TNET.2022.3208551},
timestamp = {Wed, 03 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ton/ChenWZRNL23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/DinellaMSBNL23,
author = {Elizabeth Dinella and
Todd Mytkowicz and
Alexey Svyatkovskiy and
Christian Bird and
Mayur Naik and
Shuvendu K. Lahiri},
title = {DeepMerge: Learning to Merge Programs},
journal = {{IEEE} Trans. Software Eng.},
volume = {49},
number = {4},
pages = {1599--1614},
year = {2023},
url = {https://doi.org/10.1109/TSE.2022.3183955},
doi = {10.1109/TSE.2022.3183955},
timestamp = {Sat, 29 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/DinellaMSBNL23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/WuSGN23,
author = {Yinjun Wu and
Adam Stein and
Jacob Gardner and
Mayur Naik},
editor = {Brian Williams and
Yiling Chen and
Jennifer Neville},
title = {Learning to Select Pivotal Samples for Meta Re-weighting},
booktitle = {Thirty-Seventh {AAAI} Conference on Artificial Intelligence, {AAAI}
2023, Thirty-Fifth Conference on Innovative Applications of Artificial
Intelligence, {IAAI} 2023, Thirteenth Symposium on Educational Advances
in Artificial Intelligence, {EAAI} 2023, Washington, DC, USA, February
7-14, 2023},
pages = {6128--6136},
publisher = {{AAAI} Press},
year = {2023},
url = {https://doi.org/10.1609/aaai.v37i5.25756},
doi = {10.1609/AAAI.V37I5.25756},
timestamp = {Mon, 04 Sep 2023 12:29:24 +0200},
biburl = {https://dblp.org/rec/conf/aaai/WuSGN23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acl/ZhangHLNX23,
author = {Hanlin Zhang and
Jiani Huang and
Ziyang Li and
Mayur Naik and
Eric P. Xing},
editor = {Anna Rogers and
Jordan L. Boyd{-}Graber and
Naoaki Okazaki},
title = {Improved Logical Reasoning of Language Models via Differentiable Symbolic
Programming},
booktitle = {Findings of the Association for Computational Linguistics: {ACL} 2023,
Toronto, Canada, July 9-14, 2023},
pages = {3062--3077},
publisher = {Association for Computational Linguistics},
year = {2023},
url = {https://doi.org/10.18653/v1/2023.findings-acl.191},
doi = {10.18653/V1/2023.FINDINGS-ACL.191},
timestamp = {Thu, 10 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/acl/ZhangHLNX23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icml/NaikWN023,
author = {Aaditya Naik and
Yinjun Wu and
Mayur Naik and
Eric Wong},
editor = {Andreas Krause and
Emma Brunskill and
Kyunghyun Cho and
Barbara Engelhardt and
Sivan Sabato and
Jonathan Scarlett},
title = {Do Machine Learning Models Learn Statistical Rules Inferred from Data?},
booktitle = {International Conference on Machine Learning, {ICML} 2023, 23-29 July
2023, Honolulu, Hawaii, {USA}},
series = {Proceedings of Machine Learning Research},
volume = {202},
pages = {25677--25693},
publisher = {{PMLR}},
year = {2023},
url = {https://proceedings.mlr.press/v202/naik23a.html},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icml/NaikWN023.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2302-04418,
author = {Yinjun Wu and
Adam Stein and
Jacob Gardner and
Mayur Naik},
title = {Learning to Select Pivotal Samples for Meta Re-weighting},
journal = {CoRR},
volume = {abs/2302.04418},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2302.04418},
doi = {10.48550/ARXIV.2302.04418},
eprinttype = {arXiv},
eprint = {2302.04418},
timestamp = {Mon, 13 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2302-04418.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2303-01433,
author = {Aaditya Naik and
Yinjun Wu and
Mayur Naik and
Eric Wong},
title = {Do Machine Learning Models Learn Common Sense?},
journal = {CoRR},
volume = {abs/2303.01433},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2303.01433},
doi = {10.48550/ARXIV.2303.01433},
eprinttype = {arXiv},
eprint = {2303.01433},
timestamp = {Thu, 13 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2303-01433.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2304-04812,
author = {Ziyang Li and
Jiani Huang and
Mayur Naik},
title = {Scallop: {A} Language for Neurosymbolic Programming},
journal = {CoRR},
volume = {abs/2304.04812},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2304.04812},
doi = {10.48550/ARXIV.2304.04812},
eprinttype = {arXiv},
eprint = {2304.04812},
timestamp = {Tue, 18 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2304-04812.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2304-07647,
author = {Jiani Huang and
Ziyang Li and
David Jacobs and
Mayur Naik and
Ser{-}Nam Lim},
title = {{LASER:} Neuro-Symbolic Learning of Semantic Video Representations},
journal = {CoRR},
volume = {abs/2304.07647},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2304.07647},
doi = {10.48550/ARXIV.2304.07647},
eprinttype = {arXiv},
eprint = {2304.07647},
timestamp = {Fri, 21 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2304-07647.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2305-03742,
author = {Hanlin Zhang and
Jiani Huang and
Ziyang Li and
Mayur Naik and
Eric P. Xing},
title = {Improved Logical Reasoning of Language Models via Differentiable Symbolic
Programming},
journal = {CoRR},
volume = {abs/2305.03742},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2305.03742},
doi = {10.48550/ARXIV.2305.03742},
eprinttype = {arXiv},
eprint = {2305.03742},
timestamp = {Thu, 11 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2305-03742.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2305-16308,
author = {Adam Stein and
Yinjun Wu and
Eric Wong and
Mayur Naik},
title = {Rectifying Group Irregularities in Explanations for Distribution Shift},
journal = {CoRR},
volume = {abs/2305.16308},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2305.16308},
doi = {10.48550/ARXIV.2305.16308},
eprinttype = {arXiv},
eprint = {2305.16308},
timestamp = {Wed, 07 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2305-16308.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2308-06686,
author = {Aaditya Naik and
Adam Stein and
Yinjun Wu and
Eric Wong and
Mayur Naik},
title = {{MDB:} Interactively Querying Datasets and Models},
journal = {CoRR},
volume = {abs/2308.06686},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2308.06686},
doi = {10.48550/ARXIV.2308.06686},
eprinttype = {arXiv},
eprint = {2308.06686},
timestamp = {Wed, 23 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2308-06686.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2310-02154,
author = {Elizabeth Dinella and
Shuvendu K. Lahiri and
Mayur Naik},
title = {Program Structure Aware Precondition Generation},
journal = {CoRR},
volume = {abs/2310.02154},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2310.02154},
doi = {10.48550/ARXIV.2310.02154},
eprinttype = {arXiv},
eprint = {2310.02154},
timestamp = {Thu, 19 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2310-02154.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2311-16169,
author = {Avishree Khare and
Saikat Dutta and
Ziyang Li and
Alaia Solko{-}Breslin and
Rajeev Alur and
Mayur Naik},
title = {Understanding the Effectiveness of Large Language Models in Detecting
Security Vulnerabilities},
journal = {CoRR},
volume = {abs/2311.16169},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2311.16169},
doi = {10.48550/ARXIV.2311.16169},
eprinttype = {arXiv},
eprint = {2311.16169},
timestamp = {Mon, 04 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2311-16169.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asiaccs/PashakhanlooMCC22,
author = {Pardis Pashakhanloo and
Aravind Machiry and
Hyon{-}Young Choi and
Anthony Canino and
Kihong Heo and
Insup Lee and
Mayur Naik},
editor = {Yuji Suga and
Kouichi Sakurai and
Xuhua Ding and
Kazue Sako},
title = {PacJam: Securing Dependencies Continuously via Package-Oriented Debloating},
booktitle = {{ASIA} {CCS} '22: {ACM} Asia Conference on Computer and Communications
Security, Nagasaki, Japan, 30 May 2022 - 3 June 2022},
pages = {903--916},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3488932.3524054},
doi = {10.1145/3488932.3524054},
timestamp = {Thu, 26 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/asiaccs/PashakhanlooMCC22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclr/PashakhanlooN0D22,
author = {Pardis Pashakhanloo and
Aaditya Naik and
Yuepeng Wang and
Hanjun Dai and
Petros Maniatis and
Mayur Naik},
title = {CodeTrek: Flexible Modeling of Code using an Extensible Relational
Representation},
booktitle = {The Tenth International Conference on Learning Representations, {ICLR}
2022, Virtual Event, April 25-29, 2022},
publisher = {OpenReview.net},
year = {2022},
url = {https://openreview.net/forum?id=WQc075jmBmf},
timestamp = {Sat, 20 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclr/PashakhanlooN0D22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/MendelsonNRN21,
author = {Jonathan Mendelson and
Aaditya Naik and
Mukund Raghothaman and
Mayur Naik},
title = {{GENSYNTH:} Synthesizing Datalog Programs without Language Bias},
booktitle = {Thirty-Fifth {AAAI} Conference on Artificial Intelligence, {AAAI}
2021, Thirty-Third Conference on Innovative Applications of Artificial
Intelligence, {IAAI} 2021, The Eleventh Symposium on Educational Advances
in Artificial Intelligence, {EAAI} 2021, Virtual Event, February 2-9,
2021},
pages = {6444--6453},
publisher = {{AAAI} Press},
year = {2021},
url = {https://doi.org/10.1609/aaai.v35i7.16799},
doi = {10.1609/AAAI.V35I7.16799},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aaai/MendelsonNRN21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nips/HuangLCSNSS21,
author = {Jiani Huang and
Ziyang Li and
Binghong Chen and
Karan Samel and
Mayur Naik and
Le Song and
Xujie Si},
editor = {Marc'Aurelio Ranzato and
Alina Beygelzimer and
Yann N. Dauphin and
Percy Liang and
Jennifer Wortman Vaughan},
title = {Scallop: From Probabilistic Deductive Databases to Scalable Differentiable
Reasoning},
booktitle = {Advances in Neural Information Processing Systems 34: Annual Conference
on Neural Information Processing Systems 2021, NeurIPS 2021, December
6-14, 2021, virtual},
pages = {25134--25145},
year = {2021},
url = {https://proceedings.neurips.cc/paper/2021/hash/d367eef13f90793bd8121e2f675f0dc2-Abstract.html},
timestamp = {Tue, 03 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/nips/HuangLCSNSS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/ThakkarNSANR21,
author = {Aalok Thakkar and
Aaditya Naik and
Nathaniel Sands and
Rajeev Alur and
Mayur Naik and
Mukund Raghothaman},
editor = {Stephen N. Freund and
Eran Yahav},
title = {Example-guided synthesis of relational queries},
booktitle = {{PLDI} '21: 42nd {ACM} {SIGPLAN} International Conference on Programming
Language Design and Implementation, Virtual Event, Canada, June 20-25,
2021},
pages = {1110--1125},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3453483.3454098},
doi = {10.1145/3453483.3454098},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pldi/ThakkarNSANR21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sp/LiMCNWS21,
author = {Ziyang Li and
Aravind Machiry and
Binghong Chen and
Mayur Naik and
Ke Wang and
Le Song},
title = {{ARBITRAR:} User-Guided {API} Misuse Detection},
booktitle = {42nd {IEEE} Symposium on Security and Privacy, {SP} 2021, San Francisco,
CA, USA, 24-27 May 2021},
pages = {1400--1415},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/SP40001.2021.00090},
doi = {10.1109/SP40001.2021.00090},
timestamp = {Thu, 21 Sep 2023 15:57:26 +0200},
biburl = {https://dblp.org/rec/conf/sp/LiMCNWS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uist/NaikMSWNR21,
author = {Aaditya Naik and
Jonathan Mendelson and
Nathaniel Sands and
Yuepeng Wang and
Mayur Naik and
Mukund Raghothaman},
editor = {Jeffrey Nichols and
Ranjitha Kumar and
Michael Nebeling},
title = {Sporq: An Interactive Environment for Exploring Code using Query-by-Example},
booktitle = {{UIST} '21: The 34th Annual {ACM} Symposium on User Interface Software
and Technology, Virtual Event, USA, October 10-14, 2021},
pages = {84--99},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3472749.3474737},
doi = {10.1145/3472749.3474737},
timestamp = {Sun, 26 Nov 2023 00:57:51 +0100},
biburl = {https://dblp.org/rec/conf/uist/NaikMSWNR21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2105-07569,
author = {Elizabeth Dinella and
Todd Mytkowicz and
Alexey Svyatkovskiy and
Christian Bird and
Mayur Naik and
Shuvendu K. Lahiri},
title = {DeepMerge: Learning to Merge Programs},
journal = {CoRR},
volume = {abs/2105.07569},
year = {2021},
url = {https://arxiv.org/abs/2105.07569},
eprinttype = {arXiv},
eprint = {2105.07569},
timestamp = {Tue, 18 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2105-07569.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/RaghothamanMZNS20,
author = {Mukund Raghothaman and
Jonathan Mendelson and
David Zhao and
Mayur Naik and
Bernhard Scholz},
title = {Provenance-guided synthesis of Datalog programs},
journal = {Proc. {ACM} Program. Lang.},
volume = {4},
number = {{POPL}},
pages = {62:1--62:27},
year = {2020},
url = {https://doi.org/10.1145/3371130},
doi = {10.1145/3371130},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/RaghothamanMZNS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/SiNDNS20,
author = {Xujie Si and
Aaditya Naik and
Hanjun Dai and
Mayur Naik and
Le Song},
editor = {Shuvendu K. Lahiri and
Chao Wang},
title = {Code2Inv: {A} Deep Learning Framework for Program Verification},
booktitle = {Computer Aided Verification - 32nd International Conference, {CAV}
2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {12225},
pages = {151--164},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-53291-8\_9},
doi = {10.1007/978-3-030-53291-8\_9},
timestamp = {Wed, 12 Aug 2020 15:15:44 +0200},
biburl = {https://dblp.org/rec/conf/cav/SiNDNS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclr/DinellaDLNSW20,
author = {Elizabeth Dinella and
Hanjun Dai and
Ziyang Li and
Mayur Naik and
Le Song and
Ke Wang},
title = {Hoppity: Learning Graph Transformations to Detect and Fix Bugs in
Programs},
booktitle = {8th International Conference on Learning Representations, {ICLR} 2020,
Addis Ababa, Ethiopia, April 26-30, 2020},
publisher = {OpenReview.net},
year = {2020},
url = {https://openreview.net/forum?id=SJeqs6EFvB},
timestamp = {Thu, 07 May 2020 17:11:47 +0200},
biburl = {https://dblp.org/rec/conf/iclr/DinellaDLNSW20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icml/HuangSBSAN20,
author = {Jiani Huang and
Calvin Smith and
Osbert Bastani and
Rishabh Singh and
Aws Albarghouthi and
Mayur Naik},
title = {Generating Programmatic Referring Expressions via Program Synthesis},
booktitle = {Proceedings of the 37th International Conference on Machine Learning,
{ICML} 2020, 13-18 July 2020, Virtual Event},
series = {Proceedings of Machine Learning Research},
volume = {119},
pages = {4495--4506},
publisher = {{PMLR}},
year = {2020},
url = {http://proceedings.mlr.press/v119/huang20h.html},
timestamp = {Tue, 15 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icml/HuangSBSAN20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/pldi/2020mapl,
editor = {Koushik Sen and
Mayur Naik},
title = {Proceedings of the 4th {ACM} {SIGPLAN} International Workshop on Machine
Learning and Programming Languages, MAPL@PLDI 2020, London, UK, June
15, 2020},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3394450},
doi = {10.1145/3394450},
isbn = {978-1-4503-7996-0},
timestamp = {Tue, 07 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pldi/2020mapl.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclr/SiYDNS19,
author = {Xujie Si and
Yuan Yang and
Hanjun Dai and
Mayur Naik and
Le Song},
title = {Learning a Meta-Solver for Syntax-Guided Program Synthesis},
booktitle = {7th International Conference on Learning Representations, {ICLR} 2019,
New Orleans, LA, USA, May 6-9, 2019},
publisher = {OpenReview.net},
year = {2019},
url = {https://openreview.net/forum?id=Syl8Sn0cK7},
timestamp = {Thu, 25 Jul 2019 13:03:15 +0200},
biburl = {https://dblp.org/rec/conf/iclr/SiYDNS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclr/YoungBN19,
author = {Halley Young and
Osbert Bastani and
Mayur Naik},
title = {Learning Neurosymbolic Generative Models via Program synthesis},
booktitle = {Deep Reinforcement Learning Meets Structured Prediction, {ICLR} 2019
Workshop, New Orleans, Louisiana, United States, May 6, 2019},
publisher = {OpenReview.net},
year = {2019},
url = {https://openreview.net/forum?id=S1gUCFx4dN},
timestamp = {Thu, 25 Jul 2019 16:26:32 +0200},
biburl = {https://dblp.org/rec/conf/iclr/YoungBN19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icml/YoungBN19,
author = {Halley Young and
Osbert Bastani and
Mayur Naik},
editor = {Kamalika Chaudhuri and
Ruslan Salakhutdinov},
title = {Learning Neurosymbolic Generative Models via Program Synthesis},
booktitle = {Proceedings of the 36th International Conference on Machine Learning,
{ICML} 2019, 9-15 June 2019, Long Beach, California, {USA}},
series = {Proceedings of Machine Learning Research},
volume = {97},
pages = {7144--7153},
publisher = {{PMLR}},
year = {2019},
url = {http://proceedings.mlr.press/v97/young19a.html},
timestamp = {Tue, 11 Jun 2019 15:37:38 +0200},
biburl = {https://dblp.org/rec/conf/icml/YoungBN19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/SiRHN19,
author = {Xujie Si and
Mukund Raghothaman and
Kihong Heo and
Mayur Naik},
editor = {Sarit Kraus},
title = {Synthesizing Datalog Programs using Numerical Relaxation},
booktitle = {Proceedings of the Twenty-Eighth International Joint Conference on
Artificial Intelligence, {IJCAI} 2019, Macao, China, August 10-16,
2019},
pages = {6117--6124},
publisher = {ijcai.org},
year = {2019},
url = {https://doi.org/10.24963/ijcai.2019/847},
doi = {10.24963/IJCAI.2019/847},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ijcai/SiRHN19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/HeoRSN19,
author = {Kihong Heo and
Mukund Raghothaman and
Xujie Si and
Mayur Naik},
editor = {Kathryn S. McKinley and
Kathleen Fisher},
title = {Continuously reasoning about programs using differential Bayesian
inference},
booktitle = {Proceedings of the 40th {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, {PLDI} 2019, Phoenix, AZ, USA,
June 22-26, 2019},
pages = {561--575},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3314221.3314616},
doi = {10.1145/3314221.3314616},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pldi/HeoRSN19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/Naik19,
author = {Mayur Naik},
editor = {Bor{-}Yuh Evan Chang},
title = {Rethinking Static Analysis by Combining Discrete and Continuous Reasoning},
booktitle = {Static Analysis - 26th International Symposium, {SAS} 2019, Porto,
Portugal, October 8-11, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11822},
pages = {3--16},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-32304-2\_1},
doi = {10.1007/978-3-030-32304-2\_1},
timestamp = {Mon, 07 Oct 2019 12:34:57 +0200},
biburl = {https://dblp.org/rec/conf/sas/Naik19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/vee/2019,
editor = {Jennifer B. Sartor and
Mayur Naik and
Christopher J. Rossbach},
title = {Proceedings of the 15th {ACM} {SIGPLAN/SIGOPS} International Conference
on Virtual Execution Environments, {VEE} 2019, Providence, RI, USA,
April 14, 2019},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3313808},
doi = {10.1145/3313808},
isbn = {978-1-4503-6020-3},
timestamp = {Fri, 08 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vee/2019.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1901-08565,
author = {Halley Young and
Osbert Bastani and
Mayur Naik},
title = {Learning Neurosymbolic Generative Models via Program Synthesis},
journal = {CoRR},
volume = {abs/1901.08565},
year = {2019},
url = {http://arxiv.org/abs/1901.08565},
eprinttype = {arXiv},
eprint = {1901.08565},
timestamp = {Sat, 02 Feb 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1901-08565.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1902-09589,
author = {Brian Heath and
Neelay Velingker and
Osbert Bastani and
Mayur Naik},
title = {PolyDroid: Learning-Driven Specialization of Mobile Applications},
journal = {CoRR},
volume = {abs/1902.09589},
year = {2019},
url = {http://arxiv.org/abs/1902.09589},
eprinttype = {arXiv},
eprint = {1902.09589},
timestamp = {Tue, 21 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1902-09589.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1906-00163,
author = {Xujie Si and
Mukund Raghothaman and
Kihong Heo and
Mayur Naik},
title = {Synthesizing Datalog Programs Using Numerical Relaxation},
journal = {CoRR},
volume = {abs/1906.00163},
year = {2019},
url = {http://arxiv.org/abs/1906.00163},
eprinttype = {arXiv},
eprint = {1906.00163},
timestamp = {Thu, 27 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1906-00163.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccs/HeoLPN18,
author = {Kihong Heo and
Woosuk Lee and
Pardis Pashakhanloo and
Mayur Naik},
editor = {David Lie and
Mohammad Mannan and
Michael Backes and
XiaoFeng Wang},
title = {Effective Program Debloating via Reinforcement Learning},
booktitle = {Proceedings of the 2018 {ACM} {SIGSAC} Conference on Computer and
Communications Security, {CCS} 2018, Toronto, ON, Canada, October
15-19, 2018},
pages = {380--394},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3243734.3243838},
doi = {10.1145/3243734.3243838},
timestamp = {Tue, 10 Nov 2020 20:00:51 +0100},
biburl = {https://dblp.org/rec/conf/ccs/HeoLPN18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccs/Shoshitaishvili18,
author = {Yan Shoshitaishvili and
Mayur Naik},
editor = {David Lie and
Mohammad Mannan and
Michael Backes and
XiaoFeng Wang},
title = {FEAST'18 - 2018 Workshop on Forming an Ecosystem around Software Transformation},
booktitle = {Proceedings of the 2018 {ACM} {SIGSAC} Conference on Computer and
Communications Security, {CCS} 2018, Toronto, ON, Canada, October
15-19, 2018},
pages = {2185--2186},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3243734.3243875},
doi = {10.1145/3243734.3243875},
timestamp = {Tue, 10 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ccs/Shoshitaishvili18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nips/SiDRNS18,
author = {Xujie Si and
Hanjun Dai and
Mukund Raghothaman and
Mayur Naik and
Le Song},
editor = {Samy Bengio and
Hanna M. Wallach and
Hugo Larochelle and
Kristen Grauman and
Nicol{\`{o}} Cesa{-}Bianchi and
Roman Garnett},
title = {Learning Loop Invariants for Program Verification},
booktitle = {Advances in Neural Information Processing Systems 31: Annual Conference
on Neural Information Processing Systems 2018, NeurIPS 2018, December
3-8, 2018, Montr{\'{e}}al, Canada},
pages = {7762--7773},
year = {2018},
url = {https://proceedings.neurips.cc/paper/2018/hash/65b1e92c585fd4c2159d5f33b5030ff2-Abstract.html},
timestamp = {Mon, 16 May 2022 15:41:51 +0200},
biburl = {https://dblp.org/rec/conf/nips/SiDRNS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/LeeHAN18,
author = {Woosuk Lee and
Kihong Heo and
Rajeev Alur and
Mayur Naik},
editor = {Jeffrey S. Foster and
Dan Grossman},
title = {Accelerating search-based program synthesis using learned probabilistic
models},
booktitle = {Proceedings of the 39th {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, {PLDI} 2018, Philadelphia, PA,
USA, June 18-22, 2018},
pages = {436--449},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3192366.3192410},
doi = {10.1145/3192366.3192410},
timestamp = {Wed, 23 Jun 2021 15:34:31 +0200},
biburl = {https://dblp.org/rec/conf/pldi/LeeHAN18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/RaghothamanKHN18,
author = {Mukund Raghothaman and
Sulekha Kulkarni and
Kihong Heo and
Mayur Naik},
editor = {Jeffrey S. Foster and
Dan Grossman},
title = {User-guided program reasoning using Bayesian inference},
booktitle = {Proceedings of the 39th {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, {PLDI} 2018, Philadelphia, PA,
USA, June 18-22, 2018},
pages = {722--735},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3192366.3192417},
doi = {10.1145/3192366.3192417},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pldi/RaghothamanKHN18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/SiLZAKN18,
author = {Xujie Si and
Woosuk Lee and
Richard Zhang and
Aws Albarghouthi and
Paraschos Koutris and
Mayur Naik},
editor = {Gary T. Leavens and
Alessandro Garcia and
Corina S. Pasareanu},
title = {Syntax-guided synthesis of Datalog programs},
booktitle = {Proceedings of the 2018 {ACM} Joint Meeting on European Software Engineering
Conference and Symposium on the Foundations of Software Engineering,
{ESEC/SIGSOFT} {FSE} 2018, Lake Buena Vista, FL, USA, November 04-09,
2018},
pages = {515--527},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3236024.3236034},
doi = {10.1145/3236024.3236034},
timestamp = {Fri, 12 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sigsoft/SiLZAKN18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/ZhangGSN17,
author = {Xin Zhang and
Radu Grigore and
Xujie Si and
Mayur Naik},
title = {Effective interactive resolution of static analysis alarms},
journal = {Proc. {ACM} Program. Lang.},
volume = {1},
number = {{OOPSLA}},
pages = {57:1--57:30},
year = {2017},
url = {https://doi.org/10.1145/3133881},
doi = {10.1145/3133881},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/ZhangGSN17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/SiZGN17,
author = {Xujie Si and
Xin Zhang and
Radu Grigore and
Mayur Naik},
editor = {Rupak Majumdar and
Viktor Kuncak},
title = {Maximum Satisfiability in Software Analysis: Applications and Techniques},
booktitle = {Computer Aided Verification - 29th International Conference, {CAV}
2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {10426},
pages = {68--94},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-63387-9\_4},
doi = {10.1007/978-3-319-63387-9\_4},
timestamp = {Thu, 28 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/SiZGN17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/AlbarghouthiKNS17,
author = {Aws Albarghouthi and
Paraschos Koutris and
Mayur Naik and
Calvin Smith},
editor = {J. Christopher Beck},
title = {Constraint-Based Synthesis of Datalog Programs},
booktitle = {Principles and Practice of Constraint Programming - 23rd International
Conference, {CP} 2017, Melbourne, VIC, Australia, August 28 - September
1, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10416},
pages = {689--706},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-66158-2\_44},
doi = {10.1007/978-3-319-66158-2\_44},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/cp/AlbarghouthiKNS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/ZhangSN17,
author = {Xin Zhang and
Xujie Si and
Mayur Naik},
editor = {Tatiana Shpeisman and
Justin Gottschlich},
title = {Combining the logical and the probabilistic in program analysis},
booktitle = {Proceedings of the 1st {ACM} {SIGPLAN} International Workshop on Machine
Learning and Programming Languages, MAPL@PLDI 2017, Barcelona, Spain,
June 18, 2017},
pages = {27--34},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3088525.3088563},
doi = {10.1145/3088525.3088563},
timestamp = {Thu, 28 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/ZhangSN17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/MangalZKNN16,
author = {Ravi Mangal and
Xin Zhang and
Aditya Kamath and
Aditya V. Nori and
Mayur Naik},
editor = {Dale Schuurmans and
Michael P. Wellman},
title = {Scaling Relational Inference Using Proofs and Refutations},
booktitle = {Proceedings of the Thirtieth {AAAI} Conference on Artificial Intelligence,
February 12-17, 2016, Phoenix, Arizona, {USA}},
pages = {3278--3286},
publisher = {{AAAI} Press},
year = {2016},
url = {https://doi.org/10.1609/aaai.v30i1.10426},
doi = {10.1609/AAAI.V30I1.10426},
timestamp = {Sat, 21 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/MangalZKNN16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/SiZMJIN16,
author = {Xujie Si and
Xin Zhang and
Vasco M. Manquinho and
Mikol{\'{a}}s Janota and
Alexey Ignatiev and
Mayur Naik},
editor = {Michel Rueher},
title = {On Incremental Core-Guided MaxSAT Solving},
booktitle = {Principles and Practice of Constraint Programming - 22nd International
Conference, {CP} 2016, Toulouse, France, September 5-9, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9892},
pages = {473--482},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-44953-1\_30},
doi = {10.1007/978-3-319-44953-1\_30},
timestamp = {Thu, 28 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cp/SiZMJIN16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/KulkarniMZN16,
author = {Sulekha Kulkarni and
Ravi Mangal and
Xin Zhang and
Mayur Naik},
editor = {Eelco Visser and
Yannis Smaragdakis},
title = {Accelerating program analyses by cross-program training},
booktitle = {Proceedings of the 2016 {ACM} {SIGPLAN} International Conference on
Object-Oriented Programming, Systems, Languages, and Applications,
{OOPSLA} 2016, part of {SPLASH} 2016, Amsterdam, The Netherlands,
October 30 - November 4, 2016},
pages = {359--377},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2983990.2984023},
doi = {10.1145/2983990.2984023},
timestamp = {Wed, 23 Jun 2021 15:34:31 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/KulkarniMZN16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/ZhangMNN16,
author = {Xin Zhang and
Ravi Mangal and
Aditya V. Nori and
Mayur Naik},
editor = {Rastislav Bod{\'{\i}}k and
Rupak Majumdar},
title = {Query-guided maximum satisfiability},
booktitle = {Proceedings of the 43rd Annual {ACM} {SIGPLAN-SIGACT} Symposium on
Principles of Programming Languages, {POPL} 2016, St. Petersburg,
FL, USA, January 20 - 22, 2016},
pages = {109--122},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2837614.2837658},
doi = {10.1145/2837614.2837658},
timestamp = {Wed, 23 Jun 2021 15:34:31 +0200},
biburl = {https://dblp.org/rec/conf/popl/ZhangMNN16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uss/YunMSJKN16,
author = {Insu Yun and
Changwoo Min and
Xujie Si and
Yeongjin Jang and
Taesoo Kim and
Mayur Naik},
editor = {Thorsten Holz and
Stefan Savage},
title = {APISan: Sanitizing {API} Usages through Semantic Cross-Checking},
booktitle = {25th {USENIX} Security Symposium, {USENIX} Security 16, Austin, TX,
USA, August 10-12, 2016},
pages = {363--378},
publisher = {{USENIX} Association},
year = {2016},
url = {https://www.usenix.org/conference/usenixsecurity16/technical-sessions/presentation/yun},
timestamp = {Mon, 01 Feb 2021 08:43:18 +0100},
biburl = {https://dblp.org/rec/conf/uss/YunMSJKN16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tmc/KwonLYKYCHMNP15,
author = {Yongin Kwon and
Sangmin Lee and
Hayoon Yi and
Donghyun Kwon and
Seungjun Yang and
Byung{-}Gon Chun and
Ling Huang and
Petros Maniatis and
Mayur Naik and
Yunheung Paek},
title = {Mantis: Efficient Predictions of Execution Time, Energy Usage, Memory
Usage and Network Usage on Smart Mobile Devices},
journal = {{IEEE} Trans. Mob. Comput.},
volume = {14},
number = {10},
pages = {2059--2072},
year = {2015},
url = {https://doi.org/10.1109/TMC.2014.2374153},
doi = {10.1109/TMC.2014.2374153},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tmc/KwonLYKYCHMNP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/CastelnuovoNRSY15,
author = {Ghila Castelnuovo and
Mayur Naik and
Noam Rinetzky and
Mooly Sagiv and
Hongseok Yang},
editor = {Sandrine Blazy and
Thomas P. Jensen},
title = {Modularity in Lattices: {A} Case Study on the Correspondence Between
Top-Down and Bottom-Up Analysis},
booktitle = {Static Analysis - 22nd International Symposium, {SAS} 2015, Saint-Malo,
France, September 9-11, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9291},
pages = {252--274},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-662-48288-9\_15},
doi = {10.1007/978-3-662-48288-9\_15},
timestamp = {Wed, 25 Sep 2019 18:08:39 +0200},
biburl = {https://dblp.org/rec/conf/sas/CastelnuovoNRSY15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/MangalZNN15,
author = {Ravi Mangal and
Xin Zhang and
Aditya V. Nori and
Mayur Naik},
editor = {Marijn Heule and
Sean A. Weaver},
title = {Volt: {A} Lazy Grounding Framework for Solving Very Large MaxSAT Instances},
booktitle = {Theory and Applications of Satisfiability Testing - {SAT} 2015 - 18th
International Conference, Austin, TX, USA, September 24-27, 2015,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9340},
pages = {299--306},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-24318-4\_22},
doi = {10.1007/978-3-319-24318-4\_22},
timestamp = {Thu, 28 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sat/MangalZNN15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/MangalZNN15,
author = {Ravi Mangal and
Xin Zhang and
Aditya V. Nori and
Mayur Naik},
editor = {Elisabetta Di Nitto and
Mark Harman and
Patrick Heymans},
title = {A user-guided approach to program analysis},
booktitle = {Proceedings of the 2015 10th Joint Meeting on Foundations of Software
Engineering, {ESEC/FSE} 2015, Bergamo, Italy, August 30 - September
4, 2015},
pages = {462--473},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2786805.2786851},
doi = {10.1145/2786805.2786851},
timestamp = {Thu, 28 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sigsoft/MangalZNN15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/ParkEZNH15,
author = {Jongse Park and
Hadi Esmaeilzadeh and
Xin Zhang and
Mayur Naik and
William Harris},
editor = {Elisabetta Di Nitto and
Mark Harman and
Patrick Heymans},
title = {FlexJava: language support for safe and modular approximate programming},
booktitle = {Proceedings of the 2015 10th Joint Meeting on Foundations of Software
Engineering, {ESEC/FSE} 2015, Bergamo, Italy, August 30 - September
4, 2015},
pages = {745--757},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2786805.2786807},
doi = {10.1145/2786805.2786807},
timestamp = {Thu, 28 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sigsoft/ParkEZNH15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/pldi/2015soap,
editor = {Anders M{\o}ller and
Mayur Naik},
title = {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},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2771284},
doi = {10.1145/2771284},
isbn = {978-1-4503-3585-0},
timestamp = {Mon, 12 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/2015soap.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/MangalNY14,
author = {Ravi Mangal and
Mayur Naik and
Hongseok Yang},
editor = {Zhong Shao},
title = {A Correspondence between Two Approaches to Interprocedural Analysis
in the Presence of Join},
booktitle = {Programming Languages and Systems - 23rd European Symposium on Programming,
{ESOP} 2014, Held as Part of the European Joint Conferences on Theory
and Practice of Software, {ETAPS} 2014, Grenoble, France, April 5-13,
2014, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8410},
pages = {513--533},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-642-54833-8\_27},
doi = {10.1007/978-3-642-54833-8\_27},
timestamp = {Thu, 14 Oct 2021 10:31:33 +0200},
biburl = {https://dblp.org/rec/conf/esop/MangalNY14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mobihoc/ShiHPANZ14,
author = {Cong Shi and
Karim Habak and
Pranesh Pandurangan and
Mostafa H. Ammar and
Mayur Naik and
Ellen W. Zegura},
editor = {Jie Wu and
Xiuzhen Cheng and
Xiang{-}Yang Li and
Saswati Sarkar},
title = {{COSMOS:} computation offloading as a service for mobile devices},
booktitle = {The Fifteenth {ACM} International Symposium on Mobile Ad Hoc Networking
and Computing, MobiHoc'14, Philadelphia, PA, USA, August 11-14, 2014},
pages = {287--296},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2632951.2632958},
doi = {10.1145/2632951.2632958},
timestamp = {Thu, 10 Mar 2022 09:31:34 +0100},
biburl = {https://dblp.org/rec/conf/mobihoc/ShiHPANZ14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/Naik14,
author = {Mayur Naik},
editor = {Steven Arzt and
Ra{\'{u}}l A. Santelices},
title = {Large-scale configurable static analysis},
booktitle = {Proceedings of the 3rd {ACM} {SIGPLAN} International Workshop on the
State Of the Art in Java Program analysis, {SOAP} 2014, Edinburgh,
UK, Co-located with {PLDI} 2014, June 12, 2014},
pages = {7:1},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2614628.2614635},
doi = {10.1145/2614628.2614635},
timestamp = {Mon, 12 Jul 2021 15:34:15 +0200},
biburl = {https://dblp.org/rec/conf/pldi/Naik14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/ZhangMGNY14,
author = {Xin Zhang and
Ravi Mangal and
Radu Grigore and
Mayur Naik and
Hongseok Yang},
editor = {Michael F. P. O'Boyle and
Keshav Pingali},
title = {On abstraction refinement for program analyses in Datalog},
booktitle = {{ACM} {SIGPLAN} Conference on Programming Language Design and Implementation,
{PLDI} '14, Edinburgh, United Kingdom - June 09 - 11, 2014},
pages = {239--248},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2594291.2594327},
doi = {10.1145/2594291.2594327},
timestamp = {Thu, 24 Jun 2021 16:19:30 +0200},
biburl = {https://dblp.org/rec/conf/pldi/ZhangMGNY14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/ZhangMNY14,
author = {Xin Zhang and
Ravi Mangal and
Mayur Naik and
Hongseok Yang},
editor = {Michael F. P. O'Boyle and
Keshav Pingali},
title = {Hybrid top-down and bottom-up interprocedural analysis},
booktitle = {{ACM} {SIGPLAN} Conference on Programming Language Design and Implementation,
{PLDI} '14, Edinburgh, United Kingdom - June 09 - 11, 2014},
pages = {249--258},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2594291.2594328},
doi = {10.1145/2594291.2594328},
timestamp = {Thu, 24 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/ZhangMNY14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/ZhangNY13,
author = {Xin Zhang and
Mayur Naik and
Hongseok Yang},
editor = {Hans{-}Juergen Boehm and
Cormac Flanagan},
title = {Finding optimum abstractions in parametric dataflow analysis},
booktitle = {{ACM} {SIGPLAN} Conference on Programming Language Design and Implementation,
{PLDI} '13, Seattle, WA, USA, June 16-19, 2013},
pages = {365--376},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2491956.2462185},
doi = {10.1145/2491956.2462185},
timestamp = {Thu, 28 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/ZhangNY13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/MachiryTN13,
author = {Aravind Machiry and
Rohan Tahiliani and
Mayur Naik},
editor = {Bertrand Meyer and
Luciano Baresi and
Mira Mezini},
title = {Dynodroid: an input generation system for Android apps},
booktitle = {Joint Meeting of the European Software Engineering Conference and
the {ACM} {SIGSOFT} Symposium on the Foundations of Software Engineering,
ESEC/FSE'13, Saint Petersburg, Russian Federation, August 18-26, 2013},
pages = {224--234},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2491411.2491450},
doi = {10.1145/2491411.2491450},
timestamp = {Tue, 01 Feb 2022 10:45:16 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/MachiryTN13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/usenix/KwonLYKYCHMNP13,
author = {Yongin Kwon and
Sangmin Lee and
Hayoon Yi and
Donghyun Kwon and
Seungjun Yang and
Byung{-}Gon Chun and
Ling Huang and
Petros Maniatis and
Mayur Naik and
Yunheung Paek},
editor = {Andrew Birrell and
Emin G{\"{u}}n Sirer},
title = {Mantis: Automatic Performance Prediction for Smartphone Applications},
booktitle = {2013 {USENIX} Annual Technical Conference, San Jose, CA, USA, June
26-28, 2013},
pages = {297--308},
publisher = {{USENIX} Association},
year = {2013},
url = {https://www.usenix.org/conference/atc13/technical-sessions/presentation/kwon},
timestamp = {Mon, 01 Feb 2021 08:43:29 +0100},
biburl = {https://dblp.org/rec/conf/usenix/KwonLYKYCHMNP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/NaikYCS12,
author = {Mayur Naik and
Hongseok Yang and
Ghila Castelnuovo and
Mooly Sagiv},
editor = {John Field and
Michael Hicks},
title = {Abstractions from tests},
booktitle = {Proceedings of the 39th {ACM} {SIGPLAN-SIGACT} Symposium on Principles
of Programming Languages, {POPL} 2012, Philadelphia, Pennsylvania,
USA, January 22-28, 2012},
pages = {373--386},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2103656.2103701},
doi = {10.1145/2103656.2103701},
timestamp = {Thu, 24 Jun 2021 16:19:31 +0200},
biburl = {https://dblp.org/rec/conf/popl/NaikYCS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigcomm/ShiAZN12,
author = {Cong Shi and
Mostafa H. Ammar and
Ellen W. Zegura and
Mayur Naik},
editor = {Mario Gerla and
Dijiang Huang},
title = {Computing in cirrus clouds: the challenge of intermittent connectivity},
booktitle = {Proceedings of the first edition of the {MCC} workshop on Mobile cloud
computing, MCC@SIGCOMM 2012, Helsinki, Finland, August 17, 2012},
pages = {23--28},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2342509.2342515},
doi = {10.1145/2342509.2342515},
timestamp = {Tue, 06 Nov 2018 11:07:11 +0100},
biburl = {https://dblp.org/rec/conf/sigcomm/ShiAZN12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/AnandNHY12,
author = {Saswat Anand and
Mayur Naik and
Mary Jean Harrold and
Hongseok Yang},
editor = {Will Tracz and
Martin P. Robillard and
Tevfik Bultan},
title = {Automated concolic testing of smartphone apps},
booktitle = {20th {ACM} {SIGSOFT} Symposium on the Foundations of Software Engineering
(FSE-20), SIGSOFT/FSE'12, Cary, NC, {USA} - November 11 - 16, 2012},
pages = {59},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2393596.2393666},
doi = {10.1145/2393596.2393666},
timestamp = {Tue, 01 Feb 2022 10:45:16 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/AnandNHY12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pc/GayGNY11,
author = {David Gay and
Joel Galenson and
Mayur Naik and
Kathy Yelick},
title = {Yada: Straightforward parallel programming},
journal = {Parallel Comput.},
volume = {37},
number = {9},
pages = {592--609},
year = {2011},
url = {https://doi.org/10.1016/j.parco.2011.02.005},
doi = {10.1016/J.PARCO.2011.02.005},
timestamp = {Sat, 22 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pc/GayGNY11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurosys/ChunIMNP11,
author = {Byung{-}Gon Chun and
Sunghwan Ihm and
Petros Maniatis and
Mayur Naik and
Ashwin Patti},
editor = {Christoph M. Kirsch and
Gernot Heiser},
title = {CloneCloud: elastic execution between mobile device and cloud},
booktitle = {European Conference on Computer Systems, Proceedings of the Sixth
European conference on Computer systems, EuroSys 2011, Salzburg, Austria,
April 10-13, 2011},
pages = {301--314},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1966445.1966473},
doi = {10.1145/1966445.1966473},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/eurosys/ChunIMNP11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/LiangN11,
author = {Percy Liang and
Mayur Naik},
editor = {Mary W. Hall and
David A. Padua},
title = {Scaling abstraction refinement via pruning},
booktitle = {Proceedings of the 32nd {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, {PLDI} 2011, San Jose, CA, USA,
June 4-8, 2011},
pages = {590--601},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1993498.1993567},
doi = {10.1145/1993498.1993567},
timestamp = {Thu, 24 Jun 2021 16:19:30 +0200},
biburl = {https://dblp.org/rec/conf/pldi/LiangN11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/LiangTN11,
author = {Percy Liang and
Omer Tripp and
Mayur Naik},
editor = {Thomas Ball and
Mooly Sagiv},
title = {Learning minimal abstractions},
booktitle = {Proceedings of the 38th {ACM} {SIGPLAN-SIGACT} Symposium on Principles
of Programming Languages, {POPL} 2011, Austin, TX, USA, January 26-28,
2011},
pages = {31--42},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1926385.1926391},
doi = {10.1145/1926385.1926391},
timestamp = {Thu, 24 Jun 2021 16:19:31 +0200},
biburl = {https://dblp.org/rec/conf/popl/LiangTN11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nips/HuangJYCMN10,
author = {Ling Huang and
Jinzhu Jia and
Bin Yu and
Byung{-}Gon Chun and
Petros Maniatis and
Mayur Naik},
editor = {John D. Lafferty and
Christopher K. I. Williams and
John Shawe{-}Taylor and
Richard S. Zemel and
Aron Culotta},
title = {Predicting Execution Time of Computer Programs Using Sparse Polynomial
Regression},
booktitle = {Advances in Neural Information Processing Systems 23: 24th Annual
Conference on Neural Information Processing Systems 2010. Proceedings
of a meeting held 6-9 December 2010, Vancouver, British Columbia,
Canada},
pages = {883--891},
publisher = {Curran Associates, Inc.},
year = {2010},
url = {https://proceedings.neurips.cc/paper/2010/hash/995665640dc319973d3173a74a03860c-Abstract.html},
timestamp = {Mon, 16 May 2022 15:41:51 +0200},
biburl = {https://dblp.org/rec/conf/nips/HuangJYCMN10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/LiangTNS10,
author = {Percy Liang and
Omer Tripp and
Mayur Naik and
Mooly Sagiv},
editor = {William R. Cook and
Siobh{\'{a}}n Clarke and
Martin C. Rinard},
title = {A dynamic evaluation of the precision of static heap abstractions},
booktitle = {Proceedings of the 25th Annual {ACM} {SIGPLAN} Conference on Object-Oriented
Programming, Systems, Languages, and Applications, {OOPSLA} 2010,
October 17-21, 2010, Reno/Tahoe, Nevada, {USA}},
pages = {411--427},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1869459.1869494},
doi = {10.1145/1869459.1869494},
timestamp = {Tue, 22 Jun 2021 17:10:56 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/LiangTNS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/JoshiNSG10,
author = {Pallavi Joshi and
Mayur Naik and
Koushik Sen and
David Gay},
editor = {Gruia{-}Catalin Roman and
Andr{\'{e}} van der Hoek},
title = {An effective dynamic analysis for detecting generalized deadlocks},
booktitle = {Proceedings of the 18th {ACM} {SIGSOFT} International Symposium on
Foundations of Software Engineering, 2010, Santa Fe, NM, USA, November
7-11, 2010},
pages = {327--336},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1882291.1882339},
doi = {10.1145/1882291.1882339},
timestamp = {Tue, 01 Feb 2022 10:45:16 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/JoshiNSG10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1009-3088,
author = {Byung{-}Gon Chun and
Sunghwan Ihm and
Petros Maniatis and
Mayur Naik},
title = {CloneCloud: Boosting Mobile Device Applications Through Cloud Clone
Execution},
journal = {CoRR},
volume = {abs/1009.3088},
year = {2010},
url = {http://arxiv.org/abs/1009.3088},
eprinttype = {arXiv},
eprint = {1009.3088},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1009-3088.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1010-0019,
author = {Byung{-}Gon Chun and
Ling Huang and
Sangmin Lee and
Petros Maniatis and
Mayur Naik},
title = {Mantis: Predicting System Performance through Program Analysis and
Modeling},
journal = {CoRR},
volume = {abs/1010.0019},
year = {2010},
url = {http://arxiv.org/abs/1010.0019},
eprinttype = {arXiv},
eprint = {1010.0019},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1010-0019.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/JoshiNPS09,
author = {Pallavi Joshi and
Mayur Naik and
Chang{-}Seo Park and
Koushik Sen},
editor = {Ahmed Bouajjani and
Oded Maler},
title = {CalFuzzer: An Extensible Active Testing Framework for Concurrent Programs},
booktitle = {Computer Aided Verification, 21st International Conference, {CAV}
2009, Grenoble, France, June 26 - July 2, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5643},
pages = {675--681},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02658-4\_54},
doi = {10.1007/978-3-642-02658-4\_54},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/JoshiNPS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/NaikPSG09,
author = {Mayur Naik and
Chang{-}Seo Park and
Koushik Sen and
David Gay},
title = {Effective static deadlock detection},
booktitle = {31st International Conference on Software Engineering, {ICSE} 2009,
May 16-24, 2009, Vancouver, Canada, Proceedings},
pages = {386--396},
publisher = {{IEEE}},
year = {2009},
url = {https://doi.org/10.1109/ICSE.2009.5070538},
doi = {10.1109/ICSE.2009.5070538},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/NaikPSG09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/AndersonGN09,
author = {Zachary R. Anderson and
David Gay and
Mayur Naik},
editor = {Michael Hind and
Amer Diwan},
title = {Lightweight annotations for controlling sharing in concurrent data
structures},
booktitle = {Proceedings of the 2009 {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, {PLDI} 2009, Dublin, Ireland,
June 15-21, 2009},
pages = {98--109},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1542476.1542488},
doi = {10.1145/1542476.1542488},
timestamp = {Fri, 25 Jun 2021 14:48:54 +0200},
biburl = {https://dblp.org/rec/conf/pldi/AndersonGN09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/JoshiPSN09,
author = {Pallavi Joshi and
Chang{-}Seo Park and
Koushik Sen and
Mayur Naik},
editor = {Michael Hind and
Amer Diwan},
title = {A randomized dynamic program analysis technique for detecting real
deadlocks},
booktitle = {Proceedings of the 2009 {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, {PLDI} 2009, Dublin, Ireland,
June 15-21, 2009},
pages = {110--120},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1542476.1542489},
doi = {10.1145/1542476.1542489},
timestamp = {Fri, 25 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/JoshiPSN09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/us/Naik08,
author = {Mayur Naik},
title = {Effective static race detection for Java},
school = {Stanford University, {USA}},
year = {2008},
url = {https://searchworks.stanford.edu/view/7754008},
timestamp = {Fri, 02 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/us/Naik08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/NaikP08,
author = {Mayur Naik and
Jens Palsberg},
title = {A type system equivalent to a model checker},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {30},
number = {5},
pages = {29:1--29:24},
year = {2008},
url = {https://doi.org/10.1145/1387673.1387678},
doi = {10.1145/1387673.1387678},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/NaikP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/NaikA07,
author = {Mayur Naik and
Alex Aiken},
editor = {Martin Hofmann and
Matthias Felleisen},
title = {Conditional must not aliasing for static race detection},
booktitle = {Proceedings of the 34th {ACM} {SIGPLAN-SIGACT} Symposium on Principles
of Programming Languages, {POPL} 2007, Nice, France, January 17-19,
2007},
pages = {327--338},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1190216.1190265},
doi = {10.1145/1190216.1190265},
timestamp = {Fri, 25 Jun 2021 14:48:54 +0200},
biburl = {https://dblp.org/rec/conf/popl/NaikA07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icml/ZhengJLNA06,
author = {Alice X. Zheng and
Michael I. Jordan and
Ben Liblit and
Mayur Naik and
Alex Aiken},
editor = {William W. Cohen and
Andrew W. Moore},
title = {Statistical debugging: simultaneous identification of multiple bugs},
booktitle = {Machine Learning, Proceedings of the Twenty-Third International Conference
{(ICML} 2006), Pittsburgh, Pennsylvania, USA, June 25-29, 2006},
series = {{ACM} International Conference Proceeding Series},
volume = {148},
pages = {1105--1112},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1143844.1143983},
doi = {10.1145/1143844.1143983},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icml/ZhengJLNA06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/NaikAW06,
author = {Mayur Naik and
Alex Aiken and
John Whaley},
editor = {Michael I. Schwartzbach and
Thomas Ball},
title = {Effective static race detection for Java},
booktitle = {Proceedings of the {ACM} {SIGPLAN} 2006 Conference on Programming
Language Design and Implementation, Ottawa, Ontario, Canada, June
11-14, 2006},
pages = {308--319},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1133981.1134018},
doi = {10.1145/1133981.1134018},
timestamp = {Fri, 25 Jun 2021 14:48:54 +0200},
biburl = {https://dblp.org/rec/conf/pldi/NaikAW06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/NaikP05,
author = {Mayur Naik and
Jens Palsberg},
editor = {Shmuel Sagiv},
title = {A Type System Equivalent to a Model Checker},
booktitle = {Programming Languages and Systems, 14th European Symposium on Programming,
{ESOP} 2005, Held as Part of the Joint European Conferences on Theory
and Practice of Software, {ETAPS} 2005, Edinburgh, UK, April 4-8,
2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3444},
pages = {374--388},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/978-3-540-31987-0\_26},
doi = {10.1007/978-3-540-31987-0\_26},
timestamp = {Fri, 27 Jan 2023 15:04:25 +0100},
biburl = {https://dblp.org/rec/conf/esop/NaikP05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/LiblitNZAJ05,
author = {Ben Liblit and
Mayur Naik and
Alice X. Zheng and
Alexander Aiken and
Michael I. Jordan},
editor = {Vivek Sarkar and
Mary W. Hall},
title = {Scalable statistical bug isolation},
booktitle = {Proceedings of the {ACM} {SIGPLAN} 2005 Conference on Programming
Language Design and Implementation, Chicago, IL, USA, June 12-15,
2005},
pages = {15--26},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1065010.1065014},
doi = {10.1145/1065010.1065014},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/LiblitNZAJ05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tecs/NaikP04,
author = {Mayur Naik and
Jens Palsberg},
title = {Compiling with code-size constraints},
journal = {{ACM} Trans. Embed. Comput. Syst.},
volume = {3},
number = {1},
pages = {163--181},
year = {2004},
url = {https://doi.org/10.1145/972627.972635},
doi = {10.1145/972627.972635},
timestamp = {Tue, 08 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tecs/NaikP04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/BallNR03,
author = {Thomas Ball and
Mayur Naik and
Sriram K. Rajamani},
editor = {Alex Aiken and
Greg Morrisett},
title = {From symptom to cause: localizing errors in counterexample traces},
booktitle = {Conference Record of {POPL} 2003: The 30th {SIGPLAN-SIGACT} Symposium
on Principles of Programming Languages, New Orleans, Louisisana, USA,
January 15-17, 2003},
pages = {97--105},
publisher = {{ACM}},
year = {2003},
url = {https://doi.org/10.1145/604131.604140},
doi = {10.1145/604131.604140},
timestamp = {Fri, 25 Jun 2021 17:17:37 +0200},
biburl = {https://dblp.org/rec/conf/popl/BallNR03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lctrts/NaikP02,
author = {Mayur Naik and
Jens Palsberg},
editor = {Peter Marwedel and
Srinivas Devadas},
title = {Compiling with code-size constraints},
booktitle = {Proceedings of the 2002 Joint Conference on Languages, Compilers,
and Tools for Embedded Systems {\&} Software and Compilers for
Embedded Systems (LCTES'02-SCOPES'02), Berlin, Germany, 19-21 June
2002},
pages = {120--129},
publisher = {{ACM}},
year = {2002},
url = {https://doi.org/10.1145/513829.513851},
doi = {10.1145/513829.513851},
timestamp = {Wed, 07 Jul 2021 17:30:33 +0200},
biburl = {https://dblp.org/rec/conf/lctrts/NaikP02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigplan/NaikK00,
author = {Mayur Naik and
Rajeev Kumar},
title = {Efficient Message Dispatch in Object-Oriented Systems},
journal = {{ACM} {SIGPLAN} Notices},
volume = {35},
number = {3},
pages = {49--58},
year = {2000},
url = {https://doi.org/10.1145/351159.351174},
doi = {10.1145/351159.351174},
timestamp = {Tue, 26 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigplan/NaikK00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigplan/NaikK99,
author = {Mayur Naik and
Rajeev Kumar},
title = {Object-Oriented Symbol Management in Syntax-Directed Compiler Systems},
journal = {{ACM} {SIGPLAN} Notices},
volume = {34},
number = {6},
pages = {58--67},
year = {1999},
url = {https://doi.org/10.1145/606666.606677},
doi = {10.1145/606666.606677},
timestamp = {Tue, 26 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigplan/NaikK99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-25 05:44 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
