Aditya Nori
I am a member of the Rigorous Software Engineering group at Microsoft Research India. My research interests include algorithms for the analysis of programs with special focus on tools for improving software reliability and programmer productivity. I obtained my PhD from the Indian Institute of Science, Bangalore and Priti Shankar was my advisor
Recent Publications
A complete list of publications can be found here.
- Nels E. Beckman, Aditya V. Nori, Sriram K. Rajamani, Robert J. Simmons, Sai Deep Tetali, and Aditya V. Thakur, Proofs from Tests, in IEEE Transactions on Software Engineering: Special Issue on the ISSTA 2008 Best Papers, February 2010
- Patrice Godefroid, Aditya V. Nori, Sriram K. Rajamani, and Sai Deep Tetali, Compositional May-Must Program Analysis: Unleashing the Power of Alternation, in Principles of Programming Languages (POPL), January 2010
- Bhargav S. Gulavani, Supratik Chakraborty, G. Ramalingam, Aditya V. Nori, Bottom-up Shape Analysis, in SAS '09: Static Analysis Symposium, August 2009
- Michael C. Tschantz, Aditya V. Nori, Measuring the Loss of Privacy from Statistics, in QA '09: Workshop on Quantitative Analysis of Software (with CAV '09), June 2009
- Benjamin Livshits, Aditya V. Nori, Sriram K. Rajamani, Anindya Banerjee, Merlin: Specification Inference for Explicit Information Flow Problems, in PLDI '09: Programming Language Design and Implementation, June 2009
- Trishul Chilimbi, Ben Liblit, Krishna Mehra, Aditya V. Nori, Kapil Vaswani, Holmes: Effective Statistical Debugging via Efficient Path Profiling, in ICSE '09: International Conference on Software Engineering, May 2009
- Aditya V. Nori, Sriram K. Rajamani, Sai Deep Tetali, 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, March 2009
Projects
- Yogi: a software property checking tool that systematically combines testing with static analysis
- Merlin: a specification inference engine for explicit information flow problems
- Holmes: an adaptive profiling technique used for efficient statistical debugging
- Preferential Path Profiling (PPP): an efficient profiling algorithm for control flow path segments in programs
Activities
- Program Committees: ICST '10, ISSRE '09, SSS '09, FSTTCS '09, SAS '09, ISSTA '09, ISSRE '08
- Teaching: Program Analysis & Verification, Indian Institute of Science, Fall 2008, Fall 2007 (with Deepak D'Souza and Sriram Rajamani)
Contact
Address: "Scientia", 196/36, 2nd Main, Sadashivnagar, Bangalore 560 080 Email: adityan AT microsoft.com
Phone: 91-80 -66586000
Fax: 91-80-23614657
