The Yogi Project

설립: August 1, 2007

출판물

자료 보기:

- 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
  
  Aditya Nori, Sriram Rajamani
  
  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
  
  Aditya Nori, Sriram Rajamani
  
  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
  
  Aditya Nori, Sriram Rajamani
  
  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