The Yogi Project

Established: August 1, 2007

Publications

View by:

- Parallelizing Top-Down Interprocedural Analyses
  
  Aws Albarghouthi, Rahul Kumar, Aditya Nori, Sriram Rajamani
  
  Programming Languages Design and Implementation (PLDI) | June 2012
  
  Publication
- Alternation for Termination
  
  William R. Harris, Akash Lal, Aditya Nori, Sriram Rajamani
  
  SAS '10: Static Analysis Symposium | September 2010
  
  Publication
- Alternation for Termination
  
  William R. Harris, Akash Lal, Aditya Nori, Sriram Rajamani
  
  MSR-TR-2010-61 | May 2010
  
  Publication
- An Empirical Study of Optimizations in Yogi
  
  Aditya Nori, Sriram Rajamani
  
  International Conference on Software Engineering (ICSE) | May 2010
  
  Publication
- 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
  
  Publication
- 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
  
  Publication Project
- 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
  
  Publication
- Compositional May-Must Program Analysis: Unleashing The Power of Alternation
  
  Patrice Godefroid, Aditya Nori, Sriram Rajamani,
  
  MSR-TR-2009-2 | January 2009
  
  Publication
- 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
  
  Publication Publication Project Project
- 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
  
  Publication
- 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
  
  Publication
- 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
  
  Publication

- Parallelizing Top-Down Interprocedural Analyses
  
  Aws Albarghouthi, Rahul Kumar, Aditya Nori, Sriram Rajamani
  
  Programming Languages Design and Implementation (PLDI) | June 2012
  
  Publication
- Alternation for Termination
  
  William R. Harris, Akash Lal, Aditya Nori, Sriram Rajamani
  
  SAS '10: Static Analysis Symposium | September 2010
  
  Publication
- Alternation for Termination
  
  William R. Harris, Akash Lal, Aditya Nori, Sriram Rajamani
  
  MSR-TR-2010-61 | May 2010
  
  Publication
- An Empirical Study of Optimizations in Yogi
  
  Aditya Nori, Sriram Rajamani
  
  International Conference on Software Engineering (ICSE) | May 2010
  
  Publication
- 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
  
  Publication
- 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
  
  Publication Project
- 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
  
  Publication
- Compositional May-Must Program Analysis: Unleashing The Power of Alternation
  
  Patrice Godefroid, Aditya Nori, Sriram Rajamani,
  
  MSR-TR-2009-2 | January 2009
  
  Publication
- 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
  
  Publication Publication Project Project
- 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
  
  Publication
- 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
  
  Publication Project
- Compositional May-Must Program Analysis: Unleashing The Power of Alternation
  
  Patrice Godefroid, Aditya Nori, Sriram Rajamani,
  
  MSR-TR-2009-2 | January 2009
  
  Publication
- 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
  
  Publication
- 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
  
  Publication

- Parallelizing Top-Down Interprocedural Analyses
  
  Aws Albarghouthi, Rahul Kumar, Aditya Nori, Sriram Rajamani
  
  Programming Languages Design and Implementation (PLDI) | June 2012
  
  Publication
- Alternation for Termination
  
  William R. Harris, Akash Lal, Aditya Nori, Sriram Rajamani
  
  SAS '10: Static Analysis Symposium | September 2010
  
  Publication
- An Empirical Study of Optimizations in Yogi
  
  Aditya Nori, Sriram Rajamani
  
  International Conference on Software Engineering (ICSE) | May 2010
  
  Publication
- 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
  
  Publication
- 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
  
  Publication Project
- 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
  
  Publication
- 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
  
  Publication
- 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
  
  Publication
- 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
  
  Publication
- Alternation for Termination
  
  William R. Harris, Akash Lal, Aditya Nori, Sriram Rajamani
  
  MSR-TR-2010-61 | May 2010
  
  Publication
- Compositional May-Must Program Analysis: Unleashing The Power of Alternation
  
  Patrice Godefroid, Aditya Nori, Sriram Rajamani,
  
  MSR-TR-2009-2 | January 2009
  
  Publication
- 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
  
  Publication Publication Project Project

People

Aditya Nori

Partner Research Manager

Learn more

Sriram Rajamani

Corporate Vice President, Microsoft Research

Learn more