I am a member of the PLATO and MLO areas at Microsoft Research India. I am also an adjunct professor at IIT Hyderabad. My research interests include algorithms for the analysis of programs and machine learning 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.
- Rahul Sharma, Aditya V. Nori and Alex Aiken, Interpolants as Classifiers, MSR-TR-2012-13, January 2012
- Aws Albarghouthi, Rahul Kumar, Aditya V. Nori and Sriram K. Rajamani, Parallelizing Top-down Interprocedural Analyses, in PLDI '12: Programming Languages Design and Implementation, June 2012
- Bhargav S. Gulavani, Supratik Chakraborty, G. Ramalingam and Aditya V. Nori, Bottom-up Shape Analysis using LISF, in TOPLAS: Transactions on Programming Languages and Systems, November 2011
- Nels E. Beckman and Aditya V. Nori, Probabilistic, Modular and Scalable Inference of Typestate Specifications, in PLDI '11: Programming Languages Design and Implementation, June 2011
- William R. Harris, Akash Lal, Aditya V. Nori and Sriram K. Rajamani, Alternation for Termination, in SAS '10: Static Analysis Symposium, September 2010
- Bhargav S. Gulavani, Supratik Chakraborty, Aditya V. Nori, and Sriram K. Rajamani, Refining Abstract Interpretations, in Information Processing Letters, May 2010
- Aditya V. Nori and Sriram K. Rajamani, An Empirical Study of Optimizations in Yogi, in ICSE '10: International Conference on Software Engineering, May 2010
- 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, March 2010
- Patrice Godefroid, Aditya V. Nori, Sriram K. Rajamani, and Sai Deep Tetali, Compositional May-Must Program Analysis: Unleashing the Power of Alternation, in POPL '10: Principles of Programming Languages, January 2010
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:
- Upcoming: ICSE 2013 Tutorials (co-chair), ATVA 2012, FTfJP 2012, ICSE 2012 SRC, ISSTA 2012
- Past: POPL 2012 (ERC), FSE 2011, ISSTA 2011, ICSE SRC 2011, TOOLS Europe 2011, ICST 2011, SAVCBS 2010, APLAS 2010, ICST 2010, ISSRE 2009, SSS 2009, FSTTCS 2009, SAS 2009, ISSTA 2009, ISSRE 2008
- Teaching: Program Analysis & Verification, Indian Institute of Science, Fall 2008, Fall 2007 (with Deepak D'Souza and Sriram Rajamani)
Interns
Here is a list of interns I have advised in the past. Internships at MSR India are open throughout the year. Please email me if you are interested in working on problems related to static/dynamic/statistical analysis of programs.
Contact
Microsoft Research India, "Vigyan", #9 Lavelle Road, Bangalore 560 025, India Email: adityan AT microsoft.com
Phone: 91-80 -66586000
Fax: 91-80-23614657
