Mayur Naik
发表
Koushik Sen,
Pallavi Joshi,
Chang-Seo Park,
2009,
PLDI '09.
Xin Zhang,
Radu Grigore,
Mayur Naik,
2017,
Proc. ACM Program. Lang..
Xin Zhang,
Radu Grigore,
Hongseok Yang,
2014,
PLDI 2014.
Jens Palsberg,
Mayur Naik,
2002,
LCTES/SCOPES '02.
Xin Zhang,
Mayur Naik,
Ravi Mangal,
2016,
POPL.
Xin Zhang,
Hongseok Yang,
Mayur Naik,
2013,
PLDI.
Mukund Raghothaman,
Mayur Naik,
Jonathan Mendelson,
2019,
Proc. ACM Program. Lang..
Hongseok Yang,
Mayur Naik,
Ravi Mangal,
2014,
ESOP.
Ellen W. Zegura,
Mostafa H. Ammar,
Mayur Naik,
2012,
MCC '12.
Mostafa Ammar,
Mayur Naik,
Kangqi Ni,
2013
.
Yunheung Paek,
Byung-Gon Chun,
Jacobus Van der Merwe,
2013
.
Mukund Raghothaman,
Mayur Naik,
Jonathan Mendelson,
2019
.
Michael I. Jordan,
Mayur Naik,
Alex Aiken,
2004
.
Hongseok Yang,
Mayur Naik,
Mary Jean Harrold,
2012,
SIGSOFT FSE.
Xin Zhang,
Hongseok Yang,
Mayur Naik,
2014,
PLDI.
Jens Palsberg,
Mayur Naik,
2005,
ESOP.
Jens Palsberg,
Mayur Naik,
2005
.
Michael I. Jordan,
Alexander Aiken,
Mayur Naik,
2006,
ICML '06.
Mayur Naik,
Pardis Pashakhanloo,
Woosuk Lee,
2018,
CCS.
Mayur Naik,
Osbert Bastani,
Halley Young,
2019,
ICML.
Xin Zhang,
Mayur Naik,
Kangqi Ni,
2014
.
Mayur Naik,
Rajeev Kumar,
1999,
SIGP.
Byung-Gon Chun,
Mayur Naik,
Petros Maniatis,
2010,
ArXiv.
Mayur Naik,
Xujie Si,
Changwoo Min,
2016,
USENIX Security Symposium.
Karim Habak,
Ellen W. Zegura,
Mostafa H. Ammar,
2014,
MobiHoc '14.
Le Song,
Mayur Naik,
Xujie Si,
2018,
ICLR.
Byung-Gon Chun,
Mayur Naik,
Petros Maniatis,
2011,
EuroSys '11.
Mayur Naik,
2013,
PLDI 2013.
Mayur Naik,
Aravind Machiry,
Rohan Tahiliani,
2013,
ESEC/FSE 2013.
Mayur Naik,
Anders Møller,
M. Naik,
2015,
SOAP@PLDI.
Mayur Naik,
Osbert Bastani,
Brian Heath,
2019,
ArXiv.
Xin Zhang,
Mayur Naik,
Ravi Mangal,
2015,
ESEC/SIGSOFT FSE.
Alexander Aiken,
Mayur Naik,
John Whaley,
2006,
PLDI '06.
Hongseok Yang,
Noam Rinetzky,
Mayur Naik,
2015,
SAS.
Xin Zhang,
Mayur Naik,
Ravi Mangal,
2015,
SAT.
Xin Zhang,
Radu Grigore,
Mayur Naik,
2017,
CAV.
Xin Zhang,
Mayur Naik,
Ravi Mangal,
2016,
AAAI.
Le Song,
Mukund Raghothaman,
Mayur Naik,
2018,
NeurIPS.
Mayur Naik,
Yan Shoshitaishvili,
2018,
CCS.
Rishabh Singh,
Aws Albarghouthi,
Mayur Naik,
2020,
ICML.
Xin Zhang,
William R. Harris,
Mayur Naik,
2015,
ESEC/SIGSOFT FSE.
Mayur Naik,
2003
.
Jens Palsberg,
Mayur Naik,
2004,
TECS.
Mayur Naik,
Yan Shoshitaishvili,
Yan Shoshitaishvili,
2018,
CCS 2018.
Ling Huang,
Byung-Gon Chun,
Mayur Naik,
2010,
ArXiv.
Le Song,
Mayur Naik,
Xujie Si,
2020,
CAV.
Alexander Aiken,
Mayur Naik,
A. Aiken,
2007,
POPL '07.
Mukund Raghothaman,
Mayur Naik,
Xujie Si,
2019
.
Mukund Raghothaman,
Mayur Naik,
Xujie Si,
2019,
IJCAI.
Hongseok Yang,
Mayur Naik,
Shmuel Sagiv,
2012,
POPL '12.
Mayur Naik,
2020
.
Hongseok Yang,
Mayur Naik,
Xin Zhang,
2012
.
Mayur Naik,
M. Naik,
2019,
SAS.
Aws Albarghouthi,
Mayur Naik,
Xujie Si,
2018,
ESEC/SIGSOFT FSE.
Mayur Naik,
Shmuel Sagiv,
Percy Liang,
2010,
OOPSLA.
Yunheung Paek,
Ling Huang,
Byung-Gon Chun,
2013,
USENIX Annual Technical Conference.
Xin Zhang,
Mikolás Janota,
Vasco M. Manquinho,
2016,
CP.
Michael I. Jordan,
Alexander Aiken,
Mayur Naik,
2005,
PLDI '05.
Mayur Naik,
Percy Liang,
P. Liang,
2011,
PLDI '11.
Jens Palsberg,
Mayur Naik,
2008,
TOPL.
Mayur Naik,
Sriram K. Rajamani,
Thomas Ball,
2003,
POPL '03.
Rajeev Alur,
Mayur Naik,
Woosuk Lee,
2018,
PLDI.
David Gay,
Koushik Sen,
Chang-Seo Park,
2009,
2009 IEEE 31st International Conference on Software Engineering.
David Gay,
Kathy Yelick,
Mayur Naik,
2011,
Parallel Comput..
Mayur Naik,
Sriram K. Rajamani,
Thomas Ball,
2003,
POPL '03.
Mayur Naik,
Rajeev Kumar,
2000,
SIGP.
Ling Huang,
Byung-Gon Chun,
Mayur Naik,
2010,
NIPS.
David Gay,
Koushik Sen,
Pallavi Joshi,
2010,
FSE '10.
Aws Albarghouthi,
Mayur Naik,
Paraschos Koutris,
2017,
CP.
Mayur Naik,
Percy Liang,
Omer Tripp,
2011,
POPL '11.
Xin Zhang,
Mayur Naik,
Xujie Si,
2017,
MAPL@PLDI.
Mukund Raghothaman,
Mayur Naik,
Kihong Heo,
2018,
PLDI.
Xin Zhang,
Hongseok Yang,
Mayur Naik,
2013,
PLDI 2013.
Yunheung Paek,
Ling Huang,
Byung-Gon Chun,
2015,
IEEE Transactions on Mobile Computing.
David Gay,
Mayur Naik,
Zachary R. Anderson,
2009,
PLDI '09.
Mayur Naik,
Kangqi Ni,
Hadi Esmaeilzadeh,
2013
.
Koushik Sen,
Pallavi Joshi,
Chang-Seo Park,
2009,
CAV.
Mayur Naik,
2014,
SOAP '14.
Mukund Raghothaman,
Mayur Naik,
Xujie Si,
2019,
PLDI.
Le Song,
Mayur Naik,
Ke Wang,
2020,
ICLR.
Xin Zhang,
Mayur Naik,
Ravi Mangal,
2016,
OOPSLA.
Rajeev Alur,
Mukund Raghothaman,
Mayur Naik,
2021,
PLDI.
Mukund Raghothaman,
Mayur Naik,
Aalok Thakkar,
2021,
UIST.
Rajeev Alur,
Mukund Raghothaman,
Mayur Naik,
2021,
Artifact Digital Object Group.
Mukund Raghothaman,
Mayur Naik,
Aaditya Naik,
2021,
AAAI.
Shuvendu K. Lahiri,
Mayur Naik,
Christian Bird,
2021,
IEEE Transactions on Software Engineering.
Le Song,
Mayur Naik,
Aravind Machiry,
2021,
2021 IEEE Symposium on Security and Privacy (SP).
Alexander Aiken,
Mayur Naik,
A. Aiken,
2007,
ACM-SIGACT Symposium on Principles of Programming Languages.
Alexander Aiken,
Mayur Naik,
John Whaley,
2006,
PLDI.