| 2025 |
B |
conf |
FMCAD
Amirmohammad Nazari, Matin Amini, Mukund Raghothaman
|
| 2025 |
— |
conf |
SIGSOFT FSE Companion
Sima Arasteh, Georgios Nikitopoulos, Wei-Cheng Wu, Nicolaas Weideman, Aaron Portnoy, Mukund Raghothaman, Christophe Hauser
|
| 2025 |
J |
jnl |
CoRR
Sima Arasteh, Georgios Nikitopoulos, Wei-Cheng Wu, Nicolaas Weideman, Aaron Portnoy, Mukund Raghothaman, Christophe Hauser
|
| 2025 |
J |
jnl |
CoRR
Nicolaas Weideman, Sima Arasteh, Mukund Raghothaman, Jelena Mirkovic, Christophe Hauser
|
| 2025 |
— |
conf |
VMCAI (1)
Yuan Xia, Deepayan Sur, Aabha Shailesh Pingle, Jyotirmoy V. Deshmukh, Mukund Raghothaman, Srivatsan Ravi
|
| 2025 |
B |
conf |
FMCAD
Yuan Xia, Aabha Shailesh Pingle, Deepayan Sur, Srivatsan Ravi, Mukund Raghothaman, Jyotirmoy V. Deshmukh
|
| 2025 |
— |
conf |
APNet
Yongzheng Zhang, Haoxian Chen, Amirmohammad Nazari, Mukund Raghothaman
|
| 2025 |
Misc |
conf |
SAC
Yuan Xia, Aabha Shailesh Pingle, Deepayan Sur, Jyotirmoy Deshmukh, Mukund Raghothaman, Srivatsan Ravi
|
| 2025 |
J |
jnl |
Proc. ACM Program. Lang.
Yifei Huang, Matin Amini, Alexis Le Glaunec, Konstantinos Mamouras, Mukund Raghothaman
|
| 2025 |
J |
jnl |
CoRR
David Zhao, Pavle Subotic, Mukund Raghothaman, Bernhard Scholz
|
| 2025 |
J |
jnl |
Theory Pract. Log. Program.
David Zhao, Pavle Subotic, Mukund Raghothaman, Bernhard Scholz
|
| 2025 |
J |
jnl |
CoRR
Sima Arasteh, Pegah Jandaghi, Nicolaas Weideman, Dennis Perepech, Mukund Raghothaman, Christophe Hauser, Luis Garcia
|
| 2024 |
A |
conf |
ACSAC
Sima Arasteh, Jelena Mirkovic, Mukund Raghothaman, Christophe Hauser
|
| 2024 |
B |
conf |
VL/HCC
Amirmohammad Nazari, Swabha Swayamdipta, Souti Chattopadhyay, Mukund Raghothaman
|
| 2024 |
J |
jnl |
CoRR
Amirmohammad Nazari, Souti Chattopadhyay, Swabha Swayamdipta, Mukund Raghothaman
|
| 2024 |
Misc |
conf |
HotNets
Amirmohammad Nazari, Yongzheng Zhang, Mukund Raghothaman, Haoxian Chen
|
| 2024 |
J |
jnl |
CoRR
Yifei Huang, Matin Amini, Alexis Le Glaunec, Konstantinos Mamouras, Mukund Raghothaman
|
| 2024 |
— |
conf |
ICSE Companion
Amirmohammad Nazari, Souti Chattopadhyay, Swabha Swayamdipta, Mukund Raghothaman
|
| 2024 |
— |
conf |
EuroS&P Workshops
Ganesh Chennimalai Sankaran, Mukund Raghothaman, M. Patrick Collins
|
| 2024 |
J |
jnl |
CoRR
Sara Baradaran, Liyan Huang, Mukund Raghothaman, Weihang Wang
|
| 2024 |
J |
jnl |
CoRR
Michael Collins, Jyotirmoy V. Deshmukh, Dristi Dinesh, Mukund Raghothaman, Srivatsan Ravi, Yuan Xia
|
| 2023 |
C |
conf |
PADL
David Zhao, Pavle Subotic, Mukund Raghothaman, Bernhard Scholz
|
| 2023 |
J |
jnl |
CoRR
Yuan Xia, Jyotirmoy V. Deshmukh, Mukund Raghothaman, Srivatsan Ravi
|
| 2023 |
J |
jnl |
Proc. ACM Program. Lang.
Amirmohammad Nazari, Yifei Huang, Roopsha Samanta, Arjun Radhakrishna, Mukund Raghothaman
|
| 2023 |
J |
jnl |
Proc. ACM Program. Lang.
Aalok Thakkar, Nathaniel Sands, George Petrou, Rajeev Alur, Mayur Naik, Mukund Raghothaman
|
| 2023 |
J |
jnl |
IEEE/ACM Trans. Netw.
Haoxian Chen, Chenyuan Wu, Andrew Zhao, Mukund Raghothaman, Mayur Naik, Boon Thau Loo
|
| 2023 |
J |
jnl |
CoRR
Saswat Padhi, Elizabeth Polgreen, Mukund Raghothaman, Andrew Reynolds, Abhishek Udupa
|
| 2022 |
A* |
conf |
ICSE
Hyunsu Kim, Mukund Raghothaman, Kihong Heo
|
| 2021 |
— |
conf |
ESEC/SIGSOFT FSE
Tianyi Chen, Kihong Heo, Mukund Raghothaman
|
| 2021 |
A* |
conf |
ICSE
Jingbo Wang, Chungha Sung, Mukund Raghothaman, Chao Wang
|
| 2021 |
J |
jnl |
CoRR
Jingbo Wang, Chungha Sung, Mukund Raghothaman, Chao Wang
|
| 2021 |
A* |
conf |
PLDI
Aalok Thakkar, Aaditya Naik, Nathaniel Sands, Rajeev Alur, Mayur Naik, Mukund Raghothaman
|
| 2021 |
A* |
conf |
AAAI
Jonathan Mendelson, Aaditya Naik, Mukund Raghothaman, Mayur Naik
|
| 2021 |
A* |
conf |
UIST
Aaditya Naik, Jonathan Mendelson, Nathaniel Sands, Yuepeng Wang, Mayur Naik, Mukund Raghothaman
|
| 2021 |
C |
conf |
PPDP
David Zhao, Pavle Subotic, Mukund Raghothaman, Bernhard Scholz
|
| 2020 |
J |
jnl |
Proc. ACM Program. Lang.
Mukund Raghothaman, Jonathan Mendelson, David Zhao, Mayur Naik, Bernhard Scholz
|
| 2020 |
J |
jnl |
Theor. Comput. Sci.
Rajeev Alur, Dana Fisman, Konstantinos Mamouras, Mukund Raghothaman, Caleb Stanford
|
| 2019 |
A* |
conf |
PLDI
Kihong Heo, Mukund Raghothaman, Xujie Si, Mayur Naik
|
| 2019 |
J |
jnl |
CoRR
Xujie Si, Mukund Raghothaman, Kihong Heo, Mayur Naik
|
| 2019 |
A* |
conf |
IJCAI
Xujie Si, Mukund Raghothaman, Kihong Heo, Mayur Naik
|
| 2018 |
A* |
conf |
NeurIPS
Xujie Si, Hanjun Dai, Mukund Raghothaman, Mayur Naik, Le Song
|
| 2018 |
J |
jnl |
CoRR
Rajeev Alur, Dana Fisman, Konstantinos Mamouras, Mukund Raghothaman, Caleb Stanford
|
| 2018 |
A* |
conf |
PLDI
Mukund Raghothaman, Sulekha Kulkarni, Kihong Heo, Mayur Naik
|
| 2017 |
J |
jnl |
CoRR
Manos Koukoutos, Mukund Raghothaman, Etienne Kneuss, Viktor Kuncak
|
| 2017 |
A* |
conf |
PLDI
Konstantinos Mamouras, Mukund Raghothaman, Rajeev Alur, Zachary G. Ives, Sanjeev Khanna
|
| 2016 |
A |
conf |
ESOP
Rajeev Alur, Dana Fisman, Mukund Raghothaman
|
| 2016 |
A* |
conf |
ICSE
Mukund Raghothaman, Yi Wei, Youssef Hamadi
|
| 2015 |
— |
conf |
CAV (2)
Rajeev Alur, Mukund Raghothaman, Christos Stergiou, Stavros Tripakis, Abhishek Udupa
|
| 2015 |
J |
jnl |
CoRR
Rajeev Alur, Mukund Raghothaman, Christos Stergiou, Stavros Tripakis, Abhishek Udupa
|
| 2015 |
A* |
conf |
POPL
Rajeev Alur, Loris D'Antoni, Mukund Raghothaman
|
| 2015 |
J |
jnl |
CoRR
Mukund Raghothaman, Yi Wei, Youssef Hamadi
|
| 2015 |
— |
ch. |
Dependable Software Systems Engineering
Rajeev Alur, Rastislav Bodík, Eric Dallal, Dana Fisman, Pranav Garg, Garvit Juniwal, Hadas Kress-Gazit, P. Madhusudan, Milo M. K. Martin, Mukund Raghothaman, Shambwaditya Saha, Sanjit A. Seshia, Rishabh Singh, Armando Solar-Lezama, Emina Torlak, Abhishek Udupa
|
| 2014 |
J |
jnl |
CoRR
Mukund Raghothaman, Abhishek Udupa
|
| 2014 |
J |
jnl |
CoRR
Rajeev Alur, Adam Freilich, Mukund Raghothaman
|
| 2014 |
— |
conf |
CSL-LICS
Rajeev Alur, Adam Freilich, Mukund Raghothaman
|
| 2014 |
— |
conf |
Haifa Verification Conference
Rajeev Alur, Milo M. K. Martin, Mukund Raghothaman, Christos Stergiou, Stavros Tripakis, Abhishek Udupa
|
| 2014 |
J |
jnl |
CoRR
Rajeev Alur, Milo M. K. Martin, Mukund Raghothaman, Christos Stergiou, Stavros Tripakis, Abhishek Udupa
|
| 2013 |
J |
jnl |
CoRR
Rajeev Alur, Mukund Raghothaman
|
| 2013 |
— |
conf |
ICALP (2)
Rajeev Alur, Mukund Raghothaman
|
| 2013 |
A* |
conf |
LICS
Rajeev Alur, Loris D'Antoni, Jyotirmoy V. Deshmukh, Mukund Raghothaman, Yifei Yuan
|
| 2013 |
B |
conf |
FMCAD
Rajeev Alur, Rastislav Bodík, Garvit Juniwal, Milo M. K. Martin, Mukund Raghothaman, Sanjit A. Seshia, Rishabh Singh, Armando Solar-Lezama, Emina Torlak, Abhishek Udupa
|
| 2011 |
J |
jnl |
CoRR
Rajeev Alur, Loris D'Antoni, Jyotirmoy V. Deshmukh, Mukund Raghothaman, Yifei Yuan
|