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
Aditya Nori
Partner Research Manager
Sriram Rajamani
Corporate Vice President, Microsoft Research