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.
-
-
-
Windows colleagues
- Rahul Kumar
- Vladimir Levin
- Jakob Lichtenberg
Collaborators
- Supratik Chakraborty (opens in new tab) (IIT Bombay)
- Patrice Godefroid (MSR Redmond)
- Thomas A. Henzinger (opens in new tab) (EPFL)
- Akash Lal (MSR India)
Interns
- 2011: Aws Albarghouthi (opens in new tab) (UToronto)
- 2010: Abhishek Katyal (IIT Delhi), Rahul Sharma (Btech thesis, IIT Delhi), Zachary Tatlock (UCSD)
- 2009: Vijay Victor D’Silva (opens in new tab) (Oxford University), William Harris (opens in new tab) (Wisconsin), Sai Deep Tetali (UCLA)
- 2008: Bhargav S. Gulavani (opens in new tab)(IIT Bombay), Aditya Thakur (Wisconsin)
- 2007: Nels E. Beckman (opens in new tab)(CMU), Robert J. Simmons (opens in new tab)(CMU)
- 2006: Bhargav S. Gulavani (opens in new tab)(IIT Bombay), Yamini Kannan (UC Berkeley)
People
People
Aditya Nori
General Manager, Healthcare
Sriram Rajamani
Corporate Vice President and Managing Director, Microsoft Research India Lab