M. Naik
发表
Xin Zhang,
Mayur Naik,
Ravi Mangal,
2015,
ESEC/SIGSOFT FSE.
A. Nori,
Ravi Mangal,
Xin Zhang,
2015
.
Xin Zhang,
Radu Grigore,
Hongseok Yang,
2014,
PLDI 2014.
David Gay,
Koushik Sen,
Chang-Seo Park,
2009,
2009 IEEE 31st International Conference on Software Engineering.
Michael I. Jordan,
Alexander Aiken,
Mayur Naik,
2005,
PLDI '05.
Mayur Naik,
Percy Liang,
Omer Tripp,
2011,
POPL '11.
Mayur Naik,
Aravind Machiry,
Rohan Tahiliani,
2013,
ESEC/FSE 2013.
M. Naik,
S. Kulkarni,
R. Zhang,
2018
.
M. Naik,
K. Heo,
2019
.
Towards Scenario-Based Design and Verification of Resilient Cyber-Physical Systems Extended Abstract
I. Lee,
O. Sokolsky,
R. Alur,
2018
.
Hongseok Yang,
Noam Rinetzky,
Mayur Naik,
2015,
SAS.
M. Naik,
2015
.
A. Aiken,
M. Naik,
Yichen Xie,
2005
.
Alexander Aiken,
Mayur Naik,
A. Aiken,
2007,
ACM-SIGACT Symposium on Principles of Programming Languages.
Mayur Naik,
Yan Shoshitaishvili,
Yan Shoshitaishvili,
2018,
CCS 2018.
Mayur Naik,
Anders Møller,
M. Naik,
2015,
SOAP@PLDI.
Mayur Naik,
Sriram K. Rajamani,
Thomas Ball,
2003,
POPL '03.
B. T. Loo,
M. Naik,
Haoxian Chen,
2023,
IEEE/ACM Transactions on Networking.
M. Naik,
Petros Maniatis,
H. Dai,
2022,
ICLR.
Mukund Raghothaman,
Mayur Naik,
Aalok Thakkar,
2021,
UIST.
Ling Huang,
Byung-Gon Chun,
Mayur Naik,
2010,
NIPS.
Shuvendu K. Lahiri,
Mayur Naik,
Christian Bird,
2021,
IEEE Transactions on Software Engineering.
Saman P. Amarasinghe,
Swarat Chaudhuri,
P. Balaji,
2021
.
Mayur Naik,
Sriram K. Rajamani,
Thomas Ball,
2003,
POPL '03.
David Gay,
Koushik Sen,
Pallavi Joshi,
2010,
FSE '10.
Koushik Sen,
Pallavi Joshi,
Chang-Seo Park,
2009,
CAV.
Koushik Sen,
Pallavi Joshi,
Chang-Seo Park,
2009,
PLDI '09.
Alexander Aiken,
Mayur Naik,
John Whaley,
2006,
PLDI '06.
M. Naik,
X. Si,
Jian-Hui Huang,
2021,
NeurIPS.
Byung-Gon Chun,
Mayur Naik,
Petros Maniatis,
2011,
EuroSys '11.
Mayur Naik,
Pardis Pashakhanloo,
Woosuk Lee,
2018,
CCS.
Mayur Naik,
Osbert Bastani,
Brian Heath,
2019,
ArXiv.
M. Naik,
Anthony Canino,
Hyonyoung Choi,
2022,
AsiaCCS.
Hongseok Yang,
Mayur Naik,
Mary Jean Harrold,
2012,
SIGSOFT FSE.
M. Naik,
Yinjun Wu,
Aaditya Naik,
2023,
ArXiv.
M. Naik,
Jiani Huang,
Ziyang Li,
2023,
Proc. ACM Program. Lang..
Rishabh Singh,
Aws Albarghouthi,
Mayur Naik,
2020,
ICML.
Le Song,
Mayur Naik,
Ke Wang,
2020,
ICLR.
Eric P. Xing,
M. Naik,
Hanlin Zhang,
2023,
ACL.
Mukund Raghothaman,
Mayur Naik,
Xujie Si,
2019,
IJCAI.
Mukund Raghothaman,
Mayur Naik,
Jonathan Mendelson,
2019,
Proc. ACM Program. Lang..
Aws Albarghouthi,
Mayur Naik,
Xujie Si,
2018,
ESEC/SIGSOFT FSE.
Aws Albarghouthi,
Mayur Naik,
Paraschos Koutris,
2017,
CP.
M. Naik,
David Jacobs,
S. Lim,
2023,
ArXiv.
Mukund Raghothaman,
Mayur Naik,
Kihong Heo,
2018,
PLDI.
Hongseok Yang,
Mayur Naik,
Shmuel Sagiv,
2012,
POPL '12.
Xin Zhang,
Mayur Naik,
Xujie Si,
2017,
MAPL@PLDI.
Mostafa Ammar,
Mayur Naik,
Kangqi Ni,
2013
.
Karim Habak,
Ellen W. Zegura,
Mostafa H. Ammar,
2014,
MobiHoc '14.
Yunheung Paek,
Ling Huang,
Byung-Gon Chun,
2015,
IEEE Transactions on Mobile Computing.
Yunheung Paek,
Ling Huang,
Byung-Gon Chun,
2013,
USENIX Annual Technical Conference.
Ling Huang,
Byung-Gon Chun,
Mayur Naik,
2010,
ArXiv.
Ellen W. Zegura,
Mostafa H. Ammar,
Mayur Naik,
2012,
MCC '12.
Mayur Naik,
M. Naik,
2019,
SAS.
Mayur Naik,
Shmuel Sagiv,
Percy Liang,
2010,
OOPSLA.
David Gay,
Mayur Naik,
Zachary R. Anderson,
2009,
PLDI '09.
M. Naik,
Yinjun Wu,
Yinjun Wu,
2023,
ICML.
M. Naik,
Yinjun Wu,
Adam Stein,
2023,
AAAI.
Le Song,
Mayur Naik,
Xujie Si,
2018,
ICLR.
Mayur Naik,
Osbert Bastani,
Halley Young,
2019,
ICML.
Alexander Aiken,
Mayur Naik,
A. Aiken,
2007,
POPL '07.
Le Song,
Mayur Naik,
Xujie Si,
2020,
CAV.
Le Song,
Mukund Raghothaman,
Mayur Naik,
2018,
NeurIPS.
Xin Zhang,
William R. Harris,
Mayur Naik,
2015,
ESEC/SIGSOFT FSE.
Xin Zhang,
Radu Grigore,
Mayur Naik,
2017,
CAV.
Byung-Gon Chun,
Mayur Naik,
Petros Maniatis,
2010,
ArXiv.
Rajeev Alur,
Mayur Naik,
Woosuk Lee,
2018,
PLDI.
Rajeev Alur,
Mukund Raghothaman,
Mayur Naik,
2021,
PLDI.
Xin Zhang,
Mayur Naik,
Kangqi Ni,
2014
.
Xin Zhang,
Mayur Naik,
Ravi Mangal,
2016,
OOPSLA.
Xin Zhang,
Hongseok Yang,
Mayur Naik,
2014,
PLDI.
David Gay,
Kathy Yelick,
Mayur Naik,
2011,
Parallel Comput..
Mayur Naik,
Percy Liang,
P. Liang,
2011,
PLDI '11.
M. Naik,
Yinjun Wu,
Adam Stein,
2023,
ArXiv.
Le Song,
Mayur Naik,
Aravind Machiry,
2021,
2021 IEEE Symposium on Security and Privacy (SP).
Mayur Naik,
Kangqi Ni,
Hadi Esmaeilzadeh,
2013
.
Xin Zhang,
Mikolás Janota,
Vasco M. Manquinho,
2016,
CP.
Xin Zhang,
Mayur Naik,
Ravi Mangal,
2016,
POPL.
Xin Zhang,
Mayur Naik,
Ravi Mangal,
2015,
SAT.
M. Naik,
Byung-Gon Chun,
Petros Maniatis,
2011,
EuroSys '11.
M. Naik,
David Jacobs,
S. Lim,
2023,
2304.07647.
Michael I. Jordan,
Alexander Aiken,
Mayur Naik,
2006,
ICML.