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