M. Musuvathi
发表
D. Babic,
M. Musuvathi,
Domagoj Babic,
2005
.
Sebastian Burckhardt,
John Erickson,
Madan Musuvathi,
2010,
OSDI.
Ramesh Govindan,
Ratul Mahajan,
Todd D. Millstein,
2011,
SIGCOMM.
Shuvendu K. Lahiri,
Thomas Ball,
Madan Musuvathi,
2005,
LPAR.
D. Engler,
D. Dill,
M. Musuvathi,
2002,
OSDI '02.
M. Musuvathi,
Xipeng Shen,
Yufei Ding,
2018
.
S. Qadeer,
M. Musuvathi,
2007,
PLDI.
Sebastian Burckhardt,
Madan Musuvathi,
M. Musuvathi,
2008,
CAV.
M. Musuvathi,
S. Burckhardt,
A. Bouajjani,
2011
.
Hao Chen,
Kim Laine,
Kristin E. Lauter,
2019,
PLDI.
Alex Groce,
Madanlal Musuvathi,
M. Musuvathi,
2011,
Lecture Notes in Computer Science.
Sebastian Burckhardt,
Madan Musuvathi,
Vasu Singh,
2010
.
Suman Nath,
M. Musuvathi,
Rohan Padhye,
2019
.
Geoffrey Zweig,
Jasha Droppo,
Todd Mytkowicz,
2016
.
M. Cowan,
M. Musuvathi,
Olli Saarikivi,
2022,
2201.11840.
Shuvendu K. Lahiri,
M. Musuvathi,
Jianfeng Gao,
2022,
ArXiv.
Todd Mytkowicz,
Madan Musuvathi,
Saeed Maleki,
2016,
Commun. ACM.
Dawson R. Engler,
Andy Chou,
David L. Dill,
2022
.
Yue Zhao,
Xipeng Shen,
Yufei Ding,
2015,
ICML.
Xipeng Shen,
Yufei Ding,
Todd Mytkowicz,
2015,
Proc. VLDB Endow..
Satish Narayanasamy,
Daniel Marino,
Madan Musuvathi,
2009,
PLDI '09.
Shuvendu K. Lahiri,
Curtis von Veh,
M. Musuvathi,
2022,
ArXiv.
Shuvendu K. Lahiri,
M. Musuvathi,
Saikat Chakraborty,
2023,
ArXiv.
Todd D. Millstein,
Madan Musuvathi,
Lun Liu,
2017,
Proc. ACM Program. Lang..
Shuvendu K. Lahiri,
M. Musuvathi,
Jianfeng Gao,
2022,
NeurIPS.
Dawson R. Engler,
Madan Musuvathi,
D. Engler,
2004,
NSDI.
Junfeng Yang,
Dawson R. Engler,
Madan Musuvathi,
2004,
TOCS.
David L. Dill,
Madanlal Musuvathi,
M. Musuvathi,
2004
.
Suman Nath,
Madan Musuvathi,
Shan Lu,
2019,
HotOS.
J. Nelson,
M. Musuvathi,
Todd Mytkowicz,
2020,
PPoPP.
Amir Hossein Nodehi Sabet,
M. Musuvathi,
Todd Mytkowicz,
2021,
ASPLOS.
Thomas Ball,
Gérard Basler,
Iulian Neamtiu,
2008,
OSDI.
Dawson R. Engler,
Madan Musuvathi,
D. Engler,
2003,
SoftMC@CAV.
George Candea,
Benjamin Schubert,
Gilles Pokam,
2015,
HotOS.
Rohan Padhye,
Guangpu Li,
Shan Lu,
2019,
SOSP.
Madan Musuvathi,
Shaz Qadeer,
S. Qadeer,
2008,
PLDI '08.
Todd Mytkowicz,
Madan Musuvathi,
Saeed Maleki,
2016,
ACM Trans. Parallel Comput..
Todd Mytkowicz,
Madan Musuvathi,
Saeed Maleki,
2014,
PPoPP '14.
Kathryn S. McKinley,
Madan Musuvathi,
Katherine E. Coons,
2013,
OOPSLA.
Shaz Qadeer,
Madanlal Musuvathi,
S. Qadeer,
2007
.
Madan Musuvathi,
Greta Yorsh,
M. Musuvathi,
2005,
CADE.
K. Rustan M. Leino,
Xinming Ou,
Madan Musuvathi,
2005,
TACAS.
Emad Barsoum,
Jaliya Ekanayake,
Todd Mytkowicz,
2020,
MLSys.
Satish Narayanasamy,
Daniel Marino,
Todd D. Millstein,
2011,
ASPLOS XVI.
Satish Narayanasamy,
Daniel Marino,
Todd D. Millstein,
2010,
PLDI '10.
Madan Musuvathi,
Shaz Qadeer,
S. Qadeer,
2007,
PLDI '07.
M. Cowan,
M. Musuvathi,
Olli Saarikivi,
2022,
ArXiv.
Pravesh Kothari,
Sebastian Burckhardt,
Santosh Nagarakatte,
2010,
ASPLOS XV.
Ratul Mahajan,
Madan Musuvathi,
Matthew Caesar,
2015,
USENIX Annual Technical Conference.
Suman Nath,
Guangpu Li,
Dongjie Chen,
2021,
ASPLOS.
Suman Nath,
M. Musuvathi,
Shan Lu,
2020
.
Satish Narayanasamy,
Daniel Marino,
Madanlal Musuvathi,
2008
.
Todd Mytkowicz,
Madan Musuvathi,
Veselin Raychev,
2015,
SOSP.
Shuvendu K. Lahiri,
Madan Musuvathi,
M. Musuvathi,
2006,
IJCAR.
Shuvendu K. Lahiri,
Madan Musuvathi,
M. Musuvathi,
2005,
PDPAR@CAV.
Todd Mytkowicz,
Madan Musuvathi,
Roshan Dathathri,
2019,
2021 IEEE International Parallel and Distributed Processing Symposium (IPDPS).
Dawson R. Engler,
Madan Musuvathi,
D. Engler,
2004,
VMCAI.
D. Engler,
D. Dill,
M. Musuvathi,
2002,
OSDI '02.
Hao Chen,
Kim Laine,
Kristin E. Lauter,
2018,
ArXiv.
David L. Dill,
Madan Musuvathi,
D. Dill,
2005,
SPIN.
Shuvendu K. Lahiri,
Curtis von Veh,
M. Musuvathi,
2022,
ArXiv.
Madan Musuvathi,
Shaz Qadeer,
S. Qadeer,
2006,
LOPSTR.
Todd Mytkowicz,
Madan Musuvathi,
Saeed Maleki,
2017,
ArXiv.
Sebastian Burckhardt,
Mohamed Faouzi Atig,
Ahmed Bouajjani,
2010,
POPL '10.
Sebastian Burckhardt,
Madan Musuvathi,
Chris Dern,
2010,
PLDI '10.
Suman Nath,
M. Musuvathi,
Shan Lu,
2023,
EuroSys.
Sebastian Burckhardt,
Milo M. K. Martin,
Santosh Nagarakatte,
2012,
PLDI.
Sebastian Burckhardt,
Ganesh Gopalakrishnan,
Judith Bishop,
2011,
SIGCSE.
Sebastian Burckhardt,
Thomas Ball,
Madan Musuvathi,
2010,
TACAS.
Shaz Qadeer,
Madanlal Musuvathi,
S. Qadeer,
2007
.
Sebastian Burckhardt,
Mohamed Faouzi Atig,
Ahmed Bouajjani,
2012,
ESOP.
Sebastian Burckhardt,
Madanlal Musuvathi,
M. Musuvathi,
2008
.
Sebastian Burckhardt,
Madan Musuvathi,
Vasu Singh,
2010,
CC.