Mukund Raghothaman
发表
Mukund Raghothaman,
Richard Zhang,
2018
.
R. Alur,
Mukund Raghothaman,
2012
.
B. Livshits,
Rishabh Singh,
M. Veanes,
2014
.
Mukund Raghothaman,
2012
.
K. Heo,
Mukund Raghothaman,
Hyunsu Kim,
2022,
2022 IEEE/ACM 44th International Conference on Software Engineering (ICSE).
B. T. Loo,
M. Naik,
Haoxian Chen,
2023,
IEEE/ACM Transactions on Networking.
Mukund Raghothaman,
Mayur Naik,
Aalok Thakkar,
2021,
UIST.
Mukund Raghothaman,
Mukund Raghothaman,
2017
.
Rajeev Alur,
Garvit Juniwal,
Milo M. K. Martin,
2013,
2013 Formal Methods in Computer-Aided Design.
Viktor Kuncak,
Mukund Raghothaman,
Etienne Kneuss,
2017,
ArXiv.
Mukund Raghothaman,
Mayur Naik,
Xujie Si,
2019,
IJCAI.
Mukund Raghothaman,
Mayur Naik,
Jonathan Mendelson,
2019,
Proc. ACM Program. Lang..
Mukund Raghothaman,
Mayur Naik,
Kihong Heo,
2018,
PLDI.
Mukund Raghothaman,
Chungha Sung,
Jingbo Wang,
2021,
2021 IEEE/ACM 43rd International Conference on Software Engineering (ICSE).
Mukund Raghothaman,
Yi Wei,
Youssef Hamadi,
2015,
2016 IEEE/ACM 38th International Conference on Software Engineering (ICSE).
Mukund Raghothaman,
Abhishek Udupa,
Mukund Raghothaman,
2014,
ArXiv.
Rajeev Alur,
Milo M. K. Martin,
Mukund Raghothaman,
2014,
Haifa Verification Conference.
Le Song,
Mukund Raghothaman,
Mayur Naik,
2018,
NeurIPS.
Rajeev Alur,
Mukund Raghothaman,
Mayur Naik,
2021,
PLDI.
S. Khanna,
R. Alur,
Z. Ives,
2017,
PLDI 2017.
Rajeev Alur,
Mukund Raghothaman,
Dana Fisman,
2016,
ESOP.
Rajeev Alur,
Mukund Raghothaman,
Abhishek Udupa,
2015,
CAV.
Arjun Radhakrishna,
Mukund Raghothaman,
R. Samanta,
2023,
Proc. ACM Program. Lang..
Rajeev Alur,
Mukund Raghothaman,
Loris D'Antoni,
2015,
POPL.
Rajeev Alur,
Mukund Raghothaman,
Adam Freilich,
2014,
CSL-LICS.
Swabha Swayamdipta,
Mukund Raghothaman,
Amirmohammad Nazari,
2024,
ArXiv.