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, Jonathan "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
-
-
-
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, Jonathan "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
-
-
-
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, Jonathan "Peli" de Halleux, Aditya Nori, Sriram Rajamani, Wolfram Schulte, Nikolai Tillmann, Michael Y. Levin
IEEE Software, Special Issue on Software Development Tools | October 2008
-
人数
Aditya Nori
Partner Research Manager
Sriram Rajamani
Corporate Vice President, Microsoft Research