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/Selected Publications
A complete list of publications can be found here.
- Patrice Godefroid, Aditya V. Nori, Sriram Rajamani, Sai Deep Tetali, Compositional May-Must Program Analysis: Unleashing The Power of Alternation, MSR-TR-2009-2, January 2009
- Bhargav S. Gulavani, Supratik Chakraborty, G. Ramalingam, Aditya V. Nori, Bottom-up Shape Analysis, To appear in SAS '09: Static Analysis Symposium, August 2009
- Michael C. Tschantz, Aditya V. Nori, Measuring the Loss of Privacy from Statistics, To appear 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, SaiDeep 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
- Patrice Godefroid, Peli de Halleux, Michael Y. Levin, Aditya V. Nori, Sriram K. Rajamani, Wolfram Schulte, Nikolai Tillmann, Automated Software Testing Using Program Analysis, in IEEE Software: Special Issue on Software Development Tools, October 2008
- Nels E. Beckman, Aditya V. Nori, Sriram K. Rajamani, Robert J. Simmons, Proofs from Tests, in ISSTA '08: International Symposium on Software Testing and Analysis, July 2008
- Kapil Vaswani, Aditya V. Nori, Trishul Chilimbi, Preferential Path Profiling: Compactly Numbering Interesting Paths, in POPL '07: Principles of Programming Languages, January 2007
- Bhargav S. Gulavani, Thomas A. Henzinger, Yamini Kannan, Aditya V. Nori, Sriram K. Rajamani, Synergy: A New Algorithm for Property Checking, in FSE '06: Foundations of Software Engineering (ACM SIGSOFT Distinguished Paper), November 2006
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: 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
