The Yogi Project
Yogi is a research project within the Rigorous Software Engineering group at Microsoft Research India on software property checking. Our goal is to build a scalable software property checker by systematically combining static analysis with testing. We believe that this synergy of testing and static analysis can be harnessed to efficiently validate software.
Collaborators
- Supratik Chakraborty (IIT Bombay)
- Patrice Godefroid (MSR Redmond)
- Thomas A. Henzinger (EPFL)
Interns
- 2009: Vijay Victor D'Silva (Oxford University), William Harris (Wisconsin), Sai Deep Tetali (MSR India --> UCLA)
- 2007-2008: Aditya V. Thakur (MSR India --> Wisconsin)
- 2008: Bhargav S. Gulavani (IIT Bombay)
- 2007: Nels E. Beckman (CMU), Robert J. Simmons (CMU)
- 2006-2007: Yamini Kannan (MSR India --> UC Berkeley)
- 2006: Bhargav S. Gulavani (IIT Bombay)
Publications
- Nels E. Beckman, Aditya V. Nori, Sriram K. Rajamani, Robert J. Simmons, Sai Deep Tetali, and Aditya V. Thakur, Proofs from Tests, in IEEE Transactions on Software Engineering (special issue on the ISSTA 2008 best papers), IEEE, February 2010
- Patrice Godefroid, Aditya V. Nori, Sriram K. Rajamani, and Sai Deep Tetali, Compositional May-Must Program Analysis: Unleashing the Power of Alternation, in Principles of Programming Languages (POPL), Association for Computing Machinery, Inc., January 2010
- Aditya V. Nori, Sriram K. Rajamani, Sai Deep Tetali, and Aditya V. Thakur, The Yogi Project: Software Property Checking via Static Analysis and Testing, in TACAS '09: Tools and Algorithms for the Construction and Analysis of Systems, Springer Verlag, March 2009
- Patrice Godefroid, Peli de Halleux, Michael Y. Levin, Aditya V. Nori, Sriram K. Rajamani, Wolfram Schulte, and Nikolai Tillmann, Automated Software Testing Using Program Analysis, in IEEE Software: Special Issue on Software Development Tools, IEEE Computer Society, October 2008
- Nels E. Beckman, Aditya V. Nori, Sriram K. Rajamani, and Robert J. Simmons, Proofs from Tests, in Proceedings of the International Symposium on Software Testing and Analysis (ISSTA), Association for Computing Machinery, Inc., July 2008
- Bhargav S. Gulavani, Supratik Chakraborty, Aditya V. Nori, and Sriram K. Rajamani, Automatically Refining Abstract Interpretations, in Proceedings of the 14th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), March 2008
- Bhargav S. Gulavani, Thomas A. Henzinger, Yamini Kannan, Aditya V. Nori, and Sriram K. Rajamani, Synergy: A New Algorithm for Property Checking, in Proceedings of the 14th Annual Symposium on Foundations of Software Engineering (FSE, ACM SIGSOFT Distinguished Paper) , Association for Computing Machinery, Inc., November 2006
Presentations
- The Yogi Project: Software Property Checking via Static Analysis and Testing (TACAS 2009)
- Proofs from Tests (ISSTA 2008)
- Synergy: A New Algorithm for Property Checking (FSE 2006)
Related Projects
Contact
Please send inquiries about the Yogi project to adityan [AT] microsoft.com or sriram[AT] microsoft.com
