Parallelizing Top-Down Interprocedural Analyses
Aws Albarghouthi, Rahul Kumar, Aditya Nori, Sriram Rajamani
Programming Languages Design and Implementation (PLDI) | June 2012
Publications
Publications by Year
-
-
Alternation for Termination
William R. Harris, Akash Lal, Aditya Nori, Sriram Rajamani
SAS '10: Static Analysis Symposium | September 2010
Alternation for Termination
William R. Harris, Akash Lal, Aditya Nori, Sriram Rajamani
MSR-TR-2010-61 | May 2010
An Empirical Study of Optimizations in Yogi
International Conference on Software Engineering (ICSE) | May 2010
Proofs from Tests
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
Compositional May-Must Program Analysis: Unleashing the Power of Alternation
Patrice Godefroid, Aditya Nori, Sriram Rajamani, Sai Deep Tetali
Principles of Programming Languages (POPL) | January 2010
-
The Yogi Project: Software Property Checking via Static Analysis and Testing
Aditya Nori, Sriram Rajamani, Sai Deep Tetali, Aditya V. Thakur,
TACAS '09: Tools and Algorithms for the Construction and Analysis of Systems | March 2009
Compositional May-Must Program Analysis: Unleashing The Power of Alternation
Patrice Godefroid, Aditya Nori, Sriram Rajamani,
MSR-TR-2009-2 | January 2009
-
Automated Software Testing Using Program Analysis
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
Proofs from Tests
Nels E. Beckman, Aditya Nori, Sriram Rajamani, Robert J. Simmons
Proceedings of the International Symposium on Software Testing and Analysis (ISSTA) | July 2008
Automatically Refining Abstract Interpretations
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
-
Synergy: A New Algorithm for Property Checking
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
Publications by Research Area
-
Parallelizing Top-Down Interprocedural Analyses
Aws Albarghouthi, Rahul Kumar, Aditya Nori, Sriram Rajamani
Programming Languages Design and Implementation (PLDI) | June 2012
Alternation for Termination
William R. Harris, Akash Lal, Aditya Nori, Sriram Rajamani
SAS '10: Static Analysis Symposium | September 2010
Alternation for Termination
William R. Harris, Akash Lal, Aditya Nori, Sriram Rajamani
MSR-TR-2010-61 | May 2010
An Empirical Study of Optimizations in Yogi
International Conference on Software Engineering (ICSE) | May 2010
Proofs from Tests
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
Compositional May-Must Program Analysis: Unleashing the Power of Alternation
Patrice Godefroid, Aditya Nori, Sriram Rajamani, Sai Deep Tetali
Principles of Programming Languages (POPL) | January 2010
The Yogi Project: Software Property Checking via Static Analysis and Testing
Aditya Nori, Sriram Rajamani, Sai Deep Tetali, Aditya V. Thakur,
TACAS '09: Tools and Algorithms for the Construction and Analysis of Systems | March 2009
Compositional May-Must Program Analysis: Unleashing The Power of Alternation
Patrice Godefroid, Aditya Nori, Sriram Rajamani,
MSR-TR-2009-2 | January 2009
Automated Software Testing Using Program Analysis
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
Automatically Refining Abstract Interpretations
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
-
Compositional May-Must Program Analysis: Unleashing the Power of Alternation
Patrice Godefroid, Aditya Nori, Sriram Rajamani, Sai Deep Tetali
Principles of Programming Languages (POPL) | January 2010
Compositional May-Must Program Analysis: Unleashing The Power of Alternation
Patrice Godefroid, Aditya Nori, Sriram Rajamani,
MSR-TR-2009-2 | January 2009
Proofs from Tests
Nels E. Beckman, Aditya Nori, Sriram Rajamani, Robert J. Simmons
Proceedings of the International Symposium on Software Testing and Analysis (ISSTA) | July 2008
Synergy: A New Algorithm for Property Checking
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
Publications by Type
-
Parallelizing Top-Down Interprocedural Analyses
Aws Albarghouthi, Rahul Kumar, Aditya Nori, Sriram Rajamani
Programming Languages Design and Implementation (PLDI) | June 2012
Alternation for Termination
William R. Harris, Akash Lal, Aditya Nori, Sriram Rajamani
SAS '10: Static Analysis Symposium | September 2010
An Empirical Study of Optimizations in Yogi
International Conference on Software Engineering (ICSE) | May 2010
Proofs from Tests
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
Compositional May-Must Program Analysis: Unleashing the Power of Alternation
Patrice Godefroid, Aditya Nori, Sriram Rajamani, Sai Deep Tetali
Principles of Programming Languages (POPL) | January 2010
The Yogi Project: Software Property Checking via Static Analysis and Testing
Aditya Nori, Sriram Rajamani, Sai Deep Tetali, Aditya V. Thakur,
TACAS '09: Tools and Algorithms for the Construction and Analysis of Systems | March 2009
Proofs from Tests
Nels E. Beckman, Aditya Nori, Sriram Rajamani, Robert J. Simmons
Proceedings of the International Symposium on Software Testing and Analysis (ISSTA) | July 2008
Automatically Refining Abstract Interpretations
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
Synergy: A New Algorithm for Property Checking
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
-
Alternation for Termination
William R. Harris, Akash Lal, Aditya Nori, Sriram Rajamani
MSR-TR-2010-61 | May 2010
Compositional May-Must Program Analysis: Unleashing The Power of Alternation
Patrice Godefroid, Aditya Nori, Sriram Rajamani,
MSR-TR-2009-2 | January 2009
-
Automated Software Testing Using Program Analysis
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
People
Aditya Nori
Partner Research Manager
Sriram Rajamani
Corporate Vice President, Microsoft Research