Contact information
Research interestsI 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. |
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