Naman Gupta, Shashank Kirtania, Priyanshu Gupta, Krishna Kariya, Sumit Gulwani, Arun Iyer, Suresh Parthasarathy, Arjun Radhakrishna, Sriram Rajamani, Gustavo Soares
October 2024
Preprint
Nalin Wadhwa, Jui Pradhan, Atharv Sonwane, Surya Prakash Sahu, Nagarajan Natarajan, Aditya Kanade (kanadeaditya), Suresh Parthasarathy (supartha), Sriram Rajamani (sriram)
FSE | July 2024
Ramakrishna Bairi, Atharv Sonwane, Aditya Kanade, Vageesh D C, Arun Iyer, Suresh Parthasarathy, Sriram Rajamani, B. Ashok, Shashank Shet
Neural Information Processing Systems Workshop on Foundation Models for Decision Making (FMDM-NeurIPS) | November 2023
Nalin Wadhwa, Jui Pradhan, Atharv Sonwane, Surya Prakash Sahu, Nagarajan Natarajan, Aditya Kanade, Suresh Parthasarathy, Sriram Rajamani
September 2023
Pradyumna YM, Vinod Ganesan, Dinesh Kumar Arumugam, Meghna Gupta, Nischith Shadagopan, Tanay Dixit, Sameer Segal, Pratyush Kumar, Mohit Jain, Sriram Rajamani
September 2023
Lakshya A Agrawal, Aditya Kanade, Navin Goyal, Shuvendu Lahiri, Sriram Rajamani
NeurIPS 2023 | June 2023
Preprint
Suresh Parthasarathy, Lincy Pattanaik, Anirudh Khatry, Arun Iyer, Arjun Radhakrishna, Sriram Rajamani, Mohammad Raza
Programming Language Design and Implementation (PLDI) | June 2022
Naman Jain, Skanda Vaidyanath, Arun Iyer, Nagarajan Natarajan, Suresh Parthasarathy, Sriram Rajamani, Rahul Sharma
International Conference on Software Engineering (ICSE) | May 2022
Partho Sarthi, Monojit Choudhury, Arun Iyer, Suresh Parthasarathy, Arjun Radhakrishna, Sriram Rajamani
International Joint Conference on Artificial Intelligence Workshop on Neuro-Symbolic Natural Language Inference (NSNLI-IJCAI) | August 2021
Nagarajan Natarajan, Ajaykrishna Karthikeyan, Prateek Jain, Ivan Radicek, Sriram Rajamani, Sumit Gulwani, Johannes Gehrke
July 2020
Arun Iyer, Manohar Jonnalagedda, Suresh Parthasarathy, Arjun Radhakrishna, Sriram Rajamani
Programming Language Design and Implementation (PLDI) | June 2019
Rohit Sinha, Sriram Rajamani, Sanjit Seshia
Foundations of Software Engineering (FSE), 2017 | July 2017
Sanjit Seshia, Akash Lal, Rohit Sinha, Sriram Rajamani, Manuel Costa, Kapil Vaswani
Programming Languages Design and Implementation (PLDI) | June 2016
Aleksandar Chakarov, Aditya Nori, Sriram Rajamani, Shayak Sen, Deepak Vijaykeerthy
MSR-TR-2016-1135 | March 2016
Chung-Kil Hur, Aditya Nori, Sriram Rajamani
Foundations of Software Technology and Theoretical Computer Science (FSTTCS) | December 2015
Rohit Sinha, Sriram Rajamani, Sanjit A. Seshia, Kapil Vaswani
The ACM Conference on Computer and Communications Security (CCS) | October 2015
Manuel Costa, Sriram Rajamani, Mark Russinovich, Kapil Vaswani, Orion Hodson, Marcus Peinado
MSR-TR-2015-67 | August 2015
Published by Microsoft
Aditya Nori, Sherjil Ozair, Sriram Rajamani, Deepak Vijaykeerthy,
Programming Language Design and Implementation (PLDI) | June 2015
Ankush Desai, Shaz Qadeer, Sriram Rajamani, Sanjit Seshia,
MSR-TR-2015-28 | March 2015
Aditya Nori, Chung-Kil Hur, Sriram Rajamani, Selva Samuel
AAAI Conference on Artificial Intelligence (AAAI) | July 2014
Chung-Kil Hur, Aditya Nori, Sriram Rajamani, Selva Samuel
Programming Language Design and Implementation (PLDI) | June 2014
Shayak Sen, Saikat Guha, Anupam Dutta, Sriram Rajamani, Janice Tsai, Jeannette Wing
Proceedings of the 35th IEEE Symposium on Security & Privacy (Oakland) | May 2014
Andy Gordon, Thomas A. Henzinger, Aditya Nori, Sriram Rajamani
International Conference on Software Engineering (ICSE Future of Software Engineering) | May 2014
Andrew Cross, B. Ashok, Srinath Bala, Ed Cutrell, Naren Datha, Rahul Kumar, Viraj Kumar, Madhusudan Parthasarathy, Siddharth Prakash, Sriram Rajamani, Satish Sangameswaran, Deepika Sharma, Bill Thies
March 2014
Shayak Sen, Saikat Guha, Anupam Datta, Sriram Rajamani, Janice Tsai, Jeannette Wing
MSR-TR-2014-36 | March 2014
Ed Cutrell, Srinath Bala, Chetan Bansal, Andrew Cross, Naren Datha, Aldo John, Rahul Kumar, Madhusudan Parthasarathy, Siddharth Prakash, Sriram Rajamani, Bill Thies
MSR-TR-2013-127 | December 2013
Aditya Nori, Chung-Kil Hur, Sriram Rajamani, Selva Samuel
MSR-TR-2013-109 | October 2013
Guillaume Claret, Sriram Rajamani, Aditya Nori, Andy Gordon, Johannes Borgström
ESEC/FSE 2013 Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering | August 2013
Sagar Chordia, Sriram Rajamani, Kaushik Rajan, G. Ramalingam, Kapil Vaswani
MSR-TR-2013-71 | July 2013
International Symposium on Distributed Computing (DISC)
Arun Chaganty, Akash Lal, Aditya Nori, Sriram Rajamani
Computer Aided Verification (CAV) | July 2013
Ankush Desai, Vivek Gupta, Ethan Jackson, Shaz Qadeer, Sriram Rajamani, Damien Zufferey
Programming Languages Design and Implementation (PLDI) 2013 | June 2013
Arun T. Chaganty, Aditya Nori, Sriram Rajamani
Artificial Intelligence and Statistics (AISTATS) | April 2013
Andrew D. Gordon, Mihhail Aizatulin, Guillaume Claret, Thore Graepel, Aditya Nori, Sriram Rajamani, Claudio Russo, Johannes Borgstroem, Andy Gordon
MSR-TR-2013-1 | January 2013
Published by Microsoft
Andy Gordon, Aditya Nori, Sriram Rajamani
January 2013
, Vivek Gupta, Ethan Jackson, Shaz Qadeer, Sriram Rajamani,
MSR-TR-2012-116 | November 2012
Sriram Rajamani, Ed Cutrell, Vidya Natampally, Siddharth Prakash
MSR-TR-2012-109 | October 2012
Jose Faleiro, Sriram Rajamani, Kaushik Rajan, G. Ramalingam, Kapil Vaswani
Principles of Distributed Computing (PODC) | July 2012
Aws Albarghouthi, Rahul Kumar, Aditya Nori, Sriram Rajamani
Programming Languages Design and Implementation (PLDI) | June 2012
Sriram Rajamani, Sumit Gulwani, Sriram Rajamani
AAAI | April 2012
AAAI
Proceedings of the 18th international SPIN conference on Model checking software | July 2011
ISBN: 978-3-642-22305-1
, , Sriram Rajamani
MSR-TR-2011-5 | January 2011
Aditya Kanade, Rajeev Alur, Sriram Rajamani, G. Ramalingam
Foundations of Software Engineering (FSE) | November 2010
William R. Harris, Akash Lal, Aditya Nori, Sriram Rajamani
SAS '10: Static Analysis Symposium | September 2010
Kaushik Rajan, Sriram Rajamani, Shashank Yaduvanshi
Proceedings of Programming Language Design and Implementation (PLDI 2010) | June 2010
William R. Harris, Akash Lal, Aditya Nori, Sriram Rajamani
MSR-TR-2010-61 | May 2010
International Conference on Software Engineering (ICSE) | May 2010
Nels E. Beckman, Aditya Nori, Sriram Rajamani, Robert J. Simmons, Sai Deep Tetali, Aditya V. Thakur
IEEE Transactions on Software Engineering (special issue on the ISSTA 2008 best papers) | March 2010
ISSTA 2008 best papers
Patrice Godefroid, Aditya Nori, Sriram Rajamani, Sai Deep Tetali
Principles of Programming Languages (POPL) | January 2010
B. Ashok, Joseph Joy, Hongkang Liang, Sriram Rajamani, Gopal Srinivasa, Vipindeep Vangala
Foundations of Software Engineering (ESEC/FSE) | August 2009
Foundations of Software Engineering (ESEC/FSE)
Ben Livshits, Aditya Nori, Sriram Rajamani, Anindya Banerjee
ACM SIGPLAN 2009 Conference on Programming Language Design and Implementation (PLDI) | June 2009
Sriram Rajamani, G. Ramalingam, Venkatesh-Prasad Ranganath, Kapil Vaswani
Proceedings of the Symposium on Architectural Support for Programming Languages and Operating Systems (ASPLOS) | March 2009
Aditya Nori, Sriram Rajamani, Sai Deep Tetali, Aditya V. Thakur,
TACAS '09: Tools and Algorithms for the Construction and Analysis of Systems | March 2009
Patrice Godefroid, Aditya Nori, Sriram Rajamani,
MSR-TR-2009-2 | January 2009
G. Ramalingam, Sriram Rajamani, Venkatesh-Prasad Ranganath, Kapil Vaswani, Jyotirmoy Vinay Deshmukh
December 2008
Anindya Banerjee, Benjamin Livshits, Aditya Nori, Sriram Rajamani, Ben Livshits
MSR-TR-2008-198 | December 2008
Manuel Fahndrich, Sriram Rajamani, Jakob Rehof
Perspectives On Concurrency, Festchrift for Prof. P. S. Thiagarajan's 60th birthday, K. Lodaya, M. Mukund and R. Ramanujam (eds) | December 2008
Patrice Godefroid, Peli de Halleux, Aditya Nori, Sriram Rajamani, Wolfram Schulte, Nikolai Tillmann, Michael Y. Levin
IEEE Software, Special Issue on Software Development Tools | October 2008
Madhu Gopinathan, Sriram Rajamani
ACM SIGPLAN Conference on Object Oriented Programming, Systems, Languages and Applications (OOPSLA) | October 2008
ACM SIGPLAN Conference on Object Oriented Programming, Systems, Languages and Applications (OOPSLA)
Avik Chaudhuri, Prasad Naldurg, G. Ramalingam, Sriram Rajamani, L. Velaga
ACM Conference on Computer and Communications Security (CCS) | October 2008
ACM Conference on Computer and Communications Security (CCS)
Shilpa Bugde, Nachi Nagappan, Sriram Rajamani, G. Ramalingam
International Conference on Global Software Engineering (IGCSE) | October 2008
International Conference on Global Software Engineering (IGCSE)
Christian Stefansen, Sriram Rajamani, Parameswaran Seshan
IEEE International Conference on Web Services (ICWS) | September 2008
Nels E. Beckman, Aditya Nori, Sriram Rajamani, Robert J. Simmons
Proceedings of the International Symposium on Software Testing and Analysis (ISSTA) | July 2008
Avik Chaudhuri, Prasad Naldurg, Sriram Rajamani
ACM Workshop on Programming Languages and Analysis for Security (PLAS) | June 2008
ACM Workshop on Programming Languages and Analysis for Security (PLAS)
Sriram Rajamani, G. Ramalingam, Venkatesh-Prasad Ranganath, Kapil Vaswani
Proceedings of the Workshop on Exploiting Concurrency Efficiently and Correctly (EC2) | June 2008
Sriram Rajamani, G. Ramalingam, Venkatesh-Prasad Ranganath, Kapil Vaswani
MSR-TR-2008-91 | June 2008
Bhargav Gulavani, Supratik Chakraborty, Aditya Nori, Sriram Rajamani
Proceedings of the 14th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS) | March 2008
Madhu Gopinathan, Sriram Rajamani
8th workshop on Runtime Verification (RV) | March 2008
Nels Beckman, Aditya Nori, Sriram Rajamani, Robert Simmons
MSR-TR-2008-17 | January 2008
Prakash Chandrasekaran, Christopher L. Conway, Joseph Joy, Sriram Rajamani
Proceedings of the 6th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE) | September 2007
Krishna Mehra, Prasad Sistla, Sriram Rajamani, Sumit K. Jha
Proceedings of the 5th IEEE International Conference on Software Engineering and Formal Methods (SEFM) | September 2007
Proceedings of the 5th IEEE International Conference on Software Engineering and Formal Methods (SEFM)
Prakash Chandrasekaran, Christopher Conway, Joseph Joy, Sriram Rajamani
MSR-TR-2007-80 | June 2007
MSR-TR-2007-71 | June 2007
Prasad Naldurg, Stefan Schwoon, Sriram Rajamani, John Lambert
Proceedings of the 4th ACM Workshop on Formal Methods in Security Engineering: From Specifications to Code (FMSE) | November 2006
Bhargav Gulavani, Thomas A. Henzinger, Yamini Kannan, Aditya Nori, Sriram Rajamani
Proceedings of the 14th Annual Symposium on Foundations of Software Engineering (FSE, ACM SIGSOFT Distinguished Paper) | November 2006
Bhargav Gulavani, Thomas Henzinger, Yamini Kannan, Aditya Nori, Sriram Rajamani
MSR-TR-2006-76 | April 2006
Thomas Ball, Ella Bounimova, Vladimir Levin, Jakob Lichtenberg, Con McGarvey, Bohus Ondrusek, Sriram Rajamani, Byron Cook, Abdullah Ustuner, Thomas Ball
EuroSys 2006 | April 2006
Bhargav Gulavani, Sriram Rajamani
Proceedings of 12th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS) | March 2006
Proceedings of the 4th International Conference on Software Engineering and Formal Methods (SEFM) | January 2006
Proceedings of the 4th International Conference on Software Engineering and Formal Methods (SEFM)
Bhargav Gulavani, Sriram Rajamani
MSR-TR-2006-02 | January 2006
Vlad Levin, Robert Palmer, Shaz Qadeer, Sriram Rajamani
MSR-TR-2005-40 | April 2005
Shaz Qadeer, Sriram Rajamani
MSR-TR-2005-08 | January 2005
Tony Andrews, Shaz Qadeer, Sriram Rajamani, Jakob Rehof, Yichen Xie
Proceedings of the 15th International Conference on Concurrency Theory | September 2004
Tony Andrews, Shaz Qadeer, Sriram Rajamani, Jakob Rehof, Yichen Xie
Proceedings of the 16th International Conference on Computer Aided Verification (CAV 2004). | July 2004
Cédric Fournet, Tony Hoare, Sriram Rajamani, Jakob Rehof
MSR-TR-2004-69 | July 2004
Proceedings of the SIGCOMM 2005 Workshop on Delay Tolerant Networking
Jim Larus, Thomas Ball, Manuvir Das , Robert DeLIne, Manuel Fahndrich, Jon Pincus, Sriram Rajamani, Ramanathan Venkatapathy
IEEE Software | May 2004, Vol 21: pp. 92-100
Thomas Ball, Byron Cook, Vladimir Levin, Sriram Rajamani
MSR-TR-2004-08 | January 2004
Shaz Qadeer, Sriram Rajamani, Jakob Rehof
Proceedings of the 31st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages | January 2004
Thomas Ball, Todd Millstein, Sriram Rajamani
MSR-TR-2001-10 | June 2002
Stephen Adams, Thomas Ball, Manuvir Das, Sorin Lerner, Sriram Rajamani, Mark Seigle, Westley Weimer
MSR-TR-2002-18 | April 2002
Thomas A. Henzinger, Shaz Qadeer, Sriram Rajamani, Serdar Tasiran
Proceedings of the 2nd Conference on Formal Methods in Computer-Aided Design | January 2002
MSR-TR-2002-09 | January 2002
MSR-TR-2001-21 | January 2002
R. Alur, R. K. Brayton, T. A. Henzinger, Shaz Qadeer, Sriram Rajamani
Proceedings of the 9th International Conference on Computer-Aided Verification | March 2001
Thomas Ball, Andreas Podelski, Sriram Rajamani
MSR-TR-2001-106 | December 2001
Thomas Ball, Andreas Podelski, Sriram Rajamani
MSR-TR-2000-115 | December 2000
Published by Microsoft
Thomas Ball, Sagar Chaki, Sriram Rajamani
MSR-TR-2000-116 | December 2000
Published by Microsoft
MSR-TR-2000-14 | February 2000
Published by Microsoft
Thomas A. Henzinger , Shaz Qadeer, Sriram Rajamani
10th International Conference, CAV'98 | July 1998
R. Alur, T. Henzinger, F. Mang, Shaz Qadeer, Sriram Rajamani, S. Tasiran
Proceedings of the 10th International Conference on Computer-aided Verication (CAV) | January 1998
Naman Gupta, Shashank Kirtania, Priyanshu Gupta, Krishna Kariya, Sumit Gulwani, Arun Iyer, Suresh Parthasarathy, Arjun Radhakrishna, Sriram Rajamani, Gustavo Soares
October 2024
Preprint
Nalin Wadhwa, Jui Pradhan, Atharv Sonwane, Surya Prakash Sahu, Nagarajan Natarajan, Aditya Kanade (kanadeaditya), Suresh Parthasarathy (supartha), Sriram Rajamani (sriram)
FSE | July 2024
Ramakrishna Bairi, Atharv Sonwane, Aditya Kanade, Vageesh D C, Arun Iyer, Suresh Parthasarathy, Sriram Rajamani, B. Ashok, Shashank Shet
Neural Information Processing Systems Workshop on Foundation Models for Decision Making (FMDM-NeurIPS) | November 2023
Nalin Wadhwa, Jui Pradhan, Atharv Sonwane, Surya Prakash Sahu, Nagarajan Natarajan, Aditya Kanade, Suresh Parthasarathy, Sriram Rajamani
September 2023
Pradyumna YM, Vinod Ganesan, Dinesh Kumar Arumugam, Meghna Gupta, Nischith Shadagopan, Tanay Dixit, Sameer Segal, Pratyush Kumar, Mohit Jain, Sriram Rajamani
September 2023
Lakshya A Agrawal, Aditya Kanade, Navin Goyal, Shuvendu Lahiri, Sriram Rajamani
NeurIPS 2023 | June 2023
Preprint
Suresh Parthasarathy, Lincy Pattanaik, Anirudh Khatry, Arun Iyer, Arjun Radhakrishna, Sriram Rajamani, Mohammad Raza
Programming Language Design and Implementation (PLDI) | June 2022
Naman Jain, Skanda Vaidyanath, Arun Iyer, Nagarajan Natarajan, Suresh Parthasarathy, Sriram Rajamani, Rahul Sharma
International Conference on Software Engineering (ICSE) | May 2022
Partho Sarthi, Monojit Choudhury, Arun Iyer, Suresh Parthasarathy, Arjun Radhakrishna, Sriram Rajamani
International Joint Conference on Artificial Intelligence Workshop on Neuro-Symbolic Natural Language Inference (NSNLI-IJCAI) | August 2021
Nagarajan Natarajan, Ajaykrishna Karthikeyan, Prateek Jain, Ivan Radicek, Sriram Rajamani, Sumit Gulwani, Johannes Gehrke
July 2020
Arun Iyer, Manohar Jonnalagedda, Suresh Parthasarathy, Arjun Radhakrishna, Sriram Rajamani
Programming Language Design and Implementation (PLDI) | June 2019
Aleksandar Chakarov, Aditya Nori, Sriram Rajamani, Shayak Sen, Deepak Vijaykeerthy
MSR-TR-2016-1135 | March 2016
Chung-Kil Hur, Aditya Nori, Sriram Rajamani
Foundations of Software Technology and Theoretical Computer Science (FSTTCS) | December 2015
Aditya Nori, Sherjil Ozair, Sriram Rajamani, Deepak Vijaykeerthy,
Programming Language Design and Implementation (PLDI) | June 2015
Aditya Nori, Chung-Kil Hur, Sriram Rajamani, Selva Samuel
AAAI Conference on Artificial Intelligence (AAAI) | July 2014
Chung-Kil Hur, Aditya Nori, Sriram Rajamani, Selva Samuel
Programming Language Design and Implementation (PLDI) | June 2014
Andy Gordon, Thomas A. Henzinger, Aditya Nori, Sriram Rajamani
International Conference on Software Engineering (ICSE Future of Software Engineering) | May 2014
Aditya Nori, Chung-Kil Hur, Sriram Rajamani, Selva Samuel
MSR-TR-2013-109 | October 2013
Guillaume Claret, Sriram Rajamani, Aditya Nori, Andy Gordon, Johannes Borgström
ESEC/FSE 2013 Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering | August 2013
Arun T. Chaganty, Aditya Nori, Sriram Rajamani
Artificial Intelligence and Statistics (AISTATS) | April 2013
Andy Gordon, Aditya Nori, Sriram Rajamani
January 2013
Andrew D. Gordon, Mihhail Aizatulin, Guillaume Claret, Thore Graepel, Aditya Nori, Sriram Rajamani, Claudio Russo, Johannes Borgstroem, Andy Gordon
MSR-TR-2013-1 | January 2013
Published by Microsoft
Ben Livshits, Aditya Nori, Sriram Rajamani, Anindya Banerjee
ACM SIGPLAN 2009 Conference on Programming Language Design and Implementation (PLDI) | June 2009
Thomas Ball, Sagar Chaki, Sriram Rajamani
MSR-TR-2000-116 | December 2000
Published by Microsoft
Thomas Ball, Andreas Podelski, Sriram Rajamani
MSR-TR-2000-115 | December 2000
Published by Microsoft
MSR-TR-2000-14 | February 2000
Published by Microsoft
Nalin Wadhwa, Jui Pradhan, Atharv Sonwane, Surya Prakash Sahu, Nagarajan Natarajan, Aditya Kanade (kanadeaditya), Suresh Parthasarathy (supartha), Sriram Rajamani (sriram)
FSE | July 2024
Ramakrishna Bairi, Atharv Sonwane, Aditya Kanade, Vageesh D C, Arun Iyer, Suresh Parthasarathy, Sriram Rajamani, B. Ashok, Shashank Shet
Neural Information Processing Systems Workshop on Foundation Models for Decision Making (FMDM-NeurIPS) | November 2023
Nalin Wadhwa, Jui Pradhan, Atharv Sonwane, Surya Prakash Sahu, Nagarajan Natarajan, Aditya Kanade, Suresh Parthasarathy, Sriram Rajamani
September 2023
Pradyumna YM, Vinod Ganesan, Dinesh Kumar Arumugam, Meghna Gupta, Nischith Shadagopan, Tanay Dixit, Sameer Segal, Pratyush Kumar, Mohit Jain, Sriram Rajamani
September 2023
Lakshya A Agrawal, Aditya Kanade, Navin Goyal, Shuvendu Lahiri, Sriram Rajamani
NeurIPS 2023 | June 2023
Preprint
Naman Jain, Skanda Vaidyanath, Arun Iyer, Nagarajan Natarajan, Suresh Parthasarathy, Sriram Rajamani, Rahul Sharma
International Conference on Software Engineering (ICSE) | May 2022
Nagarajan Natarajan, Ajaykrishna Karthikeyan, Prateek Jain, Ivan Radicek, Sriram Rajamani, Sumit Gulwani, Johannes Gehrke
July 2020
Arun Iyer, Manohar Jonnalagedda, Suresh Parthasarathy, Arjun Radhakrishna, Sriram Rajamani
Programming Language Design and Implementation (PLDI) | June 2019
Sanjit Seshia, Akash Lal, Rohit Sinha, Sriram Rajamani, Manuel Costa, Kapil Vaswani
Programming Languages Design and Implementation (PLDI) | June 2016
Aleksandar Chakarov, Aditya Nori, Sriram Rajamani, Shayak Sen, Deepak Vijaykeerthy
MSR-TR-2016-1135 | March 2016
Chung-Kil Hur, Aditya Nori, Sriram Rajamani
Foundations of Software Technology and Theoretical Computer Science (FSTTCS) | December 2015
Rohit Sinha, Sriram Rajamani, Sanjit A. Seshia, Kapil Vaswani
The ACM Conference on Computer and Communications Security (CCS) | October 2015
Aditya Nori, Sherjil Ozair, Sriram Rajamani, Deepak Vijaykeerthy,
Programming Language Design and Implementation (PLDI) | June 2015
Ankush Desai, Shaz Qadeer, Sriram Rajamani, Sanjit Seshia,
MSR-TR-2015-28 | March 2015
Aditya Nori, Chung-Kil Hur, Sriram Rajamani, Selva Samuel
AAAI Conference on Artificial Intelligence (AAAI) | July 2014
Chung-Kil Hur, Aditya Nori, Sriram Rajamani, Selva Samuel
Programming Language Design and Implementation (PLDI) | June 2014
Andy Gordon, Thomas A. Henzinger, Aditya Nori, Sriram Rajamani
International Conference on Software Engineering (ICSE Future of Software Engineering) | May 2014
Aditya Nori, Chung-Kil Hur, Sriram Rajamani, Selva Samuel
MSR-TR-2013-109 | October 2013
Guillaume Claret, Sriram Rajamani, Aditya Nori, Andy Gordon, Johannes Borgström
ESEC/FSE 2013 Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering | August 2013
Sagar Chordia, Sriram Rajamani, Kaushik Rajan, G. Ramalingam, Kapil Vaswani
MSR-TR-2013-71 | July 2013
International Symposium on Distributed Computing (DISC)
Arun Chaganty, Akash Lal, Aditya Nori, Sriram Rajamani
Computer Aided Verification (CAV) | July 2013
Ankush Desai, Vivek Gupta, Ethan Jackson, Shaz Qadeer, Sriram Rajamani, Damien Zufferey
Programming Languages Design and Implementation (PLDI) 2013 | June 2013
Arun T. Chaganty, Aditya Nori, Sriram Rajamani
Artificial Intelligence and Statistics (AISTATS) | April 2013
Andy Gordon, Aditya Nori, Sriram Rajamani
January 2013
Andrew D. Gordon, Mihhail Aizatulin, Guillaume Claret, Thore Graepel, Aditya Nori, Sriram Rajamani, Claudio Russo, Johannes Borgstroem, Andy Gordon
MSR-TR-2013-1 | January 2013
Published by Microsoft
, Vivek Gupta, Ethan Jackson, Shaz Qadeer, Sriram Rajamani,
MSR-TR-2012-116 | November 2012
Jose Faleiro, Sriram Rajamani, Kaushik Rajan, G. Ramalingam, Kapil Vaswani
Principles of Distributed Computing (PODC) | July 2012
Aws Albarghouthi, Rahul Kumar, Aditya Nori, Sriram Rajamani
Programming Languages Design and Implementation (PLDI) | June 2012
Aditya Kanade, Rajeev Alur, Sriram Rajamani, G. Ramalingam
Foundations of Software Engineering (FSE) | November 2010
William R. Harris, Akash Lal, Aditya Nori, Sriram Rajamani
SAS '10: Static Analysis Symposium | September 2010
Kaushik Rajan, Sriram Rajamani, Shashank Yaduvanshi
Proceedings of Programming Language Design and Implementation (PLDI 2010) | June 2010
William R. Harris, Akash Lal, Aditya Nori, Sriram Rajamani
MSR-TR-2010-61 | May 2010
International Conference on Software Engineering (ICSE) | May 2010
Nels E. Beckman, Aditya Nori, Sriram Rajamani, Robert J. Simmons, Sai Deep Tetali, Aditya V. Thakur
IEEE Transactions on Software Engineering (special issue on the ISSTA 2008 best papers) | March 2010
ISSTA 2008 best papers
Patrice Godefroid, Aditya Nori, Sriram Rajamani, Sai Deep Tetali
Principles of Programming Languages (POPL) | January 2010
B. Ashok, Joseph Joy, Hongkang Liang, Sriram Rajamani, Gopal Srinivasa, Vipindeep Vangala
Foundations of Software Engineering (ESEC/FSE) | August 2009
Foundations of Software Engineering (ESEC/FSE)
Ben Livshits, Aditya Nori, Sriram Rajamani, Anindya Banerjee
ACM SIGPLAN 2009 Conference on Programming Language Design and Implementation (PLDI) | June 2009
Aditya Nori, Sriram Rajamani, Sai Deep Tetali, Aditya V. Thakur,
TACAS '09: Tools and Algorithms for the Construction and Analysis of Systems | March 2009
Sriram Rajamani, G. Ramalingam, Venkatesh-Prasad Ranganath, Kapil Vaswani
Proceedings of the Symposium on Architectural Support for Programming Languages and Operating Systems (ASPLOS) | March 2009
Patrice Godefroid, Aditya Nori, Sriram Rajamani,
MSR-TR-2009-2 | January 2009
G. Ramalingam, Sriram Rajamani, Venkatesh-Prasad Ranganath, Kapil Vaswani, Jyotirmoy Vinay Deshmukh
December 2008
Anindya Banerjee, Benjamin Livshits, Aditya Nori, Sriram Rajamani, Ben Livshits
MSR-TR-2008-198 | December 2008
Manuel Fahndrich, Sriram Rajamani, Jakob Rehof
Perspectives On Concurrency, Festchrift for Prof. P. S. Thiagarajan's 60th birthday, K. Lodaya, M. Mukund and R. Ramanujam (eds) | December 2008
Avik Chaudhuri, Prasad Naldurg, G. Ramalingam, Sriram Rajamani, L. Velaga
ACM Conference on Computer and Communications Security (CCS) | October 2008
ACM Conference on Computer and Communications Security (CCS)
Madhu Gopinathan, Sriram Rajamani
ACM SIGPLAN Conference on Object Oriented Programming, Systems, Languages and Applications (OOPSLA) | October 2008
ACM SIGPLAN Conference on Object Oriented Programming, Systems, Languages and Applications (OOPSLA)
Patrice Godefroid, Peli de Halleux, Aditya Nori, Sriram Rajamani, Wolfram Schulte, Nikolai Tillmann, Michael Y. Levin
IEEE Software, Special Issue on Software Development Tools | October 2008
Shilpa Bugde, Nachi Nagappan, Sriram Rajamani, G. Ramalingam
International Conference on Global Software Engineering (IGCSE) | October 2008
International Conference on Global Software Engineering (IGCSE)
Avik Chaudhuri, Prasad Naldurg, Sriram Rajamani
ACM Workshop on Programming Languages and Analysis for Security (PLAS) | June 2008
ACM Workshop on Programming Languages and Analysis for Security (PLAS)
Sriram Rajamani, G. Ramalingam, Venkatesh-Prasad Ranganath, Kapil Vaswani
MSR-TR-2008-91 | June 2008
Sriram Rajamani, G. Ramalingam, Venkatesh-Prasad Ranganath, Kapil Vaswani
Proceedings of the Workshop on Exploiting Concurrency Efficiently and Correctly (EC2) | June 2008
Madhu Gopinathan, Sriram Rajamani
8th workshop on Runtime Verification (RV) | March 2008
Bhargav Gulavani, Supratik Chakraborty, Aditya Nori, Sriram Rajamani
Proceedings of the 14th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS) | March 2008
Prakash Chandrasekaran, Christopher L. Conway, Joseph Joy, Sriram Rajamani
Proceedings of the 6th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE) | September 2007
Prakash Chandrasekaran, Christopher Conway, Joseph Joy, Sriram Rajamani
MSR-TR-2007-80 | June 2007
Prasad Naldurg, Stefan Schwoon, Sriram Rajamani, John Lambert
Proceedings of the 4th ACM Workshop on Formal Methods in Security Engineering: From Specifications to Code (FMSE) | November 2006
Bhargav Gulavani, Sriram Rajamani
Proceedings of 12th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS) | March 2006
Proceedings of the 4th International Conference on Software Engineering and Formal Methods (SEFM) | January 2006
Proceedings of the 4th International Conference on Software Engineering and Formal Methods (SEFM)
Vlad Levin, Robert Palmer, Shaz Qadeer, Sriram Rajamani
MSR-TR-2005-40 | April 2005
Shaz Qadeer, Sriram Rajamani
MSR-TR-2005-08 | January 2005
Tony Andrews, Shaz Qadeer, Sriram Rajamani, Jakob Rehof, Yichen Xie
Proceedings of the 16th International Conference on Computer Aided Verification (CAV 2004). | July 2004
Jim Larus, Thomas Ball, Manuvir Das , Robert DeLIne, Manuel Fahndrich, Jon Pincus, Sriram Rajamani, Ramanathan Venkatapathy
IEEE Software | May 2004, Vol 21: pp. 92-100
Thomas Ball, Byron Cook, Vladimir Levin, Sriram Rajamani
MSR-TR-2004-08 | January 2004
Shaz Qadeer, Sriram Rajamani, Jakob Rehof
Proceedings of the 31st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages | January 2004
Thomas Ball, Todd Millstein, Sriram Rajamani
MSR-TR-2001-10 | June 2002
Thomas A. Henzinger, Shaz Qadeer, Sriram Rajamani, Serdar Tasiran
Proceedings of the 2nd Conference on Formal Methods in Computer-Aided Design | January 2002
MSR-TR-2001-21 | January 2002
MSR-TR-2002-09 | January 2002
Thomas Ball, Andreas Podelski, Sriram Rajamani
MSR-TR-2001-106 | December 2001
Pradyumna YM, Vinod Ganesan, Dinesh Kumar Arumugam, Meghna Gupta, Nischith Shadagopan, Tanay Dixit, Sameer Segal, Pratyush Kumar, Mohit Jain, Sriram Rajamani
September 2023
Ed Cutrell, Srinath Bala, Chetan Bansal, Andrew Cross, Naren Datha, Aldo John, Rahul Kumar, Madhusudan Parthasarathy, Siddharth Prakash, Sriram Rajamani, Bill Thies
MSR-TR-2013-127 | December 2013
Rohit Sinha, Sriram Rajamani, Sanjit Seshia
Foundations of Software Engineering (FSE), 2017 | July 2017
Sanjit Seshia, Akash Lal, Rohit Sinha, Sriram Rajamani, Manuel Costa, Kapil Vaswani
Programming Languages Design and Implementation (PLDI) | June 2016
Rohit Sinha, Sriram Rajamani, Sanjit A. Seshia, Kapil Vaswani
The ACM Conference on Computer and Communications Security (CCS) | October 2015
Manuel Costa, Sriram Rajamani, Mark Russinovich, Kapil Vaswani, Orion Hodson, Marcus Peinado
MSR-TR-2015-67 | August 2015
Published by Microsoft
Shayak Sen, Saikat Guha, Anupam Dutta, Sriram Rajamani, Janice Tsai, Jeannette Wing
Proceedings of the 35th IEEE Symposium on Security & Privacy (Oakland) | May 2014
Ben Livshits, Aditya Nori, Sriram Rajamani, Anindya Banerjee
ACM SIGPLAN 2009 Conference on Programming Language Design and Implementation (PLDI) | June 2009
Anindya Banerjee, Benjamin Livshits, Aditya Nori, Sriram Rajamani, Ben Livshits
MSR-TR-2008-198 | December 2008
R. Alur, R. K. Brayton, T. A. Henzinger, Shaz Qadeer, Sriram Rajamani
Proceedings of the 9th International Conference on Computer-Aided Verification | March 2001
Thomas A. Henzinger , Shaz Qadeer, Sriram Rajamani
10th International Conference, CAV'98 | July 1998
R. Alur, T. Henzinger, F. Mang, Shaz Qadeer, Sriram Rajamani, S. Tasiran
Proceedings of the 10th International Conference on Computer-aided Verication (CAV) | January 1998
Shayak Sen, Saikat Guha, Anupam Dutta, Sriram Rajamani, Janice Tsai, Jeannette Wing
Proceedings of the 35th IEEE Symposium on Security & Privacy (Oakland) | May 2014
Shayak Sen, Saikat Guha, Anupam Datta, Sriram Rajamani, Janice Tsai, Jeannette Wing
MSR-TR-2014-36 | March 2014
Bhargav Gulavani, Sriram Rajamani
MSR-TR-2006-02 | January 2006
Cédric Fournet, Tony Hoare, Sriram Rajamani, Jakob Rehof
MSR-TR-2004-69 | July 2004
Proceedings of the SIGCOMM 2005 Workshop on Delay Tolerant Networking
MSR-TR-2000-14 | February 2000
Published by Microsoft
Ankush Desai, Shaz Qadeer, Sriram Rajamani, Sanjit Seshia,
MSR-TR-2015-28 | March 2015
Proceedings of the 18th international SPIN conference on Model checking software | July 2011
ISBN: 978-3-642-22305-1
, , Sriram Rajamani
MSR-TR-2011-5 | January 2011
Patrice Godefroid, Aditya Nori, Sriram Rajamani, Sai Deep Tetali
Principles of Programming Languages (POPL) | January 2010
Ben Livshits, Aditya Nori, Sriram Rajamani, Anindya Banerjee
ACM SIGPLAN 2009 Conference on Programming Language Design and Implementation (PLDI) | June 2009
Patrice Godefroid, Aditya Nori, Sriram Rajamani,
MSR-TR-2009-2 | January 2009
Nels E. Beckman, Aditya Nori, Sriram Rajamani, Robert J. Simmons
Proceedings of the International Symposium on Software Testing and Analysis (ISSTA) | July 2008
Nels Beckman, Aditya Nori, Sriram Rajamani, Robert Simmons
MSR-TR-2008-17 | January 2008
Bhargav Gulavani, Thomas A. Henzinger, Yamini Kannan, Aditya Nori, Sriram Rajamani
Proceedings of the 14th Annual Symposium on Foundations of Software Engineering (FSE, ACM SIGSOFT Distinguished Paper) | November 2006
Bhargav Gulavani, Thomas Henzinger, Yamini Kannan, Aditya Nori, Sriram Rajamani
MSR-TR-2006-76 | April 2006
Tony Andrews, Shaz Qadeer, Sriram Rajamani, Jakob Rehof, Yichen Xie
Proceedings of the 15th International Conference on Concurrency Theory | September 2004
Thomas Ball, Todd Millstein, Sriram Rajamani
MSR-TR-2001-10 | June 2002
Stephen Adams, Thomas Ball, Manuvir Das, Sorin Lerner, Sriram Rajamani, Mark Seigle, Westley Weimer
MSR-TR-2002-18 | April 2002
Andrew Cross, B. Ashok, Srinath Bala, Ed Cutrell, Naren Datha, Rahul Kumar, Viraj Kumar, Madhusudan Parthasarathy, Siddharth Prakash, Sriram Rajamani, Satish Sangameswaran, Deepika Sharma, Bill Thies
March 2014
Ed Cutrell, Srinath Bala, Chetan Bansal, Andrew Cross, Naren Datha, Aldo John, Rahul Kumar, Madhusudan Parthasarathy, Siddharth Prakash, Sriram Rajamani, Bill Thies
MSR-TR-2013-127 | December 2013
Sriram Rajamani, Ed Cutrell, Vidya Natampally, Siddharth Prakash
MSR-TR-2012-109 | October 2012
Ed Cutrell, Srinath Bala, Chetan Bansal, Andrew Cross, Naren Datha, Aldo John, Rahul Kumar, Madhusudan Parthasarathy, Siddharth Prakash, Sriram Rajamani, Bill Thies
MSR-TR-2013-127 | December 2013
Sriram Rajamani, Sumit Gulwani, Sriram Rajamani
AAAI | April 2012
AAAI
Christian Stefansen, Sriram Rajamani, Parameswaran Seshan
IEEE International Conference on Web Services (ICWS) | September 2008
Krishna Mehra, Prasad Sistla, Sriram Rajamani, Sumit K. Jha
Proceedings of the 5th IEEE International Conference on Software Engineering and Formal Methods (SEFM) | September 2007
Proceedings of the 5th IEEE International Conference on Software Engineering and Formal Methods (SEFM)
MSR-TR-2007-71 | June 2007
Thomas Ball, Ella Bounimova, Vladimir Levin, Jakob Lichtenberg, Con McGarvey, Bohus Ondrusek, Sriram Rajamani, Byron Cook, Abdullah Ustuner, Thomas Ball
EuroSys 2006 | April 2006
Naman Gupta, Shashank Kirtania, Priyanshu Gupta, Krishna Kariya, Sumit Gulwani, Arun Iyer, Suresh Parthasarathy, Arjun Radhakrishna, Sriram Rajamani, Gustavo Soares
October 2024
Preprint
Nalin Wadhwa, Jui Pradhan, Atharv Sonwane, Surya Prakash Sahu, Nagarajan Natarajan, Aditya Kanade, Suresh Parthasarathy, Sriram Rajamani
September 2023
Pradyumna YM, Vinod Ganesan, Dinesh Kumar Arumugam, Meghna Gupta, Nischith Shadagopan, Tanay Dixit, Sameer Segal, Pratyush Kumar, Mohit Jain, Sriram Rajamani
September 2023
Nagarajan Natarajan, Ajaykrishna Karthikeyan, Prateek Jain, Ivan Radicek, Sriram Rajamani, Sumit Gulwani, Johannes Gehrke
July 2020
R. Alur, R. K. Brayton, T. A. Henzinger, Shaz Qadeer, Sriram Rajamani
Proceedings of the 9th International Conference on Computer-Aided Verification | March 2001
Thomas A. Henzinger , Shaz Qadeer, Sriram Rajamani
10th International Conference, CAV'98 | July 1998
R. Alur, T. Henzinger, F. Mang, Shaz Qadeer, Sriram Rajamani, S. Tasiran
Proceedings of the 10th International Conference on Computer-aided Verication (CAV) | January 1998
Nalin Wadhwa, Jui Pradhan, Atharv Sonwane, Surya Prakash Sahu, Nagarajan Natarajan, Aditya Kanade (kanadeaditya), Suresh Parthasarathy (supartha), Sriram Rajamani (sriram)
FSE | July 2024
Ramakrishna Bairi, Atharv Sonwane, Aditya Kanade, Vageesh D C, Arun Iyer, Suresh Parthasarathy, Sriram Rajamani, B. Ashok, Shashank Shet
Neural Information Processing Systems Workshop on Foundation Models for Decision Making (FMDM-NeurIPS) | November 2023
Lakshya A Agrawal, Aditya Kanade, Navin Goyal, Shuvendu Lahiri, Sriram Rajamani
NeurIPS 2023 | June 2023
Preprint
Suresh Parthasarathy, Lincy Pattanaik, Anirudh Khatry, Arun Iyer, Arjun Radhakrishna, Sriram Rajamani, Mohammad Raza
Programming Language Design and Implementation (PLDI) | June 2022
Naman Jain, Skanda Vaidyanath, Arun Iyer, Nagarajan Natarajan, Suresh Parthasarathy, Sriram Rajamani, Rahul Sharma
International Conference on Software Engineering (ICSE) | May 2022
Partho Sarthi, Monojit Choudhury, Arun Iyer, Suresh Parthasarathy, Arjun Radhakrishna, Sriram Rajamani
International Joint Conference on Artificial Intelligence Workshop on Neuro-Symbolic Natural Language Inference (NSNLI-IJCAI) | August 2021
Arun Iyer, Manohar Jonnalagedda, Suresh Parthasarathy, Arjun Radhakrishna, Sriram Rajamani
Programming Language Design and Implementation (PLDI) | June 2019
Rohit Sinha, Sriram Rajamani, Sanjit Seshia
Foundations of Software Engineering (FSE), 2017 | July 2017
Sanjit Seshia, Akash Lal, Rohit Sinha, Sriram Rajamani, Manuel Costa, Kapil Vaswani
Programming Languages Design and Implementation (PLDI) | June 2016
Chung-Kil Hur, Aditya Nori, Sriram Rajamani
Foundations of Software Technology and Theoretical Computer Science (FSTTCS) | December 2015
Rohit Sinha, Sriram Rajamani, Sanjit A. Seshia, Kapil Vaswani
The ACM Conference on Computer and Communications Security (CCS) | October 2015
Aditya Nori, Sherjil Ozair, Sriram Rajamani, Deepak Vijaykeerthy,
Programming Language Design and Implementation (PLDI) | June 2015
Aditya Nori, Chung-Kil Hur, Sriram Rajamani, Selva Samuel
AAAI Conference on Artificial Intelligence (AAAI) | July 2014
Chung-Kil Hur, Aditya Nori, Sriram Rajamani, Selva Samuel
Programming Language Design and Implementation (PLDI) | June 2014
Shayak Sen, Saikat Guha, Anupam Dutta, Sriram Rajamani, Janice Tsai, Jeannette Wing
Proceedings of the 35th IEEE Symposium on Security & Privacy (Oakland) | May 2014
Andy Gordon, Thomas A. Henzinger, Aditya Nori, Sriram Rajamani
International Conference on Software Engineering (ICSE Future of Software Engineering) | May 2014
Andrew Cross, B. Ashok, Srinath Bala, Ed Cutrell, Naren Datha, Rahul Kumar, Viraj Kumar, Madhusudan Parthasarathy, Siddharth Prakash, Sriram Rajamani, Satish Sangameswaran, Deepika Sharma, Bill Thies
March 2014
Guillaume Claret, Sriram Rajamani, Aditya Nori, Andy Gordon, Johannes Borgström
ESEC/FSE 2013 Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering | August 2013
Arun Chaganty, Akash Lal, Aditya Nori, Sriram Rajamani
Computer Aided Verification (CAV) | July 2013
Ankush Desai, Vivek Gupta, Ethan Jackson, Shaz Qadeer, Sriram Rajamani, Damien Zufferey
Programming Languages Design and Implementation (PLDI) 2013 | June 2013
Arun T. Chaganty, Aditya Nori, Sriram Rajamani
Artificial Intelligence and Statistics (AISTATS) | April 2013
Andy Gordon, Aditya Nori, Sriram Rajamani
January 2013
Jose Faleiro, Sriram Rajamani, Kaushik Rajan, G. Ramalingam, Kapil Vaswani
Principles of Distributed Computing (PODC) | July 2012
Aws Albarghouthi, Rahul Kumar, Aditya Nori, Sriram Rajamani
Programming Languages Design and Implementation (PLDI) | June 2012
Sriram Rajamani, Sumit Gulwani, Sriram Rajamani
AAAI | April 2012
AAAI
Proceedings of the 18th international SPIN conference on Model checking software | July 2011
ISBN: 978-3-642-22305-1
Aditya Kanade, Rajeev Alur, Sriram Rajamani, G. Ramalingam
Foundations of Software Engineering (FSE) | November 2010
William R. Harris, Akash Lal, Aditya Nori, Sriram Rajamani
SAS '10: Static Analysis Symposium | September 2010
Kaushik Rajan, Sriram Rajamani, Shashank Yaduvanshi
Proceedings of Programming Language Design and Implementation (PLDI 2010) | June 2010
International Conference on Software Engineering (ICSE) | May 2010
Nels E. Beckman, Aditya Nori, Sriram Rajamani, Robert J. Simmons, Sai Deep Tetali, Aditya V. Thakur
IEEE Transactions on Software Engineering (special issue on the ISSTA 2008 best papers) | March 2010
ISSTA 2008 best papers
Patrice Godefroid, Aditya Nori, Sriram Rajamani, Sai Deep Tetali
Principles of Programming Languages (POPL) | January 2010
B. Ashok, Joseph Joy, Hongkang Liang, Sriram Rajamani, Gopal Srinivasa, Vipindeep Vangala
Foundations of Software Engineering (ESEC/FSE) | August 2009
Foundations of Software Engineering (ESEC/FSE)
Ben Livshits, Aditya Nori, Sriram Rajamani, Anindya Banerjee
ACM SIGPLAN 2009 Conference on Programming Language Design and Implementation (PLDI) | June 2009
Aditya Nori, Sriram Rajamani, Sai Deep Tetali, Aditya V. Thakur,
TACAS '09: Tools and Algorithms for the Construction and Analysis of Systems | March 2009
Sriram Rajamani, G. Ramalingam, Venkatesh-Prasad Ranganath, Kapil Vaswani
Proceedings of the Symposium on Architectural Support for Programming Languages and Operating Systems (ASPLOS) | March 2009
Manuel Fahndrich, Sriram Rajamani, Jakob Rehof
Perspectives On Concurrency, Festchrift for Prof. P. S. Thiagarajan's 60th birthday, K. Lodaya, M. Mukund and R. Ramanujam (eds) | December 2008
Avik Chaudhuri, Prasad Naldurg, G. Ramalingam, Sriram Rajamani, L. Velaga
ACM Conference on Computer and Communications Security (CCS) | October 2008
ACM Conference on Computer and Communications Security (CCS)
Madhu Gopinathan, Sriram Rajamani
ACM SIGPLAN Conference on Object Oriented Programming, Systems, Languages and Applications (OOPSLA) | October 2008
ACM SIGPLAN Conference on Object Oriented Programming, Systems, Languages and Applications (OOPSLA)
Shilpa Bugde, Nachi Nagappan, Sriram Rajamani, G. Ramalingam
International Conference on Global Software Engineering (IGCSE) | October 2008
International Conference on Global Software Engineering (IGCSE)
Christian Stefansen, Sriram Rajamani, Parameswaran Seshan
IEEE International Conference on Web Services (ICWS) | September 2008
Nels E. Beckman, Aditya Nori, Sriram Rajamani, Robert J. Simmons
Proceedings of the International Symposium on Software Testing and Analysis (ISSTA) | July 2008
Avik Chaudhuri, Prasad Naldurg, Sriram Rajamani
ACM Workshop on Programming Languages and Analysis for Security (PLAS) | June 2008
ACM Workshop on Programming Languages and Analysis for Security (PLAS)
Sriram Rajamani, G. Ramalingam, Venkatesh-Prasad Ranganath, Kapil Vaswani
Proceedings of the Workshop on Exploiting Concurrency Efficiently and Correctly (EC2) | June 2008
Madhu Gopinathan, Sriram Rajamani
8th workshop on Runtime Verification (RV) | March 2008
Bhargav Gulavani, Supratik Chakraborty, Aditya Nori, Sriram Rajamani
Proceedings of the 14th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS) | March 2008
Prakash Chandrasekaran, Christopher L. Conway, Joseph Joy, Sriram Rajamani
Proceedings of the 6th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE) | September 2007
Krishna Mehra, Prasad Sistla, Sriram Rajamani, Sumit K. Jha
Proceedings of the 5th IEEE International Conference on Software Engineering and Formal Methods (SEFM) | September 2007
Proceedings of the 5th IEEE International Conference on Software Engineering and Formal Methods (SEFM)
Bhargav Gulavani, Thomas A. Henzinger, Yamini Kannan, Aditya Nori, Sriram Rajamani
Proceedings of the 14th Annual Symposium on Foundations of Software Engineering (FSE, ACM SIGSOFT Distinguished Paper) | November 2006
Prasad Naldurg, Stefan Schwoon, Sriram Rajamani, John Lambert
Proceedings of the 4th ACM Workshop on Formal Methods in Security Engineering: From Specifications to Code (FMSE) | November 2006
Thomas Ball, Ella Bounimova, Vladimir Levin, Jakob Lichtenberg, Con McGarvey, Bohus Ondrusek, Sriram Rajamani, Byron Cook, Abdullah Ustuner, Thomas Ball
EuroSys 2006 | April 2006
Bhargav Gulavani, Sriram Rajamani
Proceedings of 12th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS) | March 2006
Proceedings of the 4th International Conference on Software Engineering and Formal Methods (SEFM) | January 2006
Proceedings of the 4th International Conference on Software Engineering and Formal Methods (SEFM)
Tony Andrews, Shaz Qadeer, Sriram Rajamani, Jakob Rehof, Yichen Xie
Proceedings of the 15th International Conference on Concurrency Theory | September 2004
Tony Andrews, Shaz Qadeer, Sriram Rajamani, Jakob Rehof, Yichen Xie
Proceedings of the 16th International Conference on Computer Aided Verification (CAV 2004). | July 2004
Shaz Qadeer, Sriram Rajamani, Jakob Rehof
Proceedings of the 31st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages | January 2004
Thomas A. Henzinger, Shaz Qadeer, Sriram Rajamani, Serdar Tasiran
Proceedings of the 2nd Conference on Formal Methods in Computer-Aided Design | January 2002
Thomas Ball, Sagar Chaki, Sriram Rajamani
MSR-TR-2000-116 | December 2000
Published by Microsoft
Thomas Ball, Andreas Podelski, Sriram Rajamani
MSR-TR-2000-115 | December 2000
Published by Microsoft
MSR-TR-2000-14 | February 2000
Published by Microsoft
Aleksandar Chakarov, Aditya Nori, Sriram Rajamani, Shayak Sen, Deepak Vijaykeerthy
MSR-TR-2016-1135 | March 2016
Manuel Costa, Sriram Rajamani, Mark Russinovich, Kapil Vaswani, Orion Hodson, Marcus Peinado
MSR-TR-2015-67 | August 2015
Published by Microsoft
Ankush Desai, Shaz Qadeer, Sriram Rajamani, Sanjit Seshia,
MSR-TR-2015-28 | March 2015
Shayak Sen, Saikat Guha, Anupam Datta, Sriram Rajamani, Janice Tsai, Jeannette Wing
MSR-TR-2014-36 | March 2014
Ed Cutrell, Srinath Bala, Chetan Bansal, Andrew Cross, Naren Datha, Aldo John, Rahul Kumar, Madhusudan Parthasarathy, Siddharth Prakash, Sriram Rajamani, Bill Thies
MSR-TR-2013-127 | December 2013
Aditya Nori, Chung-Kil Hur, Sriram Rajamani, Selva Samuel
MSR-TR-2013-109 | October 2013
Sagar Chordia, Sriram Rajamani, Kaushik Rajan, G. Ramalingam, Kapil Vaswani
MSR-TR-2013-71 | July 2013
International Symposium on Distributed Computing (DISC)
Andrew D. Gordon, Mihhail Aizatulin, Guillaume Claret, Thore Graepel, Aditya Nori, Sriram Rajamani, Claudio Russo, Johannes Borgstroem, Andy Gordon
MSR-TR-2013-1 | January 2013
Published by Microsoft
, Vivek Gupta, Ethan Jackson, Shaz Qadeer, Sriram Rajamani,
MSR-TR-2012-116 | November 2012
Sriram Rajamani, Ed Cutrell, Vidya Natampally, Siddharth Prakash
MSR-TR-2012-109 | October 2012
, , Sriram Rajamani
MSR-TR-2011-5 | January 2011
William R. Harris, Akash Lal, Aditya Nori, Sriram Rajamani
MSR-TR-2010-61 | May 2010
Patrice Godefroid, Aditya Nori, Sriram Rajamani,
MSR-TR-2009-2 | January 2009
Anindya Banerjee, Benjamin Livshits, Aditya Nori, Sriram Rajamani, Ben Livshits
MSR-TR-2008-198 | December 2008
Sriram Rajamani, G. Ramalingam, Venkatesh-Prasad Ranganath, Kapil Vaswani
MSR-TR-2008-91 | June 2008
Nels Beckman, Aditya Nori, Sriram Rajamani, Robert Simmons
MSR-TR-2008-17 | January 2008
MSR-TR-2007-71 | June 2007
Prakash Chandrasekaran, Christopher Conway, Joseph Joy, Sriram Rajamani
MSR-TR-2007-80 | June 2007
Bhargav Gulavani, Thomas Henzinger, Yamini Kannan, Aditya Nori, Sriram Rajamani
MSR-TR-2006-76 | April 2006
Bhargav Gulavani, Sriram Rajamani
MSR-TR-2006-02 | January 2006
Vlad Levin, Robert Palmer, Shaz Qadeer, Sriram Rajamani
MSR-TR-2005-40 | April 2005
Shaz Qadeer, Sriram Rajamani
MSR-TR-2005-08 | January 2005
Cédric Fournet, Tony Hoare, Sriram Rajamani, Jakob Rehof
MSR-TR-2004-69 | July 2004
Proceedings of the SIGCOMM 2005 Workshop on Delay Tolerant Networking
Thomas Ball, Byron Cook, Vladimir Levin, Sriram Rajamani
MSR-TR-2004-08 | January 2004
Thomas Ball, Todd Millstein, Sriram Rajamani
MSR-TR-2001-10 | June 2002
Stephen Adams, Thomas Ball, Manuvir Das, Sorin Lerner, Sriram Rajamani, Mark Seigle, Westley Weimer
MSR-TR-2002-18 | April 2002
MSR-TR-2001-21 | January 2002
MSR-TR-2002-09 | January 2002
Thomas Ball, Andreas Podelski, Sriram Rajamani
MSR-TR-2001-106 | December 2001
G. Ramalingam, Sriram Rajamani, Venkatesh-Prasad Ranganath, Kapil Vaswani, Jyotirmoy Vinay Deshmukh
December 2008
Patrice Godefroid, Peli de Halleux, Aditya Nori, Sriram Rajamani, Wolfram Schulte, Nikolai Tillmann, Michael Y. Levin
IEEE Software, Special Issue on Software Development Tools | October 2008
Jim Larus, Thomas Ball, Manuvir Das , Robert DeLIne, Manuel Fahndrich, Jon Pincus, Sriram Rajamani, Ramanathan Venkatapathy
IEEE Software | May 2004, Vol 21: pp. 92-100
