Yogi Logo
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 static analysis and testing can be harnessed to efficiently validate software.
Papers
  • Proofs from Tests. Nels E. Beckman, Aditya V. Nori, Sriram K. Rajamani and Robert J. Simmons. To appear in ISSTA '08: International Symposium on Software Testing and Analysis, July 2008
  • Automatically Refining Abstract Interpretations. Bhargav S. Gulavani, Supratik Chakraborty, Aditya V. Nori and Sriram K. Rajamani. In TACAS '08: 14th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, March 2008
  • Synergy: A New Algorithm for Property Checking. Bhargav S. Gulavani, Thomas A. Henzinger, Yamini Kannan, Aditya V. Nori and Sriram K. Rajamani. In FSE '06: 14th Annual Symposium on Foundations of Software Engineering, November 2006 (ACM SIGSOFT Distinguished Paper)

Presentations
People
Collaborators
Interns & Alumni
 

 

 
Contact

Please send inquiries about the Yogi project to yogis@microsoft.com