Project
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…
Publication
The EP Energy Function and Minimization Schemes
Publication