| 2026 |
— |
conf |
ASPLOS (2)
Changho Hwang, Peng Cheng, Roshan Dathathri, Abhinav Jangda, Saeed Maleki, Madan Musuvathi, Olli Saarikivi, Aashaka Shah, Ziyue Yang, Binyang Li, Caio Rocha, Qinghua Zhou, Mahdieh Ghazimirsaeed, Sreevatsa Anantharamu, Jithin Jose
|
| 2026 |
B |
ed. |
PPoPP
Tony Hosking, Madan Musuvathi, Kenjiro Taura
|
| 2025 |
A |
conf |
CGO
Jubi Taneja, Avery Laird, Cong Yan, Madan Musuvathi, Shuvendu K. Lahiri
|
| 2025 |
J |
jnl |
CoRR
Aashaka Shah, Abhinav Jangda, Binyang Li, Caio Rocha, Changho Hwang, Jithin Jose, Madan Musuvathi, Olli Saarikivi, Peng Cheng, Qinghua Zhou, Roshan Dathathri, Saeed Maleki, Ziyue Yang
|
| 2025 |
J |
jnl |
CoRR
Muhammad Usman Tariq, Abhinav Jangda, Angélica Moreira, Madan Musuvathi, Tyler Sorensen
|
| 2024 |
A |
conf |
CGO
Abhinav Jangda, Saeed Maleki, Maryam Mehri Dehnavi, Madan Musuvathi, Olli Saarikivi
|
| 2024 |
J |
jnl |
CoRR
Yuhan Liu, Esha Choukse, Shan Lu, Junchen Jiang, Madan Musuvathi
|
| 2024 |
— |
conf |
ICSE Companion
Sarah Fakhoury, Aaditya Naik, Georgios Sakkas, Saikat Chakraborty, Madan Musuvathi, Shuvendu K. Lahiri
|
| 2024 |
J |
jnl |
CoRR
Jubi Taneja, Avery Laird, Cong Yan, Madan Musuvathi, Shuvendu K. Lahiri
|
| 2024 |
— |
ed. |
ASPLOS (1)
Rajiv Gupta, Nael B. Abu-Ghazaleh, Madan Musuvathi, Dan Tsafrir
|
| 2024 |
— |
ed. |
ASPLOS (2)
Rajiv Gupta, Nael B. Abu-Ghazaleh, Madan Musuvathi, Dan Tsafrir
|
| 2024 |
— |
ed. |
ASPLOS (3)
Rajiv Gupta, Nael B. Abu-Ghazaleh, Madan Musuvathi, Dan Tsafrir
|
| 2024 |
— |
ed. |
ASPLOS (4)
Rajiv Gupta, Nael B. Abu-Ghazaleh, Madan Musuvathi, Dan Tsafrir
|
| 2023 |
J |
jnl |
CoRR
Abhinav Jangda, Saeed Maleki, Maryam Mehri Dehnavi, Madan Musuvathi, Olli Saarikivi
|
| 2023 |
A |
conf |
HotOS
Yiming Su, Chengcheng Wan, Utsav Sethi, Shan Lu, Madan Musuvathi, Suman Nath
|
| 2023 |
Misc |
conf |
NSDI
Aashaka Shah, Vijay Chidambaram, Meghan Cowan, Saeed Maleki, Madan Musuvathi, Todd Mytkowicz, Jacob Nelson, Olli Saarikivi
|
| 2023 |
J |
jnl |
CoRR
Sarah Fakhoury, Saikat Chakraborty, Madan Musuvathi, Shuvendu K. Lahiri
|
| 2021 |
A |
conf |
IPDPS
Gurbinder Gill, Roshan Dathathri, Saeed Maleki, Madan Musuvathi, Todd Mytkowicz, Olli Saarikivi
|
| 2021 |
— |
conf |
MLSys
Saeed Maleki, Madan Musuvathi, Todd Mytkowicz, Olli Saarikivi, Tianju Xu, Vadim Eksarevskiy, Jaliya Ekanayake, Emad Barsoum
|
| 2021 |
J |
jnl |
CoRR
Aashaka Shah, Vijay Chidambaram, Meghan Cowan, Saeed Maleki, Madan Musuvathi, Todd Mytkowicz, Jacob Nelson, Olli Saarikivi, Rachee Singh
|
| 2020 |
A* |
conf |
PLDI
Roshan Dathathri, Blagovesta Kostova, Olli Saarikivi, Wei Dai, Kim Laine, Madan Musuvathi
|
| 2020 |
J |
jnl |
CoRR
Sharadha Srinivasan, Madan Musuvathi
|
| 2020 |
J |
jnl |
CoRR
Saeed Maleki, Madan Musuvathi, Todd Mytkowicz, Olli Saarikivi, Tianju Xu, Vadim Eksarevskiy, Jaliya Ekanayake, Emad Barsoum
|
| 2020 |
J |
jnl |
CoRR
Zixian Cai, Zhengyang Liu, Saeed Maleki, Madan Musuvathi, Todd Mytkowicz, Jacob Nelson, Olli Saarikivi
|
| 2019 |
J |
jnl |
CoRR
Gurbinder Gill, Roshan Dathathri, Saeed Maleki, Madan Musuvathi, Todd Mytkowicz, Olli Saarikivi
|
| 2019 |
A* |
conf |
SOSP
Guoqing Harry Xu, Margus Veanes, Michael Barnett, Madan Musuvathi, Todd Mytkowicz, Ben Zorn, Huan He, Haibo Lin
|
| 2019 |
A |
conf |
HotOS
Haopeng Liu, Shan Lu, Madan Musuvathi, Suman Nath
|
| 2018 |
— |
conf |
ICSE (SEIP)
Marija Selakovic, Michael Barnett, Madan Musuvathi, Todd Mytkowicz
|
| 2018 |
— |
conf |
USENIX ATC
Liang Luo, Suman Nath, Lenin Ravindranath Sivalingam, Madan Musuvathi, Luis Ceze
|
| 2017 |
A* |
conf |
PLDI
Olli Saarikivi, Margus Veanes, Todd Mytkowicz, Madan Musuvathi
|
| 2015 |
— |
conf |
USENIX ATC
Jason Croft, Ratul Mahajan, Matthew Caesar, Madan Musuvathi
|
| 2013 |
A |
conf |
OOPSLA
Katherine E. Coons, Madan Musuvathi, Kathryn S. McKinley
|
| 2013 |
A |
conf |
HotOS
Zhenyu Guo, Sean McDirmid, Mao Yang, Li Zhuang, Pu Zhang, Yingwei Luo, Tom Bergan, Madan Musuvathi, Zheng Zhang, Lidong Zhou
|
| 2011 |
J |
jnl |
IEEE Softw.
Thomas Ball, Sebastian Burckhardt, Peli de Halleux, Madan Musuvathi, Shaz Qadeer
|
| 2008 |
A |
conf |
ESOP
Sumit Gulwani, Madan Musuvathi
|
| 2008 |
J |
jnl |
CoRR
Nikolaj S. Bjørner, Andreas Blass, Yuri Gurevich, Madan Musuvathi
|
| 2008 |
— |
conf |
PADTAD
Madan Musuvathi
|
| 2006 |
C |
conf |
LOPSTR
Madan Musuvathi, Shaz Qadeer
|
| 2005 |
A |
conf |
TACAS
K. Rustan M. Leino, Madan Musuvathi, Xinming Ou
|