Aditya V. Nori

Contact information Address: "Scientia", 196/36 2nd Main, Sadashivnagar, Bangalore 560 080 Email: adityan at microsoft dot com Phone: 91-80 -66586000 Fax: 91-80-23614657 Research interests I am a member of the Rigorous Software Engineering group at Microsoft Research India. My research interests include static and dynamic analysis of programs and tools for improving software reliability and programmer productivity.

Projects

• Yogi is a software property checking project. Our goal is to build a scalable software property checker by systematically combining testing with static analysis
• Preferential Path Profiling (PPP) is a joint project with the RAD group at MSR. PPP is a novel scheme for efficiently profiling paths in programs

Activities

• Program Committee: ISSRE '08
• Program Analysis and Verification, Indian Institute of Science, Fall 2007 (with Deepak D'Souza and Sriram Rajamani)

A complete list of publications can be found here.

• Nels E. Beckman, Aditya V. Nori, Sriram K. Rajamani and Robert J. Simmons. Proofs from Tests. To appear in ISSTA '08: International Symposium on Software Testing and Analysis, July 2008

• Bhargav S. Gulavani, Supratik Chakraborty, Aditya V. Nori and Sriram K. Rajamani. Automatically Refining Abstract Interpretations. TACAS '08: 14th International Conference on Tools and Algorithms for the Construction and Analysis of Systems,  March 2008

• Trishul M. Chilimbi, Aditya V. Nori and Kapil Vaswani. Quantifying the Effectiveness of Testing via Efficient Residual Path Profiling (extended abstract). In ESEC-FSE '07: 6th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering,  September 2007

• Kapil Vaswani, Aditya V. Nori and Trishul M. Chilimbi. Preferential Path Profiling: Compactly Numbering Interesting Paths. In POPL '07:  34th Annual Symposium on Principles of Programming Languages,  January 2007

• Bhargav S. Gulavani, Thomas A. Henzinger, Yamini Kannan, Aditya V. Nori and Sriram K. Rajamani. Synergy: A New Algorithm for Property Checking. In FSE '06: 14th Annual Symposium on Foundations of Software Engineering,  November 2006 (ACM-SIGSOFT Distinguished Paper)

• Aditya V. Nori and Priti Shankar. Unifying Views of Tail-Biting Constructions for Linear Block Codes. IEEE Transactions on Information Theory, October 2006