Sai Tetali
.
I am working with the Rigorous Software Engineering and Advanced Development and Prototyping teams in Microsoft Research India.
I am currently working on the Yogi project.
My CV is here.
The work I had done before joining MSR is here.
Updates:
- SMASH technical report online.
- TACAS paper accepted.
Publications
- Aditya V. Nori, Sriram K. Rajamani, Sai Deep Tetali, and Aditya V. Thakur, The Yogi Project: Software Property Checking via Static Analysis and Testing, in TACAS '09: Tools and Algorithms for the Construction and Analysis of Systems, Springer Verlag, March 2009
- Patrice Godefroid, Aditya V. Nori, Sriram K. Rajamani, and SaiDeep Tetali, Compositional May-Must Program Analysis: Unleashing The Power of Alternation, no. MSR-TR-2009-2, January 2009
