Partner Research Manager
Bogdan Alexandru Stoica, Utsav Sethi , Yiming Su , Cyrus Zhou, Shan Lu, Jonathan Mace, Madan Musuvathi, Suman Nath
ACM SOSP 2024 | November 2024
Sarah Fakhoury, Saikat Chakraborty, Madan Musuvathi, Shuvendu Lahiri
2024 International Conference on Software Engineering | May 2024
Poster track
Saikat Chakraborty, Shuvendu Lahiri, Sarah Fakhoury, Madan Musuvathi, Akash Lal, Aseem Rastogi, Nikhil Swamy, Rahul Sharma
2023 Empirical Methods in Natural Language Processing | December 2023
EMNLP-Findings 2023
Yiming Su, Chengcheng Wan, Utsav Sethi, Shan Lu, Madan Musuvathi, Suman Nath
Hot Topics in Operating Systems (HotOS) | June 2023
Bogdan Alexandru Stoica, Shan Lu, Madan Musuvathi, Suman Nath
EuroSys'23 | May 2023
Jeevana Priya Inala, Chenglong Wang, Mei Yang, Andres Codas, Mark Encarnación, Shuvendu Lahiri, Madan Musuvathi, Jianfeng Gao
NeurIPS 2022 | November 2022
Shuvendu Lahiri, Sarah Fakhoury, Aaditya Naik, Georgios Sakkas, Saikat Chakraborty, Piali Choudhury, Curtis von Veh, Madan Musuvathi, Jeevana Priya Inala, Chenglong Wang, Jianfeng Gao
August 2022
Utsav Sethi, Haochen Pan, Shan Lu, Suman Nath, Madan Musuvathi
OSDI | June 2022
Meghan Cowan, Saeed Maleki, Madan Musuvathi, Olli Saarikivi, Yifan Xiong
February 2022
Aashaka Shah, Vijay Chidambaram, Meghan Cowan, Saeed Maleki, Madan Musuvathi, Todd Mytkowicz, Jacob Nelson, Olli Saarikivi, Rachee Singh
November 2021
Abhinav Jangda, Jun Huang, Guodong Liu, Amir Hossein Nodehi Sabet, Saeed Maleki, Youshan Miao, Madan Musuvathi, Todd Mytkowicz, Olli Saarikivi
ASPLOS 2022 | May 2021
Zixian Cai, Zhengyang Liu, Saeed Maleki, Madan Musuvathi, Todd Mytkowicz, Jacob Nelson, Olli Saarikivi
PPoPP 2021 | January 2021
Roshan Dathathri, Blagovesta Kostova, Olli Saarikivi, Wei Dai, Kim Laine, Madan Musuvathi
PLDI 2020 | December 2019
Guangpu Li, Shan Lu, Madan Musuvathi, Suman Nath, Rohan Padhye
ACM Symposium on Operating Systems Principles (SOSP) | October 2019
Best Paper Award
Guoqing Harry Xu, Margus Veanes (margus), Michael Barnett, Madan Musuvathi (madanm), Todd Mytkowicz (toddm), Ben Zorn (zorn), Huan He, Haibo Lin
Proceedings of the 27th ACM Symposium on Operating Systems Principles | October 2019
Roshan Dathathri, Olli Saarikivi, Hao Chen, Kim Laine, Kristin Lauter, Saeed Maleki, Madan Musuvathi, Todd Mytkowicz
PLDI 2019 | June 2019
Haopeng Liu, Shan Lu, Madan Musuvathi, Suman Nath
Workshop on Hot Topics in Operating Systems (HotOS) | May 2019
Liang Luo, Suman Nath, Lenin Ravindranath Sivalingam, Madan Musuvathi, Luis Ceze
USENIX Annual Technical Conference | July 2018
Saeed Maleki, Madan Musuvathi, Todd Mytkowicz
2018 International Parallel and Distributed Processing Symposium | May 2018
Olli Saarikivi, Margus Veanes, Todd Mytkowicz, Madan Musuvathi
ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2017) | June 2017
Olli Saarikivi, Margus Veanes, Todd Mytkowicz, Madan Musuvathi
MSR-TR-2016-55 | October 2016
Jonathan Mace, Peter Bodík, Madan Musuvathi, Rodrigo Fonseca, Krishnan Varadarajan
SIGCOMM 2016 | August 2016
Charith Mendis, Jasha Droppo, Saeed Maleki, Madan Musuvathi, Todd Mytkowicz, Geoffrey Zweig
ICASSP 2016 | March 2016
Saeed Maleki, Madan Musuvathi, Todd Mytkowicz
2016 Parallel Computing | March 2016
Veselin Raychev, Madan Musuvathi, Todd Mytkowicz
October 2015
Jason Croft, Ratul Mahajan, Matthew Caesar, Madan Musuvathi
2015 USENIX Annual Technical Conference, USENIX ATC '15, Santa Clara, CA, USA | July 2015
Yufei Ding, Yue Zhao, Xipeng Shen, Madanlal Musuvathi, Todd Mytkowicz, Madan Musuvathi
Proceedings of the 32nd International Conference on Machine Learning, ICML 2015, Lille, France, 6-11 July 2015 | July 2015
Yufei Ding, Xipeng Shen, Madanlal Musuvathi, Todd Mytkowicz, Madan Musuvathi
PVLDB | June 2015
Eduardo Cuervo, Alec Wolman, Landon P. Cox, Kiron Lebeck, Ali Razeen, Madan Musuvathi, Stefan Saroiu
MobiSys’15 | May 2015
Baris Kasikci, Cristiano Pereira, Gilles Pokam, Benjamin Schubert, Madanlal Musuvathi, George Candea, Madan Musuvathi
15th Workshop on Hot Topics in Operating Systems, HotOS XV, Kartause Ittingen, Switzerland, May 18-20, 2015 | May 2015
Eduardo Cuervo Laffaye, Alec Wolman, Landon Cox, Kiron Lebeck, Ali Razeen, Stefan Saroiu, Madan Musuvathi
MobiSys | May 2015
Jonathan Mace, Peter Bodík, Rodrigo Fonseca, Madan Musuvathi
NSDI | May 2015
Daniel Marino, Todd D. Millstein, Madanlal Musuvathi, Satish Narayanasamy, Abhayendra Singh, Madan Musuvathi
1st Summit on Advances in Programming Languages, SNAPL 2015, May 3-6, 2015, Asilomar, California, USA | May 2015
Jonathan Mace, Peter Bodík, Rodrigo Fonseca, Madan Musuvathi
2014 Hot Topics in System Dependability | October 2014
Jonathan Mace, Peter Bodík, Rodrigo Fonseca, Madanlal Musuvathi, Madan Musuvathi
HotDep'14: Proceedings of the 10th USENIX conference on Hot Topics in System Dependability | October 2014
Todd Mytkowicz, Madan Musuvathi, Wolfram Schulte
Architectural Support for Programming Languages and Operating Systems (ASPLOS) | March 2014
Saeed Maleki, Madan Musuvathi, Todd Mytkowicz
2014 ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming | February 2014
DOI PDF Publication Publication Publication Publication Publication
Saeed Maleki, Madan Musuvathi, Todd Mytkowicz
February 2014
Katherine E. Coons, Madan Musuvathi, Kathryn S McKinley
ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA) | October 2013
International Symposium on Memory Management, ISMM '13, Seattle, WA, USA | June 2013
Zhenyu Guo, Sean McDirmid, Mao Yang, Li Zhuang, Pu Zhang, Yingwei Luo, Tom Bergan, Peter Bodík, Madan Musuvathi, Zheng Zhang, Lidong Zhou
HotOS | May 2013
HotOS
Abhayendra Singh, Satish Narayanasamy, Daniel Marino, Todd Millstein, Madanlal Musuvathi, Madan Musuvathi
IEEE Micro | May 2013, Vol 33(3): pp. 96-104
John Erickson, Stephen N. Freund, Madanlal Musuvathi, Madan Musuvathi
Runtime Verification, Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers | September 2012
Santosh Nagarakatte, Sebastian Burckhardt, Milo M. K. Martin, Madan Musuvathi
Programming Languages Design and Implementation | July 2012
Programming Languages Design and Implementation
Abhayendra Singh, Satish Narayanasamy, Daniel Marino, Todd Millstein, Madanlal Musuvathi, Madan Musuvathi
International Symposium on Computer Architecture | June 2012
, Ratul Mahajan, Matthew Caesar, Madan Musuvathi
MSR-TR-2012-131 | May 2012
Sebastian Burckhardt, Alexey Gotsman, Madanlal Musuvathi, Hongseok Yang, Madan Musuvathi
21st European Symposium on Programming (ESOP 2012) | March 2012
21st European Symposium on Programming (ESOP 2012)
Mohamed Faouzi Atig, Ahmed Bouajjani, Sebastian Burckhardt, Madanlal Musuvathi, Madan Musuvathi
21st European Symposium on Programming (ESOP 2012) | March 2012
21st European Symposium on Programming (ESOP 2012)
Alexey Gotsman, Madan Musuvathi, Hongseok Yang
International Symposium on Distributed Computing (DISC '12) | January 2012
Todd Millstein, Ramesh Govindan, Madan Musuvathi, Nupur Kothari, Ratul Mahajan
ACM SIGCOMM | August 2011
Daniel Marino, Abhayendra Singh, Todd Millstein, Madanlal Musuvathi, Satish Narayanasamy, Madan Musuvathi
Programming Language Design and Implementation (PLDI) 2011 | June 2011
Sebastian Burckhardt, Madan Musuvathi, Shaz Qadeer, Peli de Halleux, Thomas Ball
IEEE Software | May 2011, Vol 28: pp. 75-83
Abhayendra Singh, Daniel Marino, Satish Narayanasamy, Todd Millstein, Madanlal Musuvathi, Madan Musuvathi
Proceedings of the Sixteenth International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS 2011) | March 2011
John Erickson, Madan Musuvathi, Sebastian Burckhardt, Kirk Olynyk
Operating System Design and Implementation (OSDI'10) | October 2010
Operating System Design and Implementation (OSDI'10)
Sebastian Burckhardt, Chris Dern, Madan Musuvathi, Roy Tan
Programming Language Design and Implementation (PLDI) | June 2010
Programming Language Design and Implementation (PLDI)
Abhayendra Singh, Todd Millstein, Madanlal Musuvathi, Satish Narayanasamy, Daniel Marino, Madan Musuvathi
International Conference on Programming Language Design and Implementation (PLDI). | June 2010
International Conference on Programming Language Design and Implementation (PLDI).
Thomas Ball, Sebastian Burckhardt, Katherine Coons, Madan Musuvathi, Shaz Qadeer
Conference on Tools and Algorithms for the Construction and Analysis of Systems | April 2010
Sebastian Burckhardt, Madanlal Musuvathi, Vasu Singh, Madan Musuvathi
CC 2010: International Conference on Compiler Construction | March 2010
CC 2010: International Conference on Compiler Construction
Madan Musuvathi, Sebastian Burckhardt, Pravesh Kothari,
Proceedings of the Fifteenth International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS 2010) | March 2010
Proceedings of the Fifteenth International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS 2010)
Mohamed Faouzi Atig, Ahmed Bouajjani, Sebastian Burckhardt, Madanlal Musuvathi, Madan Musuvathi
Proceedings of the 37th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages | January 2010
Proceedings of the 37th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
Katherine E. Coons, Madan Musuvathi, Sebastian Burckhardt
Proceedings of the 15th ACM SIGPLAN Annual Symposium on Principles and Practice of Parallel Programming | January 2010
Proceedings of the 15th ACM SIGPLAN Annual Symposium on Principles and Practice of Parallel Programming
Madan Musuvathi, Sebastian Burckhardt, Pravesh Kothari,
MSR-TR-2010-3 | January 2010
Emre Kiciman, Ben Livshits, Madan Musuvathi, Kevin C. Webb
ACM Symposium on Cloud Computing | January 2010
Thomas Ball, Sebastian Burckhardt, Katherine Coons, Madan Musuvathi, Shaz Qadeer
MSR-TR-2009-143 | October 2009
Daniel Marino, Madanlal Musuvathi, Satish Narayanasamy, Madan Musuvathi
Conference on Programming Language Design and Implementation (PLDI '09) | June 2009
Emre Kiciman, Ben Livshits, Madan Musuvathi
12th Workshop on Hot Topics in Operating Systems | May 2009
12th Workshop on Hot Topics in Operating Systems
Alex Rasmussen, Emre Kiciman, Ben Livshits, Madan Musuvathi
EuroSys 2009 | April 2009
Madan Musuvathi, Shaz Qadeer, Thomas Ball, Gerard Basler, Piramanayakam Arumuga Nainar, Iulian Neamtiu
OSDI 08: Eigth Symposium on Operating Systems Design & Implementation | December 2008
Daniel Marino, Madan Musuvathi, Satish Narayanasamy
MSR-TR-2008-175 | November 2008
Sebastian Burckhardt, Madanlal Musuvathi, Vasu singh, Madan Musuvathi
MSR-TR-2008-171 | November 2008
Milan Stanojevic, Ratul Mahajan, Todd Millstein, Madan Musuvathi
in HotNets '08, Seventh ACM Workship on Hot Topics in Networks | October 2008
in HotNets '08, Seventh ACM Workship on Hot Topics in Networks
Nikolaj Bjørner, Andreas Blass, Yuri Gurevich, Madan Musuvathi
MSR-TR-2008-140 | October 2008
Sebastian Burckhardt, Madan Musuvathi
Computer-Aided Verification (CAV) | July 2008
The files above are full-text pdf, and the original powerpoint presentation from CAV. See also the companion tech report with the same title, it has additional material (including equivalence proofs for operational/axiomatic memory models of SC and TSO) in the appendix.
Sebastian Burckhardt, Madan Musuvathi
July 2008
Workshop on Exploiting Concurrency Efficiently and Correctly (EC^2)
Madanlal Musuvathi, Shaz Qadeer, Madan Musuvathi
PLDI 08: Programming Language Design and Implementation | June 2008
PLDI 08: Programming Language Design and Implementation
Sumit Gulwani, Madan Musuvathi
ESOP'08/ETAPS'08 Proceedings of the Theory and Practice of Software, 17th European conference on Programming Languages and Systems | March 2008
ISBN: 3-540-78738-0 978-3-540-78738-9
Sebastian Burckhardt, Madan Musuvathi
MSR-TR-2008-12 | January 2008
A shorter version of this TR appeared in CAV (Computer-Aided Verification) 2008.
Madan Musuvathi, Shaz Qadeer, Thomas Ball
MSR-TR-2007-149 | November 2007
Madanlal Musuvathi, Shaz Qadeer, Madan Musuvathi
PLDI 07: Programming Language Design and Implementation | June 2007
PLDI 07: Programming Language Design and Implementation
Madan Musuvathi, Shaz Qadeer
MSR-TR-2007-14 | January 2007
Madan Musuvathi, Shaz Qadeer
MSR-TR-2007-12 | January 2007
Shuvendu Lahiri, Madan Musuvathi
MSR-TR-2006-47 | April 2006
Shuvendu Lahiri, Madanlal Musuvathi, Madan Musuvathi
Electr. Notes Theor. Comput. Sci. | January 2006, Vol 144: pp. 27-41
Shuvendu Lahiri, Madan Musuvathi
Automated Reasoning, Third International Joint Conference (IJCAR '06) | January 2006
ISBN: 3-540-37187-7
Thomas Ball, Shuvendu Lahiri, Madanlal Musuvathi, Thomas Ball, Madan Musuvathi
MSR-TR-2005-137 | October 2005
Logic for Programming, Artificial Intelligence, and Reasoning (LPAR '05)
Madanlal Musuvathi, David L. Dill, Madan Musuvathi
SPIN 05: SPIN Workshop | August 2005
Domagoj Babic, Madan Musuvathi
MSR-TR-2005-114 | August 2005
Greta Yorsh, Madan Musuvathi
MSR-TR-2004-108 | July 2005
in CADE 2005: Twentieth International Conference on Automated Deduction.
Shuvendu Lahiri, Madan Musuvathi
MSR-TR-2005-67 | May 2005
Frontiers of Combining Systems (FroCos '05)
Shuvendu Lahiri, Madan Musuvathi
MSR-TR-2005-61 | May 2005
Rustan Leino, Madan Musuvathi, Xinmin Ou
in TACAS 2005: Eleventh Conference on Tools and Algorithms for the Construction and Analysis of Software | April 2005
Junfeng Yang, Paul Twohey, Dawson R. Engler, Madanlal Musuvathi, Madan Musuvathi
ACM Transactions on Computer Systems, OSDI 04: Sixth Symposium on Operating Systems Design & Implementation | December 2004
OSDI 04: Sixth Symposium on Operating Systems Design & Implementation
Rustan Leino, Madan Musuvathi, Xinming Ou
MSR-TR-2004-109 | October 2004
Madan Musuvathi, David L. Dill
MSR-TR-2004-37 | April 2004
Madan Musuvathi, Dawson R. Engler
Electronic Notes in Theoretical Computer Science | July 2003, Vol 89(3)
Madanlal Musuvathi, David Park, Andy Chou, Dawson R. Engler, David L. Dill, Madan Musuvathi
OSDI 02: Fifth Symposium on Operating Systems Design and Implementation | December 2002
OSDI 02: Fifth Symposium on Operating Systems Design and Implementation
Bogdan Alexandru Stoica, Utsav Sethi , Yiming Su , Cyrus Zhou, Shan Lu, Jonathan Mace, Madan Musuvathi, Suman Nath
ACM SOSP 2024 | November 2024
Yiming Su, Chengcheng Wan, Utsav Sethi, Shan Lu, Madan Musuvathi, Suman Nath
Hot Topics in Operating Systems (HotOS) | June 2023
Bogdan Alexandru Stoica, Shan Lu, Madan Musuvathi, Suman Nath
EuroSys'23 | May 2023
Utsav Sethi, Haochen Pan, Shan Lu, Suman Nath, Madan Musuvathi
OSDI | June 2022
Meghan Cowan, Saeed Maleki, Madan Musuvathi, Olli Saarikivi, Yifan Xiong
February 2022
Aashaka Shah, Vijay Chidambaram, Meghan Cowan, Saeed Maleki, Madan Musuvathi, Todd Mytkowicz, Jacob Nelson, Olli Saarikivi, Rachee Singh
November 2021
Abhinav Jangda, Jun Huang, Guodong Liu, Amir Hossein Nodehi Sabet, Saeed Maleki, Youshan Miao, Madan Musuvathi, Todd Mytkowicz, Olli Saarikivi
ASPLOS 2022 | May 2021
Zixian Cai, Zhengyang Liu, Saeed Maleki, Madan Musuvathi, Todd Mytkowicz, Jacob Nelson, Olli Saarikivi
PPoPP 2021 | January 2021
Guangpu Li, Shan Lu, Madan Musuvathi, Suman Nath, Rohan Padhye
ACM Symposium on Operating Systems Principles (SOSP) | October 2019
Best Paper Award
Haopeng Liu, Shan Lu, Madan Musuvathi, Suman Nath
Workshop on Hot Topics in Operating Systems (HotOS) | May 2019
Liang Luo, Suman Nath, Lenin Ravindranath Sivalingam, Madan Musuvathi, Luis Ceze
USENIX Annual Technical Conference | July 2018
Jonathan Mace, Peter Bodík, Madan Musuvathi, Rodrigo Fonseca, Krishnan Varadarajan
SIGCOMM 2016 | August 2016
Veselin Raychev, Madan Musuvathi, Todd Mytkowicz
October 2015
Jason Croft, Ratul Mahajan, Matthew Caesar, Madan Musuvathi
2015 USENIX Annual Technical Conference, USENIX ATC '15, Santa Clara, CA, USA | July 2015
Yufei Ding, Yue Zhao, Xipeng Shen, Madanlal Musuvathi, Todd Mytkowicz, Madan Musuvathi
Proceedings of the 32nd International Conference on Machine Learning, ICML 2015, Lille, France, 6-11 July 2015 | July 2015
Eduardo Cuervo, Alec Wolman, Landon P. Cox, Kiron Lebeck, Ali Razeen, Madan Musuvathi, Stefan Saroiu
MobiSys’15 | May 2015
Eduardo Cuervo Laffaye, Alec Wolman, Landon Cox, Kiron Lebeck, Ali Razeen, Stefan Saroiu, Madan Musuvathi
MobiSys | May 2015
Jonathan Mace, Peter Bodík, Rodrigo Fonseca, Madan Musuvathi
NSDI | May 2015
Baris Kasikci, Cristiano Pereira, Gilles Pokam, Benjamin Schubert, Madanlal Musuvathi, George Candea, Madan Musuvathi
15th Workshop on Hot Topics in Operating Systems, HotOS XV, Kartause Ittingen, Switzerland, May 18-20, 2015 | May 2015
Jonathan Mace, Peter Bodík, Rodrigo Fonseca, Madan Musuvathi
2014 Hot Topics in System Dependability | October 2014
Jonathan Mace, Peter Bodík, Rodrigo Fonseca, Madanlal Musuvathi, Madan Musuvathi
HotDep'14: Proceedings of the 10th USENIX conference on Hot Topics in System Dependability | October 2014
Todd Mytkowicz, Madan Musuvathi, Wolfram Schulte
Architectural Support for Programming Languages and Operating Systems (ASPLOS) | March 2014
Saeed Maleki, Madan Musuvathi, Todd Mytkowicz
February 2014
Zhenyu Guo, Sean McDirmid, Mao Yang, Li Zhuang, Pu Zhang, Yingwei Luo, Tom Bergan, Peter Bodík, Madan Musuvathi, Zheng Zhang, Lidong Zhou
HotOS | May 2013
HotOS
Abhayendra Singh, Satish Narayanasamy, Daniel Marino, Todd Millstein, Madanlal Musuvathi, Madan Musuvathi
IEEE Micro | May 2013, Vol 33(3): pp. 96-104
, Ratul Mahajan, Matthew Caesar, Madan Musuvathi
MSR-TR-2012-131 | May 2012
Todd Millstein, Ramesh Govindan, Madan Musuvathi, Nupur Kothari, Ratul Mahajan
ACM SIGCOMM | August 2011
Abhayendra Singh, Daniel Marino, Satish Narayanasamy, Todd Millstein, Madanlal Musuvathi, Madan Musuvathi
Proceedings of the Sixteenth International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS 2011) | March 2011
Emre Kiciman, Ben Livshits, Madan Musuvathi, Kevin C. Webb
ACM Symposium on Cloud Computing | January 2010
Madan Musuvathi, Sebastian Burckhardt, Pravesh Kothari,
MSR-TR-2010-3 | January 2010
Thomas Ball, Sebastian Burckhardt, Katherine Coons, Madan Musuvathi, Shaz Qadeer
MSR-TR-2009-143 | October 2009
Alex Rasmussen, Emre Kiciman, Ben Livshits, Madan Musuvathi
EuroSys 2009 | April 2009
Madan Musuvathi, Shaz Qadeer, Thomas Ball, Gerard Basler, Piramanayakam Arumuga Nainar, Iulian Neamtiu
OSDI 08: Eigth Symposium on Operating Systems Design & Implementation | December 2008
Milan Stanojevic, Ratul Mahajan, Todd Millstein, Madan Musuvathi
in HotNets '08, Seventh ACM Workship on Hot Topics in Networks | October 2008
in HotNets '08, Seventh ACM Workship on Hot Topics in Networks
Madanlal Musuvathi, Shaz Qadeer, Madan Musuvathi
PLDI 08: Programming Language Design and Implementation | June 2008
PLDI 08: Programming Language Design and Implementation
Madan Musuvathi, Shaz Qadeer, Thomas Ball
MSR-TR-2007-149 | November 2007
Madan Musuvathi, Shaz Qadeer
MSR-TR-2007-12 | January 2007
Madanlal Musuvathi, David Park, Andy Chou, Dawson R. Engler, David L. Dill, Madan Musuvathi
OSDI 02: Fifth Symposium on Operating Systems Design and Implementation | December 2002
OSDI 02: Fifth Symposium on Operating Systems Design and Implementation
Sarah Fakhoury, Saikat Chakraborty, Madan Musuvathi, Shuvendu Lahiri
2024 International Conference on Software Engineering | May 2024
Poster track
Saikat Chakraborty, Shuvendu Lahiri, Sarah Fakhoury, Madan Musuvathi, Akash Lal, Aseem Rastogi, Nikhil Swamy, Rahul Sharma
2023 Empirical Methods in Natural Language Processing | December 2023
EMNLP-Findings 2023
Jeevana Priya Inala, Chenglong Wang, Mei Yang, Andres Codas, Mark Encarnación, Shuvendu Lahiri, Madan Musuvathi, Jianfeng Gao
NeurIPS 2022 | November 2022
Shuvendu Lahiri, Sarah Fakhoury, Aaditya Naik, Georgios Sakkas, Saikat Chakraborty, Piali Choudhury, Curtis von Veh, Madan Musuvathi, Jeevana Priya Inala, Chenglong Wang, Jianfeng Gao
August 2022
Meghan Cowan, Saeed Maleki, Madan Musuvathi, Olli Saarikivi, Yifan Xiong
February 2022
Aashaka Shah, Vijay Chidambaram, Meghan Cowan, Saeed Maleki, Madan Musuvathi, Todd Mytkowicz, Jacob Nelson, Olli Saarikivi, Rachee Singh
November 2021
Abhinav Jangda, Jun Huang, Guodong Liu, Amir Hossein Nodehi Sabet, Saeed Maleki, Youshan Miao, Madan Musuvathi, Todd Mytkowicz, Olli Saarikivi
ASPLOS 2022 | May 2021
Zixian Cai, Zhengyang Liu, Saeed Maleki, Madan Musuvathi, Todd Mytkowicz, Jacob Nelson, Olli Saarikivi
PPoPP 2021 | January 2021
Guoqing Harry Xu, Margus Veanes (margus), Michael Barnett, Madan Musuvathi (madanm), Todd Mytkowicz (toddm), Ben Zorn (zorn), Huan He, Haibo Lin
Proceedings of the 27th ACM Symposium on Operating Systems Principles | October 2019
Guangpu Li, Shan Lu, Madan Musuvathi, Suman Nath, Rohan Padhye
ACM Symposium on Operating Systems Principles (SOSP) | October 2019
Best Paper Award
Roshan Dathathri, Olli Saarikivi, Hao Chen, Kim Laine, Kristin Lauter, Saeed Maleki, Madan Musuvathi, Todd Mytkowicz
PLDI 2019 | June 2019
Saeed Maleki, Madan Musuvathi, Todd Mytkowicz
2018 International Parallel and Distributed Processing Symposium | May 2018
Olli Saarikivi, Margus Veanes, Todd Mytkowicz, Madan Musuvathi
ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2017) | June 2017
Olli Saarikivi, Margus Veanes, Todd Mytkowicz, Madan Musuvathi
MSR-TR-2016-55 | October 2016
Saeed Maleki, Madan Musuvathi, Todd Mytkowicz
2016 Parallel Computing | March 2016
Veselin Raychev, Madan Musuvathi, Todd Mytkowicz
October 2015
Jason Croft, Ratul Mahajan, Matthew Caesar, Madan Musuvathi
2015 USENIX Annual Technical Conference, USENIX ATC '15, Santa Clara, CA, USA | July 2015
Yufei Ding, Yue Zhao, Xipeng Shen, Madanlal Musuvathi, Todd Mytkowicz, Madan Musuvathi
Proceedings of the 32nd International Conference on Machine Learning, ICML 2015, Lille, France, 6-11 July 2015 | July 2015
Yufei Ding, Xipeng Shen, Madanlal Musuvathi, Todd Mytkowicz, Madan Musuvathi
PVLDB | June 2015
Daniel Marino, Todd D. Millstein, Madanlal Musuvathi, Satish Narayanasamy, Abhayendra Singh, Madan Musuvathi
1st Summit on Advances in Programming Languages, SNAPL 2015, May 3-6, 2015, Asilomar, California, USA | May 2015
Baris Kasikci, Cristiano Pereira, Gilles Pokam, Benjamin Schubert, Madanlal Musuvathi, George Candea, Madan Musuvathi
15th Workshop on Hot Topics in Operating Systems, HotOS XV, Kartause Ittingen, Switzerland, May 18-20, 2015 | May 2015
Todd Mytkowicz, Madan Musuvathi, Wolfram Schulte
Architectural Support for Programming Languages and Operating Systems (ASPLOS) | March 2014
Saeed Maleki, Madan Musuvathi, Todd Mytkowicz
2014 ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming | February 2014
DOI PDF Publication Publication Publication Publication Publication
Saeed Maleki, Madan Musuvathi, Todd Mytkowicz
February 2014
International Symposium on Memory Management, ISMM '13, Seattle, WA, USA | June 2013
Abhayendra Singh, Satish Narayanasamy, Daniel Marino, Todd Millstein, Madanlal Musuvathi, Madan Musuvathi
IEEE Micro | May 2013, Vol 33(3): pp. 96-104
John Erickson, Stephen N. Freund, Madanlal Musuvathi, Madan Musuvathi
Runtime Verification, Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers | September 2012
Santosh Nagarakatte, Sebastian Burckhardt, Milo M. K. Martin, Madan Musuvathi
Programming Languages Design and Implementation | July 2012
Programming Languages Design and Implementation
Abhayendra Singh, Satish Narayanasamy, Daniel Marino, Todd Millstein, Madanlal Musuvathi, Madan Musuvathi
International Symposium on Computer Architecture | June 2012
Sebastian Burckhardt, Alexey Gotsman, Madanlal Musuvathi, Hongseok Yang, Madan Musuvathi
21st European Symposium on Programming (ESOP 2012) | March 2012
21st European Symposium on Programming (ESOP 2012)
Mohamed Faouzi Atig, Ahmed Bouajjani, Sebastian Burckhardt, Madanlal Musuvathi, Madan Musuvathi
21st European Symposium on Programming (ESOP 2012) | March 2012
21st European Symposium on Programming (ESOP 2012)
Alexey Gotsman, Madan Musuvathi, Hongseok Yang
International Symposium on Distributed Computing (DISC '12) | January 2012
Todd Millstein, Ramesh Govindan, Madan Musuvathi, Nupur Kothari, Ratul Mahajan
ACM SIGCOMM | August 2011
Daniel Marino, Abhayendra Singh, Todd Millstein, Madanlal Musuvathi, Satish Narayanasamy, Madan Musuvathi
Programming Language Design and Implementation (PLDI) 2011 | June 2011
Sebastian Burckhardt, Madan Musuvathi, Shaz Qadeer, Peli de Halleux, Thomas Ball
IEEE Software | May 2011, Vol 28: pp. 75-83
Abhayendra Singh, Daniel Marino, Satish Narayanasamy, Todd Millstein, Madanlal Musuvathi, Madan Musuvathi
Proceedings of the Sixteenth International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS 2011) | March 2011
John Erickson, Madan Musuvathi, Sebastian Burckhardt, Kirk Olynyk
Operating System Design and Implementation (OSDI'10) | October 2010
Operating System Design and Implementation (OSDI'10)
Sebastian Burckhardt, Chris Dern, Madan Musuvathi, Roy Tan
Programming Language Design and Implementation (PLDI) | June 2010
Programming Language Design and Implementation (PLDI)
Abhayendra Singh, Todd Millstein, Madanlal Musuvathi, Satish Narayanasamy, Daniel Marino, Madan Musuvathi
International Conference on Programming Language Design and Implementation (PLDI). | June 2010
International Conference on Programming Language Design and Implementation (PLDI).
Thomas Ball, Sebastian Burckhardt, Katherine Coons, Madan Musuvathi, Shaz Qadeer
Conference on Tools and Algorithms for the Construction and Analysis of Systems | April 2010
Sebastian Burckhardt, Madanlal Musuvathi, Vasu Singh, Madan Musuvathi
CC 2010: International Conference on Compiler Construction | March 2010
CC 2010: International Conference on Compiler Construction
Madan Musuvathi, Sebastian Burckhardt, Pravesh Kothari,
Proceedings of the Fifteenth International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS 2010) | March 2010
Proceedings of the Fifteenth International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS 2010)
Mohamed Faouzi Atig, Ahmed Bouajjani, Sebastian Burckhardt, Madanlal Musuvathi, Madan Musuvathi
Proceedings of the 37th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages | January 2010
Proceedings of the 37th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
Katherine E. Coons, Madan Musuvathi, Sebastian Burckhardt
Proceedings of the 15th ACM SIGPLAN Annual Symposium on Principles and Practice of Parallel Programming | January 2010
Proceedings of the 15th ACM SIGPLAN Annual Symposium on Principles and Practice of Parallel Programming
Madan Musuvathi, Sebastian Burckhardt, Pravesh Kothari,
MSR-TR-2010-3 | January 2010
Thomas Ball, Sebastian Burckhardt, Katherine Coons, Madan Musuvathi, Shaz Qadeer
MSR-TR-2009-143 | October 2009
Daniel Marino, Madanlal Musuvathi, Satish Narayanasamy, Madan Musuvathi
Conference on Programming Language Design and Implementation (PLDI '09) | June 2009
Emre Kiciman, Ben Livshits, Madan Musuvathi
12th Workshop on Hot Topics in Operating Systems | May 2009
12th Workshop on Hot Topics in Operating Systems
Alex Rasmussen, Emre Kiciman, Ben Livshits, Madan Musuvathi
EuroSys 2009 | April 2009
Madan Musuvathi, Shaz Qadeer, Thomas Ball, Gerard Basler, Piramanayakam Arumuga Nainar, Iulian Neamtiu
OSDI 08: Eigth Symposium on Operating Systems Design & Implementation | December 2008
Sebastian Burckhardt, Madanlal Musuvathi, Vasu singh, Madan Musuvathi
MSR-TR-2008-171 | November 2008
Daniel Marino, Madan Musuvathi, Satish Narayanasamy
MSR-TR-2008-175 | November 2008
Milan Stanojevic, Ratul Mahajan, Todd Millstein, Madan Musuvathi
in HotNets '08, Seventh ACM Workship on Hot Topics in Networks | October 2008
in HotNets '08, Seventh ACM Workship on Hot Topics in Networks
Sebastian Burckhardt, Madan Musuvathi
Computer-Aided Verification (CAV) | July 2008
The files above are full-text pdf, and the original powerpoint presentation from CAV. See also the companion tech report with the same title, it has additional material (including equivalence proofs for operational/axiomatic memory models of SC and TSO) in the appendix.
Sebastian Burckhardt, Madan Musuvathi
July 2008
Workshop on Exploiting Concurrency Efficiently and Correctly (EC^2)
Sebastian Burckhardt, Madan Musuvathi
MSR-TR-2008-12 | January 2008
A shorter version of this TR appeared in CAV (Computer-Aided Verification) 2008.
Madanlal Musuvathi, Shaz Qadeer, Madan Musuvathi
PLDI 07: Programming Language Design and Implementation | June 2007
PLDI 07: Programming Language Design and Implementation
Madan Musuvathi, Shaz Qadeer
MSR-TR-2007-14 | January 2007
Thomas Ball, Shuvendu Lahiri, Madanlal Musuvathi, Thomas Ball, Madan Musuvathi
MSR-TR-2005-137 | October 2005
Logic for Programming, Artificial Intelligence, and Reasoning (LPAR '05)
Madan Musuvathi, Dawson R. Engler
Electronic Notes in Theoretical Computer Science | July 2003, Vol 89(3)
Madanlal Musuvathi, David Park, Andy Chou, Dawson R. Engler, David L. Dill, Madan Musuvathi
OSDI 02: Fifth Symposium on Operating Systems Design and Implementation | December 2002
OSDI 02: Fifth Symposium on Operating Systems Design and Implementation
Saikat Chakraborty, Shuvendu Lahiri, Sarah Fakhoury, Madan Musuvathi, Akash Lal, Aseem Rastogi, Nikhil Swamy, Rahul Sharma
2023 Empirical Methods in Natural Language Processing | December 2023
EMNLP-Findings 2023
Jeevana Priya Inala, Chenglong Wang, Mei Yang, Andres Codas, Mark Encarnación, Shuvendu Lahiri, Madan Musuvathi, Jianfeng Gao
NeurIPS 2022 | November 2022
Yufei Ding, Yue Zhao, Xipeng Shen, Madanlal Musuvathi, Todd Mytkowicz, Madan Musuvathi
Proceedings of the 32nd International Conference on Machine Learning, ICML 2015, Lille, France, 6-11 July 2015 | July 2015
Yufei Ding, Xipeng Shen, Madanlal Musuvathi, Todd Mytkowicz, Madan Musuvathi
PVLDB | June 2015
Roshan Dathathri, Blagovesta Kostova, Olli Saarikivi, Wei Dai, Kim Laine, Madan Musuvathi
PLDI 2020 | December 2019
Roshan Dathathri, Olli Saarikivi, Hao Chen, Kim Laine, Kristin Lauter, Saeed Maleki, Madan Musuvathi, Todd Mytkowicz
PLDI 2019 | June 2019
Yufei Ding, Xipeng Shen, Madanlal Musuvathi, Todd Mytkowicz, Madan Musuvathi
PVLDB | June 2015
Katherine E. Coons, Madan Musuvathi, Kathryn S McKinley
ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA) | October 2013
Mohamed Faouzi Atig, Ahmed Bouajjani, Sebastian Burckhardt, Madanlal Musuvathi, Madan Musuvathi
Proceedings of the 37th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages | January 2010
Proceedings of the 37th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
Sumit Gulwani, Madan Musuvathi
ESOP'08/ETAPS'08 Proceedings of the Theory and Practice of Software, 17th European conference on Programming Languages and Systems | March 2008
ISBN: 3-540-78738-0 978-3-540-78738-9
Madanlal Musuvathi, Shaz Qadeer, Madan Musuvathi
PLDI 07: Programming Language Design and Implementation | June 2007
PLDI 07: Programming Language Design and Implementation
Madan Musuvathi, Shaz Qadeer
MSR-TR-2007-14 | January 2007
Shuvendu Lahiri, Madan Musuvathi
MSR-TR-2006-47 | April 2006
Shuvendu Lahiri, Madanlal Musuvathi, Madan Musuvathi
Electr. Notes Theor. Comput. Sci. | January 2006, Vol 144: pp. 27-41
Shuvendu Lahiri, Madan Musuvathi
Automated Reasoning, Third International Joint Conference (IJCAR '06) | January 2006
ISBN: 3-540-37187-7
Madanlal Musuvathi, David L. Dill, Madan Musuvathi
SPIN 05: SPIN Workshop | August 2005
Shuvendu Lahiri, Madan Musuvathi
MSR-TR-2005-67 | May 2005
Frontiers of Combining Systems (FroCos '05)
Shuvendu Lahiri, Madan Musuvathi
MSR-TR-2005-61 | May 2005
Rustan Leino, Madan Musuvathi, Xinmin Ou
in TACAS 2005: Eleventh Conference on Tools and Algorithms for the Construction and Analysis of Software | April 2005
Rustan Leino, Madan Musuvathi, Xinming Ou
MSR-TR-2004-109 | October 2004
Madan Musuvathi, David L. Dill
MSR-TR-2004-37 | April 2004
Madanlal Musuvathi, David Park, Andy Chou, Dawson R. Engler, David L. Dill, Madan Musuvathi
OSDI 02: Fifth Symposium on Operating Systems Design and Implementation | December 2002
OSDI 02: Fifth Symposium on Operating Systems Design and Implementation
Charith Mendis, Jasha Droppo, Saeed Maleki, Madan Musuvathi, Todd Mytkowicz, Geoffrey Zweig
ICASSP 2016 | March 2016
Greta Yorsh, Madan Musuvathi
MSR-TR-2004-108 | July 2005
in CADE 2005: Twentieth International Conference on Automated Deduction.
Eduardo Cuervo, Alec Wolman, Landon P. Cox, Kiron Lebeck, Ali Razeen, Madan Musuvathi, Stefan Saroiu
MobiSys’15 | May 2015
Todd Mytkowicz, Madan Musuvathi, Wolfram Schulte
Architectural Support for Programming Languages and Operating Systems (ASPLOS) | March 2014
Saeed Maleki, Madan Musuvathi, Todd Mytkowicz
February 2014
Abhayendra Singh, Daniel Marino, Satish Narayanasamy, Todd Millstein, Madanlal Musuvathi, Madan Musuvathi
Proceedings of the Sixteenth International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS 2011) | March 2011
Nikolaj Bjørner, Andreas Blass, Yuri Gurevich, Madan Musuvathi
MSR-TR-2008-140 | October 2008
Domagoj Babic, Madan Musuvathi
MSR-TR-2005-114 | August 2005
Junfeng Yang, Paul Twohey, Dawson R. Engler, Madanlal Musuvathi, Madan Musuvathi
ACM Transactions on Computer Systems, OSDI 04: Sixth Symposium on Operating Systems Design & Implementation | December 2004
OSDI 04: Sixth Symposium on Operating Systems Design & Implementation
Bogdan Alexandru Stoica, Utsav Sethi , Yiming Su , Cyrus Zhou, Shan Lu, Jonathan Mace, Madan Musuvathi, Suman Nath
ACM SOSP 2024 | November 2024
Sarah Fakhoury, Saikat Chakraborty, Madan Musuvathi, Shuvendu Lahiri
2024 International Conference on Software Engineering | May 2024
Poster track
Saikat Chakraborty, Shuvendu Lahiri, Sarah Fakhoury, Madan Musuvathi, Akash Lal, Aseem Rastogi, Nikhil Swamy, Rahul Sharma
2023 Empirical Methods in Natural Language Processing | December 2023
EMNLP-Findings 2023
Yiming Su, Chengcheng Wan, Utsav Sethi, Shan Lu, Madan Musuvathi, Suman Nath
Hot Topics in Operating Systems (HotOS) | June 2023
Bogdan Alexandru Stoica, Shan Lu, Madan Musuvathi, Suman Nath
EuroSys'23 | May 2023
Jeevana Priya Inala, Chenglong Wang, Mei Yang, Andres Codas, Mark Encarnación, Shuvendu Lahiri, Madan Musuvathi, Jianfeng Gao
NeurIPS 2022 | November 2022
Utsav Sethi, Haochen Pan, Shan Lu, Suman Nath, Madan Musuvathi
OSDI | June 2022
Abhinav Jangda, Jun Huang, Guodong Liu, Amir Hossein Nodehi Sabet, Saeed Maleki, Youshan Miao, Madan Musuvathi, Todd Mytkowicz, Olli Saarikivi
ASPLOS 2022 | May 2021
Zixian Cai, Zhengyang Liu, Saeed Maleki, Madan Musuvathi, Todd Mytkowicz, Jacob Nelson, Olli Saarikivi
PPoPP 2021 | January 2021
Roshan Dathathri, Blagovesta Kostova, Olli Saarikivi, Wei Dai, Kim Laine, Madan Musuvathi
PLDI 2020 | December 2019
Guoqing Harry Xu, Margus Veanes (margus), Michael Barnett, Madan Musuvathi (madanm), Todd Mytkowicz (toddm), Ben Zorn (zorn), Huan He, Haibo Lin
Proceedings of the 27th ACM Symposium on Operating Systems Principles | October 2019
Guangpu Li, Shan Lu, Madan Musuvathi, Suman Nath, Rohan Padhye
ACM Symposium on Operating Systems Principles (SOSP) | October 2019
Best Paper Award
Roshan Dathathri, Olli Saarikivi, Hao Chen, Kim Laine, Kristin Lauter, Saeed Maleki, Madan Musuvathi, Todd Mytkowicz
PLDI 2019 | June 2019
Haopeng Liu, Shan Lu, Madan Musuvathi, Suman Nath
Workshop on Hot Topics in Operating Systems (HotOS) | May 2019
Liang Luo, Suman Nath, Lenin Ravindranath Sivalingam, Madan Musuvathi, Luis Ceze
USENIX Annual Technical Conference | July 2018
Saeed Maleki, Madan Musuvathi, Todd Mytkowicz
2018 International Parallel and Distributed Processing Symposium | May 2018
Olli Saarikivi, Margus Veanes, Todd Mytkowicz, Madan Musuvathi
ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2017) | June 2017
Jonathan Mace, Peter Bodík, Madan Musuvathi, Rodrigo Fonseca, Krishnan Varadarajan
SIGCOMM 2016 | August 2016
Charith Mendis, Jasha Droppo, Saeed Maleki, Madan Musuvathi, Todd Mytkowicz, Geoffrey Zweig
ICASSP 2016 | March 2016
Saeed Maleki, Madan Musuvathi, Todd Mytkowicz
2016 Parallel Computing | March 2016
Veselin Raychev, Madan Musuvathi, Todd Mytkowicz
October 2015
Jason Croft, Ratul Mahajan, Matthew Caesar, Madan Musuvathi
2015 USENIX Annual Technical Conference, USENIX ATC '15, Santa Clara, CA, USA | July 2015
Yufei Ding, Yue Zhao, Xipeng Shen, Madanlal Musuvathi, Todd Mytkowicz, Madan Musuvathi
Proceedings of the 32nd International Conference on Machine Learning, ICML 2015, Lille, France, 6-11 July 2015 | July 2015
Yufei Ding, Xipeng Shen, Madanlal Musuvathi, Todd Mytkowicz, Madan Musuvathi
PVLDB | June 2015
Eduardo Cuervo, Alec Wolman, Landon P. Cox, Kiron Lebeck, Ali Razeen, Madan Musuvathi, Stefan Saroiu
MobiSys’15 | May 2015
Eduardo Cuervo Laffaye, Alec Wolman, Landon Cox, Kiron Lebeck, Ali Razeen, Stefan Saroiu, Madan Musuvathi
MobiSys | May 2015
Jonathan Mace, Peter Bodík, Rodrigo Fonseca, Madan Musuvathi
NSDI | May 2015
Daniel Marino, Todd D. Millstein, Madanlal Musuvathi, Satish Narayanasamy, Abhayendra Singh, Madan Musuvathi
1st Summit on Advances in Programming Languages, SNAPL 2015, May 3-6, 2015, Asilomar, California, USA | May 2015
Baris Kasikci, Cristiano Pereira, Gilles Pokam, Benjamin Schubert, Madanlal Musuvathi, George Candea, Madan Musuvathi
15th Workshop on Hot Topics in Operating Systems, HotOS XV, Kartause Ittingen, Switzerland, May 18-20, 2015 | May 2015
Jonathan Mace, Peter Bodík, Rodrigo Fonseca, Madan Musuvathi
2014 Hot Topics in System Dependability | October 2014
Jonathan Mace, Peter Bodík, Rodrigo Fonseca, Madanlal Musuvathi, Madan Musuvathi
HotDep'14: Proceedings of the 10th USENIX conference on Hot Topics in System Dependability | October 2014
Todd Mytkowicz, Madan Musuvathi, Wolfram Schulte
Architectural Support for Programming Languages and Operating Systems (ASPLOS) | March 2014
Saeed Maleki, Madan Musuvathi, Todd Mytkowicz
2014 ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming | February 2014
DOI PDF Publication Publication Publication Publication Publication
Saeed Maleki, Madan Musuvathi, Todd Mytkowicz
February 2014
Katherine E. Coons, Madan Musuvathi, Kathryn S McKinley
ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA) | October 2013
International Symposium on Memory Management, ISMM '13, Seattle, WA, USA | June 2013
Zhenyu Guo, Sean McDirmid, Mao Yang, Li Zhuang, Pu Zhang, Yingwei Luo, Tom Bergan, Peter Bodík, Madan Musuvathi, Zheng Zhang, Lidong Zhou
HotOS | May 2013
HotOS
John Erickson, Stephen N. Freund, Madanlal Musuvathi, Madan Musuvathi
Runtime Verification, Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers | September 2012
Santosh Nagarakatte, Sebastian Burckhardt, Milo M. K. Martin, Madan Musuvathi
Programming Languages Design and Implementation | July 2012
Programming Languages Design and Implementation
Abhayendra Singh, Satish Narayanasamy, Daniel Marino, Todd Millstein, Madanlal Musuvathi, Madan Musuvathi
International Symposium on Computer Architecture | June 2012
Sebastian Burckhardt, Alexey Gotsman, Madanlal Musuvathi, Hongseok Yang, Madan Musuvathi
21st European Symposium on Programming (ESOP 2012) | March 2012
21st European Symposium on Programming (ESOP 2012)
Mohamed Faouzi Atig, Ahmed Bouajjani, Sebastian Burckhardt, Madanlal Musuvathi, Madan Musuvathi
21st European Symposium on Programming (ESOP 2012) | March 2012
21st European Symposium on Programming (ESOP 2012)
Alexey Gotsman, Madan Musuvathi, Hongseok Yang
International Symposium on Distributed Computing (DISC '12) | January 2012
Todd Millstein, Ramesh Govindan, Madan Musuvathi, Nupur Kothari, Ratul Mahajan
ACM SIGCOMM | August 2011
Daniel Marino, Abhayendra Singh, Todd Millstein, Madanlal Musuvathi, Satish Narayanasamy, Madan Musuvathi
Programming Language Design and Implementation (PLDI) 2011 | June 2011
Abhayendra Singh, Daniel Marino, Satish Narayanasamy, Todd Millstein, Madanlal Musuvathi, Madan Musuvathi
Proceedings of the Sixteenth International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS 2011) | March 2011
John Erickson, Madan Musuvathi, Sebastian Burckhardt, Kirk Olynyk
Operating System Design and Implementation (OSDI'10) | October 2010
Operating System Design and Implementation (OSDI'10)
Sebastian Burckhardt, Chris Dern, Madan Musuvathi, Roy Tan
Programming Language Design and Implementation (PLDI) | June 2010
Programming Language Design and Implementation (PLDI)
Abhayendra Singh, Todd Millstein, Madanlal Musuvathi, Satish Narayanasamy, Daniel Marino, Madan Musuvathi
International Conference on Programming Language Design and Implementation (PLDI). | June 2010
International Conference on Programming Language Design and Implementation (PLDI).
Thomas Ball, Sebastian Burckhardt, Katherine Coons, Madan Musuvathi, Shaz Qadeer
Conference on Tools and Algorithms for the Construction and Analysis of Systems | April 2010
Sebastian Burckhardt, Madanlal Musuvathi, Vasu Singh, Madan Musuvathi
CC 2010: International Conference on Compiler Construction | March 2010
CC 2010: International Conference on Compiler Construction
Madan Musuvathi, Sebastian Burckhardt, Pravesh Kothari,
Proceedings of the Fifteenth International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS 2010) | March 2010
Proceedings of the Fifteenth International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS 2010)
Mohamed Faouzi Atig, Ahmed Bouajjani, Sebastian Burckhardt, Madanlal Musuvathi, Madan Musuvathi
Proceedings of the 37th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages | January 2010
Proceedings of the 37th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
Katherine E. Coons, Madan Musuvathi, Sebastian Burckhardt
Proceedings of the 15th ACM SIGPLAN Annual Symposium on Principles and Practice of Parallel Programming | January 2010
Proceedings of the 15th ACM SIGPLAN Annual Symposium on Principles and Practice of Parallel Programming
Emre Kiciman, Ben Livshits, Madan Musuvathi, Kevin C. Webb
ACM Symposium on Cloud Computing | January 2010
Daniel Marino, Madanlal Musuvathi, Satish Narayanasamy, Madan Musuvathi
Conference on Programming Language Design and Implementation (PLDI '09) | June 2009
Emre Kiciman, Ben Livshits, Madan Musuvathi
12th Workshop on Hot Topics in Operating Systems | May 2009
12th Workshop on Hot Topics in Operating Systems
Alex Rasmussen, Emre Kiciman, Ben Livshits, Madan Musuvathi
EuroSys 2009 | April 2009
Madan Musuvathi, Shaz Qadeer, Thomas Ball, Gerard Basler, Piramanayakam Arumuga Nainar, Iulian Neamtiu
OSDI 08: Eigth Symposium on Operating Systems Design & Implementation | December 2008
Milan Stanojevic, Ratul Mahajan, Todd Millstein, Madan Musuvathi
in HotNets '08, Seventh ACM Workship on Hot Topics in Networks | October 2008
in HotNets '08, Seventh ACM Workship on Hot Topics in Networks
Sebastian Burckhardt, Madan Musuvathi
Computer-Aided Verification (CAV) | July 2008
The files above are full-text pdf, and the original powerpoint presentation from CAV. See also the companion tech report with the same title, it has additional material (including equivalence proofs for operational/axiomatic memory models of SC and TSO) in the appendix.
Madanlal Musuvathi, Shaz Qadeer, Madan Musuvathi
PLDI 08: Programming Language Design and Implementation | June 2008
PLDI 08: Programming Language Design and Implementation
Sumit Gulwani, Madan Musuvathi
ESOP'08/ETAPS'08 Proceedings of the Theory and Practice of Software, 17th European conference on Programming Languages and Systems | March 2008
ISBN: 3-540-78738-0 978-3-540-78738-9
Madanlal Musuvathi, Shaz Qadeer, Madan Musuvathi
PLDI 07: Programming Language Design and Implementation | June 2007
PLDI 07: Programming Language Design and Implementation
Shuvendu Lahiri, Madan Musuvathi
Automated Reasoning, Third International Joint Conference (IJCAR '06) | January 2006
ISBN: 3-540-37187-7
Madanlal Musuvathi, David L. Dill, Madan Musuvathi
SPIN 05: SPIN Workshop | August 2005
Rustan Leino, Madan Musuvathi, Xinmin Ou
in TACAS 2005: Eleventh Conference on Tools and Algorithms for the Construction and Analysis of Software | April 2005
Junfeng Yang, Paul Twohey, Dawson R. Engler, Madanlal Musuvathi, Madan Musuvathi
ACM Transactions on Computer Systems, OSDI 04: Sixth Symposium on Operating Systems Design & Implementation | December 2004
OSDI 04: Sixth Symposium on Operating Systems Design & Implementation
Madanlal Musuvathi, David Park, Andy Chou, Dawson R. Engler, David L. Dill, Madan Musuvathi
OSDI 02: Fifth Symposium on Operating Systems Design and Implementation | December 2002
OSDI 02: Fifth Symposium on Operating Systems Design and Implementation
Shuvendu Lahiri, Sarah Fakhoury, Aaditya Naik, Georgios Sakkas, Saikat Chakraborty, Piali Choudhury, Curtis von Veh, Madan Musuvathi, Jeevana Priya Inala, Chenglong Wang, Jianfeng Gao
August 2022
Meghan Cowan, Saeed Maleki, Madan Musuvathi, Olli Saarikivi, Yifan Xiong
February 2022
Aashaka Shah, Vijay Chidambaram, Meghan Cowan, Saeed Maleki, Madan Musuvathi, Todd Mytkowicz, Jacob Nelson, Olli Saarikivi, Rachee Singh
November 2021
Sebastian Burckhardt, Madan Musuvathi
July 2008
Workshop on Exploiting Concurrency Efficiently and Correctly (EC^2)
Olli Saarikivi, Margus Veanes, Todd Mytkowicz, Madan Musuvathi
MSR-TR-2016-55 | October 2016
, Ratul Mahajan, Matthew Caesar, Madan Musuvathi
MSR-TR-2012-131 | May 2012
Madan Musuvathi, Sebastian Burckhardt, Pravesh Kothari,
MSR-TR-2010-3 | January 2010
Thomas Ball, Sebastian Burckhardt, Katherine Coons, Madan Musuvathi, Shaz Qadeer
MSR-TR-2009-143 | October 2009
Sebastian Burckhardt, Madanlal Musuvathi, Vasu singh, Madan Musuvathi
MSR-TR-2008-171 | November 2008
Daniel Marino, Madan Musuvathi, Satish Narayanasamy
MSR-TR-2008-175 | November 2008
Nikolaj Bjørner, Andreas Blass, Yuri Gurevich, Madan Musuvathi
MSR-TR-2008-140 | October 2008
Sebastian Burckhardt, Madan Musuvathi
MSR-TR-2008-12 | January 2008
A shorter version of this TR appeared in CAV (Computer-Aided Verification) 2008.
Madan Musuvathi, Shaz Qadeer, Thomas Ball
MSR-TR-2007-149 | November 2007
Madan Musuvathi, Shaz Qadeer
MSR-TR-2007-14 | January 2007
Madan Musuvathi, Shaz Qadeer
MSR-TR-2007-12 | January 2007
Shuvendu Lahiri, Madan Musuvathi
MSR-TR-2006-47 | April 2006
Thomas Ball, Shuvendu Lahiri, Madanlal Musuvathi, Thomas Ball, Madan Musuvathi
MSR-TR-2005-137 | October 2005
Logic for Programming, Artificial Intelligence, and Reasoning (LPAR '05)
Domagoj Babic, Madan Musuvathi
MSR-TR-2005-114 | August 2005
Greta Yorsh, Madan Musuvathi
MSR-TR-2004-108 | July 2005
in CADE 2005: Twentieth International Conference on Automated Deduction.
Shuvendu Lahiri, Madan Musuvathi
MSR-TR-2005-67 | May 2005
Frontiers of Combining Systems (FroCos '05)
Shuvendu Lahiri, Madan Musuvathi
MSR-TR-2005-61 | May 2005
Rustan Leino, Madan Musuvathi, Xinming Ou
MSR-TR-2004-109 | October 2004
Madan Musuvathi, David L. Dill
MSR-TR-2004-37 | April 2004
Abhayendra Singh, Satish Narayanasamy, Daniel Marino, Todd Millstein, Madanlal Musuvathi, Madan Musuvathi
IEEE Micro | May 2013, Vol 33(3): pp. 96-104
Sebastian Burckhardt, Madan Musuvathi, Shaz Qadeer, Peli de Halleux, Thomas Ball
IEEE Software | May 2011, Vol 28: pp. 75-83
Shuvendu Lahiri, Madanlal Musuvathi, Madan Musuvathi
Electr. Notes Theor. Comput. Sci. | January 2006, Vol 144: pp. 27-41
Madan Musuvathi, Dawson R. Engler
Electronic Notes in Theoretical Computer Science | July 2003, Vol 89(3)
